The system adds to the familiar numbers a vast family of infinite and infinitesimal numbers. Professor lurie has had a major impact on modern day pure mathematics, in particular through his seminal work on derived algebraic geometry, higher category theory, stable homotopy theory and topological field theory. Can you explain surreal numbers so that a mathematical illiterate can understand them. The motivations behind derived algebraic geometry are presented, starting with bezouts theorem for intersections. For example, in 1021, 3 is a divisor of the bottom but not of the top, and in 1021 2. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory. There is a book by norman alling, entitled foundations of analysis over surreal number. Jacob lurie of bethesda won the competitions top prize for bringing original ideas to a system of infinitely large and small numbers.
In this paper we investigate an infinitely categorical analogue of the theory of grothendieck topoi. Luries research interests started with logic and the theory of surreal numbers while he was. Higher topos theory am 170 ebook written by jacob lurie. Guy, winning ways, a book estimated to appear in 1978. A surreal number number consists of a pair of sets, a left set and a right set. Other than the authors of winning ways, and the many combinatorial game theorist who use but do not research the surreal numbers, there is jacob lurie who seems to have maintained his early interest in surreal numbers and taught a class on them or cgt at harvard a few years ago. For a pair of sets to be wellformed and thus a surreal number, none of the surreal numbers in the right set can be less then or equal to any member of the left set. An introduction to surreal numbers gretchen grimm may 8, 2012 acknowledgements i would like to thank professor barry balof for his guidance through this project. We will construct the surreal numbers from the sign sequence point of view, then. Jacob lurie wikimili, the free encyclopedia wikimili, the free encyclopedia.
In fact, just a passing comment of jacob lurie s that stuck with. He is best known for his work, starting with his thesis. A constructive approach to conways theory of games and numbers. The usual numbers are very familiar, but at root they have a very complicated structure. Jacob lurie bezouts theorem and nonabelian homological. This paper defines and explores the properties of several effectivizations of the structure of surreal numbers.
A central concern of number theory is the study of localtoglobal principles, which describe the behavior of a global field k in terms of the behavior of various completions of k. Jacob alexander lurie is an american mathematician, a professor at the institute for advanced study. They are the main topic of his book higher topos theory. I would also like to thank my classmates for helping me in the editing process. Jacob alexander lurie born december 7, 1977 is an american mathematician, who is a professor at harvard university. Surreal numbers i think i found an error in winning ways. A few applications to classical topology are included. Perhaps its fitting that jacob lurie s westinghouse science talent search project dealt with surreal numbers, an exten sion of the real number system that includes infinite and infinitesimal quantities.
An introduction to surreal numbers whitman college. Download for offline reading, highlight, bookmark or take notes while you read higher topos theory am 170. Lurie was chosen from among 1,869 high school seniors from across the country by a panel of 12 judges presided over by j. Daniel kane, jacob lurie, lyle ramshaw, rick sommer, and the. Budding mathematician wins westinghouse competition. It allow you to add, subtract, multiply and divide numbers in this collection, and also to find such things as their seventh roots. Jacob lurie of bethesda, who attends montgomery blair high school, won the competitions top prize for bringing original ideas to a system of infinitely large and small numbers, contest organizers said. Jacob lurie s breakthrough prize public lecture inspired two projects about a year apart from each other. Lurie s research interests started with logic and the theory of surreal numbers while he was still in high school.
On numbers and games numbers, though they are now more commonly known as surreal numbers this appellation is due to donald knuth. An accessible lecture by jacob lurie from about 2005. Amazing math from mathematicians to share with kids. A gentle introduction by peter smith logic matters i hope that what is here may prove useful to others starting to get to grips with category theory. Jacob lurie is a mathematician at the institute for advanced study. Not numbers exactly, but certainly conways games and related gamelike structures have.
This book has been composed in times in latex the publisher would like to acknowledge the authors of this volume for providing the cameraready copy from which this book was printed. The first two chapters of conways book are devoted to the construction of these numbers, together with an ordered ring structure on them. One of my college math professors once remarked to me that it was interesting that john conways two biggest contributions to math were both recreational. A proof of the function field case is discussed in. I delighted in seeing image after image populating the parallel glass planes, extending back as far as the eye could discern. The hidden reality brian greene pdf book it was mesmerizing. Frank neumann the hardy lectureship was founded in 1967 in memory of g.
I know about conways original discovery of the surreal numbers by way of games, as well as kruskals way of viewing surreal numbers in terms of asymptotic behavior of realvalued functions, leading to connections between surreal analysis and the theory of ominimal structures if kruskal isnt the right attribution here, please feel free to correct me and educate everyone else. Jacob lurie, the effective content of surreal algebra. For his work on surreal numbers a system that includes infinitely small and infinitely large numbers the student, jacob lurie, 18, was singled out as the top westinghouse student scholar. Lms hardy lecture tour 2016 jacob lurie harvard university weils conjecture for function fields university of leicester, 30 june. Surreal numbers originated in the analysis of combinatorial games, very. Lurie won the westinghouse competition by making sense of the seemingly incomprehensible socalled surreal numbers that include the infinitely large and infinitesimally small numbers that are. One thought on i think you can share the surreal numbers with kids. Jacob alexander lurie born december 7, 1977 is an american mathematician who is a professor at the institute for advanced study. All the reflections seemed to move in unisonbut that, i knew, was a mere limitation of human perception. Lurie s research interests started with logic and the theory of surreal numbers while he was. Jacob luries home page institute for advanced study. Where do surreal numbers come from and what do they mean.
The 2016 lms hardy fellow is professor jacob lurie harvard. Lms hardy lecture tour 2016 jacob lurie harvard university. I think you can share the surreal numbers with kids mike. The project involves surreal numbers, an extension of the real number system that includes infinitely large and small quantities. Page 41 1st edition, page 39 2nd edition is a sample game of col. Why are the surreals considered recreational mathematics. Jacob lurie project gutenberg selfpublishing ebooks. He is best known for his work, starting with his thesis, on infinity categories and derived algebraic geometry. After an early interest in formal logic specifically notions of computable surreal numbers, see notices of the ams vol 43, number 7 lurie indicated in his phd thesis how the moduli stack of elliptic curves together with the collection of elliptic cohomology.
On the work of jacob lurie it is a particular pleasure for me to congratulate jacob lurie on his prizewinning entry for the westinghouse science talent search, not only because it is a magnificent piece of work, but also because it is about the surreal numbers, specifically, about computable surreal numbers. Conways system of surreal numbers is one of the most brilliant creations of mathematics. Introduction mathematician john horton conway rst invented surreal numbers, and donald knuth introduced. In 1996, jacob lurie won the top prize westinghouse science talent search, for his project on the computability of surreal numbers. Software for performing calculations in combinatorial game theory. The first prize in the 1996 westinghouse science talent search went to jacob lurie for his exciting project on computability of surreal numbers. Dennis gaitsgory, jacob lurie, weils conjecture for function fields, pdf. Surreals are in every logical, mathematical and aesthetic sense better. Hardy in recognition of outstanding contribution to both mathematics and to the society. The books primary aim, knuth explains in a postscript, is not so much to teach. Hes talking about surreal numbers, not serial numbers. Alling even wrote a whole serious book about them and significant chunks. Derived algebraic geometry is a way of infusing homotopical methods into algebraic geometry, with two purposes. Amazing math from mathematicians to share with kids mike.
1012 1543 1266 922 1311 887 1371 1606 881 465 1636 446 1581 1065 1588 309 696 749 827 295 1009 1616 159 1421 697 1208 267 1572 1100 798 1351 435 678 1018 310 1100 952 1337