ESP Biography
WILLIAM XI, ESP Teacher
Major: CS/Math College/Employer: Stanford Year of Graduation: 2023 

Brief Biographical Sketch:
Not Available. Past Classes(Clicking a class title will bring you to the course's section of the corresponding course catalog)M7541: Why You Can't Solve Every Problem  Foundations of Logic and Computer Science in Splash Fall 2019 (Nov. 16  17, 2019)
In this class, we will begin with the rigorous foundations of modern mathematics. What are "axioms"? What does it mean to "prove" something formally? Ultimately, we will be answering a question that plagued mathematicians of the early 20th century  is every problem solvable? The answer, by Godel's Incompleteness Theorem, is no. There are certain statements which can be neither proven nor disproven, regardless of what axioms you start with.
This incompleteness theorem is actually intricately connected to another foundational result in theoretical Computer Science  the halting problem. We will explore the deep connection between the logical underpinnings of mathematics and, what at first glance, seems to be an unrelated problem in another field.
