Course Modules
Introduction to Incompleteness (1/27)
Introduction to Incompleteness (1/27)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapter 1Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
Context Module Sub HeaderHistorical and Philosophical BackgroundScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlKurt Godel, Stanford Encyclopedia of Philosophy Kurt Godel, Stanford Encyclopedia of PhilosophyScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlHilbert's Program, Stanford Encyclopedia of Philosophy Hilbert's Program, Stanford Encyclopedia of PhilosophyScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Basic Concepts (1/29, 2/3, 2/5)
Basic Concepts (1/29, 2/3, 2/5)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapter 2-4Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
AssignmentProblem Set 1 Problem Set 1Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Arithmetic Definability of Recursive Functions (2/10, 2/12)
Arithmetic Definability of Recursive Functions (2/10, 2/12)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapter 15Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
AssignmentProblem Set 2 Problem Set 2Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Formal Arithmetic (2/17, 2/19)
Formal Arithmetic (2/17, 2/19)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 9 - 13Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Capturing (Representing) Numerical Properties (2/24, 2/26)
Capturing (Representing) Numerical Properties (2/24, 2/26)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 5, 16, 17Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Arithmetization of Syntax/Godel Numbering (3/3, 3/5, 3/10)
Arithmetization of Syntax/Godel Numbering (3/3, 3/5, 3/10)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 19 & 20Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
First Incompleteness Theorem/Diagonal Lemma (3/12)
First Incompleteness Theorem/Diagonal Lemma (3/12)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 21 - 24Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlGodel's Incompleteness Theorem, Section 2 (SEP) Godel's Incompleteness Theorem, Section 2 (SEP)Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Spring Break --- NO CLASS (3/17, 3/19)
Spring Break --- NO CLASS (3/17, 3/19)
Module Completed
Module In Progress
Module Locked
Recap, Rosser's Theorem, Tarski's Theorem (3/24, 3/26)
Recap, Rosser's Theorem, Tarski's Theorem (3/24, 3/26)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 21 - 24, 25, 27Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlGodel's Incompleteness Theorem, Section 2 (SEP) Godel's Incompleteness Theorem, Section 2 (SEP)Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
AssignmentPresentation topic Presentation topicScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
The Second Incompleteness Theorem (3/31, 4/2)
The Second Incompleteness Theorem (3/31, 4/2)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 31, 32Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlGodel's Incompleteness Theorem, Section 3 (SEP) Godel's Incompleteness Theorem, Section 3 (SEP)Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Overspill Day (4/7)
Overspill Day (4/7)
Module Completed
Module In Progress
Module Locked
-
External UrlGodel's Incompleteness Theorem (SEP) Godel's Incompleteness Theorem (SEP)Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Implications --- Truth vs. Provability (4/9, 4/14)
Implications --- Truth vs. Provability (4/9, 4/14)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 23, 37Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
External UrlGodel's Incompleteness Theorem, Section 6 (SEP) Godel's Incompleteness Theorem, Section 6 (SEP)Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Lob's Theorem and Provability Logic (4/16, 4/21, 4/23)
Lob's Theorem and Provability Logic (4/16, 4/21, 4/23)
Module Completed
Module In Progress
Module Locked
-
Context Module Sub Header[IGT] Chapters 33 & 34Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
Additional Topics (4/28, 4/30)
Additional Topics (4/28, 4/30)
Module Completed
Module In Progress
Module Locked
Presentations (5/5, 5/7, 5/12)
Presentations (5/5, 5/7, 5/12)
Module Completed
Module In Progress
Module Locked
-
AssignmentPresentation Notes Presentation NotesScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
Context Module Sub HeaderPossible TopicsScore at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
Context Module Sub HeaderComputability and Incompleteness: [IGT] Chapters 40 - 43Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
-
Context Module Sub HeaderSpeed-Up Theorems: [IGT] Chapter 28Score at least Must score at least to complete this module item Scored at least Module item has been completed by scoring at least View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete