The computable surreal numbers, Notre Dame Logic Seminar, December 2024 | Joel David Hamkins
This will be a talk for the Notre Dame Logic Seminar, 3 December 2024, 2:00pm, 125 Hayes-Healey. Abstract. I shall give an account of the theory of computable surreal numbers, proving that these fo…