Invitation to the Logic Seminar at the National University of Singapore
Date: Wednesday, 18 April 2018, 17:00 hrs
Room: S17#04-06, Department of Mathematics, NUS
Speaker: Samuel Alfaro Tanuwijaya
Title: Introduction to surreal numbers
URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html
In this talk, I will introduce the basic definitions of the surreal
numbers and their ordering given in the book by Harry Gonshor, and
their relations to the definitions given by Conway and Knuth. I will
then continue with the definitions operations on the numbers, such as
addition, multiplication, and division, and then prove that the
surreal numbers form a field. I will then establish that the surreal
numbers contain the real numbers and the ordinals.