Friday, August 28, 2020. Mathematics Graduate Seminar.Kristin Tenney, Mathematics MA student “Gödel’s Second Incompleteness Theorem and Turing Machines”3:00 – 3:50 pm, via Videoconference. This talk will give a brief introduction to the idea of incompleteness as well as the First Incompleteness Theorem. An alternative proof of Gödel’s Second Incompleteness Theorem will be stepped through
Visit Page Fall 2019 – Summer 2020 – Abstracts