Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/15856
Tytuł: | Conway Numbers – Formal Introduction |
Autorzy: | Pąk, Karol |
Słowa kluczowe: | surreal numbers Conway’s game Mizar |
Data wydania: | 2023 |
Data dodania: | 25-sty-2024 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 31, Issue 1, Pages 193-203 |
Abstrakt: | Surreal numbers, a fascinating mathematical concept introduced by John Conway, have attracted considerable interest due to their unique properties. In this article, we formalize the basic concept of surreal numbers close to the original Conway’s convention in the field of combinatorial game theory. We define surreal numbers with the pre-order in the Mizar system which satisfy the following condition: x≤ y iff Lᵪ≪ {y} ∧ {x}≪Rᵧ. |
Afiliacja: | Faculty of Computer Science, University of Białystok, Poland |
URI: | http://hdl.handle.net/11320/15856 |
DOI: | 10.2478/forma-2023-0018 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | 0000-0002-7099-1669 |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2022 The Author(s) CC BY-SA 3.0 license |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2023, Volume 31, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Conway-Numbers-Formal-Introduction.pdf | 289,08 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL