About: Marxen.c

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Marxen.c Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

marxen.c is an entry by Heiner Marxen for the Bignum Bakeoff contest, whose objective is to write a C program (in 512 characters or less) that generates the largest possible output. It came in second place in the competition, behind Loader's number. The program uses a variant of the Goodstein sequence. Its output is lower bounded by \(f_{\omega^{\omega}}(2\uparrow\uparrow 500)\) and upper bounded by \(f_{\varepsilon_{0}+{\omega^3}}(1000000)\) in the fast-growing hierarchy.

Attributes	Values
rdfs:label	Marxen.c
rdfs:comment	marxen.c is an entry by Heiner Marxen for the Bignum Bakeoff contest, whose objective is to write a C program (in 512 characters or less) that generates the largest possible output. It came in second place in the competition, behind Loader's number. The program uses a variant of the Goodstein sequence. Its output is lower bounded by \(f_{\omega^{\omega}}(2\uparrow\uparrow 500)\) and upper bounded by \(f_{\varepsilon_{0}+{\omega^3}}(1000000)\) in the fast-growing hierarchy.
dcterms:subject	Functions Higher array notation level Numbers Tetrational array notation level Eponymous numbers Bignum Bakeoff contestant Computers
dbkwik:googology/p...iPageUsesTemplate	dbkwik:resource/JFRw2i7RvVgbUxYqnTKL_g== dbkwik:resource/m4IUS3MgqLvoInU8ngS86g== dbkwik:resource/yT3JrwLDjx1EXiHBG5CO8g==
abstract	marxen.c is an entry by Heiner Marxen for the Bignum Bakeoff contest, whose objective is to write a C program (in 512 characters or less) that generates the largest possible output. It came in second place in the competition, behind Loader's number. The program uses a variant of the Goodstein sequence. Its output is lower bounded by \(f_{\omega^{\omega}}(2\uparrow\uparrow 500)\) and upper bounded by \(f_{\varepsilon_{0}+{\omega^3}}(1000000)\) in the fast-growing hierarchy.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software