Lecture — A Century of Controversy over the Foundations of Mathematics
[This 1999 talk at UMass-Lowell was my last major lecture of the previous century, and it summarizes that century’s work on the foundations of mathematics, discusses connections with physics, and proposes a program of research for the next century. Not to be confused with another talk with the same title, my Distinguished Lecture given at Carnegie-Mellon University in 2000.]
KeywordsTuring Machine Artificial Language Mathematical Reasoning Mathematical Truth Newtonian Physic
Unable to display preview. Download preview PDF.