Page 1

Displaying 1 – 2 of 2

Showing per page

Conway's Games and Some of their Basic Properties

Robin Nittka (2011)

Formalized Mathematics

We formulate a few basic concepts of J. H. Conway's theory of games based on his book [6]. This is a first step towards formalizing Conway's theory of numbers into Mizar, which is an approach to proving the existence of a FIELD (i.e., a proper class that satisfies the axioms of a real-closed field) that includes the reals and ordinals, thus providing a uniform, independent and simple approach to these two constructions that does not go via the rational numbers and hence does for example not need...

Currently displaying 1 – 2 of 2

Page 1