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 as
Visit Page Fall 2019 – Summer 2020 – Abstracts