| Property | Value |
|---|
| rdfs:label | |
| rdfs:comment | - There are 232 - 224 - 1 = 4278190079 different finite numbers, which can be represented exactly in the 32-bit floating point format. This number is a prime number. Large numbers in 127 · 256 · 32767 · 65536 · 2147483647 · 4294967296 · 9007199254740991 · 9223372036854775807 · 22! · FRACTRAN catalogue numbersBignum Bakeoff contestants: pete-3.c · pete-9.c · pete-8.c · harper.c · ioannis.c · chan-2.c · chan-3.c · pete-4.c · chan.c · pete-5.c · pete-6.c · pete-7.c · marxen.c · loader.cChannel systems: lossy channel system · priority channel systemUncomputable functions: Busy beaver function · Frantic frog function · Doodle function · Betti number · Xi function · ITTM busy beaver · Rayo's number · BIG FOOT
|
| dcterms:subject | |
| dbkwik:googology/property/wikiPageUsesTemplate | |
| abstract | - There are 232 - 224 - 1 = 4278190079 different finite numbers, which can be represented exactly in the 32-bit floating point format. This number is a prime number. Large numbers in 127 · 256 · 32767 · 65536 · 2147483647 · 4294967296 · 9007199254740991 · 9223372036854775807 · 22! · FRACTRAN catalogue numbersBignum Bakeoff contestants: pete-3.c · pete-9.c · pete-8.c · harper.c · ioannis.c · chan-2.c · chan-3.c · pete-4.c · chan.c · pete-5.c · pete-6.c · pete-7.c · marxen.c · loader.cChannel systems: lossy channel system · priority channel systemUncomputable functions: Busy beaver function · Frantic frog function · Doodle function · Betti number · Xi function · ITTM busy beaver · Rayo's number · BIG FOOT
|
