New York City College of Technology Mathematics Seminar
Thursday, April 11, 2019, 12:45pm-2pm, Room N700
“It is sometimes claimed to prove the existence of God or of free will, the necessary incompleteness of the Bible or of the U.S. Constitution, or the impossibility of genuine knowledge in mathematics—just to mention a few of the many alleged applications”
– Panu Raatikainen, Notices of the AMS, March 2007
The goal of this talk is to give an overview of Gödel’s First Incompleteness Theorem, exploring the precise formulation of this famous result. The talk will include an introduction to Mathematical Logic and touch on some of the historical events in the field surrounding Gödel’s work.