Surreal number

From testwiki
Jump to navigation Jump to search

English

Template:Wikipedia

Etymology

Coined by Template:W in his novelette Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness (1974). The concept had been developed by British mathematician Template:W for his game theoretic research of the board game go. Conway had simply called them numbers, but subsequently adopted Knuth's term and used it in his book Template:W (1976).

Noun

Template:En-noun

  1. Template:Lb Any element of a field equivalent to the real numbers augmented with infinite and infinitesimal numbers (respectively larger and smaller (in absolute value) than any positive real number).
    Template:Ux
    Template:Ux
    • Template:Quote-journal
    • 2012, Fredrik Nordvall Forsberg, Anton Setzer, A Finite Axiomatisation of Inductive-Inductive Definitions, Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger (editors), Logic, Construction, Computation, Ontos Verlag, page 263,
      The class2 of surreal numbers is defined inductively, together with an order relation on surreal numbers wich is also defined inductively:
      • A surreal number X=(XL,XR) consists of two sets XL and XR of surreal numbers, such that no element from XL is greater than any element from XR.
      • A surreal number Y=(YL,YR) is greater than another surreal number X=(XL,XR), XY, if and only if
      − there is no xXL such that Yx, and
      − there is no yYR such that yX.
    • Template:Quote-book

Translations

Template:Trans-top

Template:Trans-bottom

Further reading

Template:C