Simple Person's Applied Math Seminar (SPAMS)
Thursday, October 25, 2018 at 6:00pm to 7:00pm
SPEAKER: Frederic Koehler (MIT)
TITLE: The Consistency of Arithmetic
A serious concern about mathematical reasoning is whether it is consistent, i.e. whether we can prove that 0 = 1. Godel famously showed that consistency of a typical logical system cannot be proved inside of itself. Despite this, there are interesting consistency proofs -- I will attempt to describe a famous proof of the consistency of Peano Arithmetic due to Godel.