Simple Person's Applied Math Seminar (SPAMS)

Thursday, October 25, 2018 at 6:00pm to 7:00pm

Room2-132

SPEAKER:  Frederic Koehler  (MIT)

TITLE:  The Consistency of Arithmetic

ABSTRACT:

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.

Event Type

Conferences/Seminars/Lectures

Events By Interest

Academic

Events By Audience

Public

Events By School

School of Science

Website

https://math.mit.edu/seminars/spams/

Department
Department of Mathematics
Add to my calendar

Recent Activity