英語
詞源
1974年由高德納在其小說 Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness 中提出。此概念後來由英國數學家約翰·何頓·康威應用在對圍棋博弈論的研究中。最初康威只稱其為 numbers,但在1976年的 On Numbers and Games 中採用了高德納的用詞。
名詞
(複數)
- (數學) 超現實數
- Conway's approach was to build numbers from scratch using a construction inspired by his game theory research; the resulting class of surreal numbers proved much larger than the class of real numbers.
- (請為本使用例添加中文翻譯)
- 1986, Harry Gonshor, An Introduction to the Theory of Surreal Numbers, Cambridge University Press, 1987, Paperback, ISBN 9780521312059.
- 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 consists of two sets and of surreal numbers, such that no element from is greater than any element from .
- • A surreal number is greater than another surreal number , , if and only if
- − there is no such that , and
- − there is no such that .
- The class2 of surreal numbers is defined inductively, together with an order relation on surreal numbers wich is also defined inductively:
- 2018, Steven G. Krantz, Essentials of Mathematical Thinking, Taylor & Francis (Chapman & Hall/CRC Press), page 247,
- Here we shall follow Conway's exposition rather closely. Let and be two sets of numbers. Assume that no member of is greater than or equal to any member of . Then is a surreal number. All surreal numbers are constructed in this fashion.
延伸閱讀
- 在英語維基百科上的資料。維基百科 en
- 在英語維基百科上的資料。維基百科 en
- 在英語維基百科上的資料。維基百科 en
- Surreal Number on Wolfram MathWorld
- Surreal numbers on Encyclopedia of Mathematics
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.