Surreal Numbers

GPTKB entity
AI-created image of Surreal Numbers
AI-created image

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:contains ordinal numbers
real numbers
infinite numbers
infinitesimal numbers
gptkbp:describedBy gptkb:On_Numbers_and_Games
gptkb:Dedekind_cuts
recursive construction
gptkbp:firstDescribed 1970
gptkbp:generalizes ordinal numbers
real numbers
gptkbp:hasCardinality proper class
gptkbp:hasProperty gptkb:Field
totally ordered
gptkbp:hasSubgroup No (the class of all surreal numbers)
https://www.w3.org/2000/01/rdf-schema#label Surreal Numbers
gptkbp:inventedBy gptkb:John_Horton_Conway
gptkbp:notation {L|R}
gptkbp:operator gptkb:division
addition
multiplication
subtraction
gptkbp:relatedTo gptkb:Conway's_Game_of_Life
gptkb:Conway_numbers
gptkb:hyperreal_numbers
transfinite numbers
real closed fields
ordinal numbers
Dedekind-complete fields
class theory
game values
infinite numbers
infinitesimals
nimbers
ordered fields
ordinal arithmetic
gptkbp:studiedBy gptkb:Donald_Knuth
gptkb:John_Horton_Conway
gptkb:Simon_Norton
gptkbp:type number system
gptkbp:usedIn gptkb:algebra
gptkb:logic
gptkb:set_theory
gptkb:mathematical_games
analysis
combinatorial game theory
game theory
model theory
non-standard analysis
gptkbp:bfsParent gptkb:Donald_Knuth
gptkbp:bfsLayer 4