Course Modules

Course Overview

Course Overview
Module Completed Module In Progress Module Locked
Course Overview 980077  
  • Attachment
    Syllabus Syllabus
    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

Introduction to Incompleteness (1/27)

Introduction to Incompleteness (1/27)
Module Completed Module In Progress Module Locked
Introduction to Incompleteness (1/27) 979900  
  • Context Module Sub Header
    [IGT] Chapter 1
    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
  • Attachment
    Chapter 1: Godel's Incompleteness Theorems by R. Smullyan Chapter 1: Godel's Incompleteness Theorems by R. Smullyan
    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
  • Context Module Sub Header
    Historical and Philosophical Background
    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
  • External Url
    Kurt Godel, Stanford Encyclopedia of Philosophy Kurt Godel, Stanford Encyclopedia of Philosophy
    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
  • External Url
    Hilbert's Program, Stanford Encyclopedia of Philosophy Hilbert's Program, Stanford Encyclopedia of Philosophy
    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
  • Attachment
    Chapter 1: Godel's Life and Work, in In the Light of Logic by S. Feferman Chapter 1: Godel's Life and Work, in In the Light of Logic by S. Feferman
    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

Basic Concepts (1/29, 2/3, 2/5)

Basic Concepts (1/29, 2/3, 2/5)
Module Completed Module In Progress Module Locked
Basic Concepts (1/29, 2/3, 2/5) 979905  
  • Context Module Sub Header
    [IGT] Chapter 2-4
    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
  • Attachment
    Logical Notation Logical Notation
    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
  • Attachment
    [CL] Chapter 6: Recursive Functions [CL] Chapter 6: Recursive Functions
    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
  • Attachment
    [CL] Chapters 9 & 10: First Order Logic [CL] Chapters 9 & 10: First Order Logic
    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
  • Assignment
    Problem Set 1 Problem Set 1
    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

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
Arithmetic Definability of Recursive Functions (2/10, 2/12) 979907  
  • Context Module Sub Header
    [IGT] Chapter 15
    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
  • Attachment
    [CL] Section 16.1: Defining Recursive Functions [CL] Section 16.1: Defining Recursive Functions
    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
  • Assignment
    Problem Set 2 Problem Set 2
    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

Formal Arithmetic (2/17, 2/19)

Formal Arithmetic (2/17, 2/19)
Module Completed Module In Progress Module Locked
Formal Arithmetic (2/17, 2/19) 979908  
  • Context Module Sub Header
    [IGT] Chapters 9 - 13
    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

Capturing (Representing) Numerical Properties (2/24, 2/26)

Capturing (Representing) Numerical Properties (2/24, 2/26)
Module Completed Module In Progress Module Locked
Capturing (Representing) Numerical Properties (2/24, 2/26) 979972  
  • Context Module Sub Header
    [IGT] Chapters 5, 16, 17
    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
  • Attachment
    [CL] Section 16.2: Q is p.r.-adequate [CL] Section 16.2: Q is p.r.-adequate
    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

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
Arithmetization of Syntax/Godel Numbering (3/3, 3/5, 3/10) 979974  
  • Context Module Sub Header
    [IGT] Chapters 19 & 20
    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
  • Attachment
    [CL] Chapter 15: Arithematization [CL] Chapter 15: Arithematization
    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

First Incompleteness Theorem/Diagonal Lemma (3/12)

First Incompleteness Theorem/Diagonal Lemma (3/12)
Module Completed Module In Progress Module Locked
First Incompleteness Theorem/Diagonal Lemma (3/12) 979975  
  • Context Module Sub Header
    [IGT] Chapters 21 - 24
    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
  • External Url
    Godel'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
Spring Break --- NO CLASS (3/17, 3/19) 979976  

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
Recap, Rosser's Theorem, Tarski's Theorem (3/24, 3/26) 979977  
  • Context Module Sub Header
    [IGT] Chapters 21 - 24, 25, 27
    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
  • External Url
    Godel'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
  • Assignment
    Presentation topic Presentation topic
    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

The Second Incompleteness Theorem (3/31, 4/2)

The Second Incompleteness Theorem (3/31, 4/2)
Module Completed Module In Progress Module Locked
The Second Incompleteness Theorem (3/31, 4/2) 979978  
  • Context Module Sub Header
    [IGT] Chapters 31, 32
    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
  • External Url
    Godel'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
Overspill Day (4/7) 979979  
  • External Url
    Godel'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
Implications --- Truth vs. Provability (4/9, 4/14) 979981  
  • Context Module Sub Header
    [IGT] Chapters 23, 37
    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
  • External Url
    Godel'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
Lob's Theorem and Provability Logic (4/16, 4/21, 4/23) 979982  
  • Context Module Sub Header
    [IGT] Chapters 33 & 34
    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
  • Attachment
    [CL] Chapter 27: Provability Logic [CL] Chapter 27: Provability Logic
    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

Additional Topics (4/28, 4/30)

Additional Topics (4/28, 4/30)
Module Completed Module In Progress Module Locked
Additional Topics (4/28, 4/30) 979984  

Presentations (5/5, 5/7, 5/12)

Presentations (5/5, 5/7, 5/12)
Module Completed Module In Progress Module Locked
Presentations (5/5, 5/7, 5/12) 979985  
  • Assignment
    Presentation Notes Presentation Notes
    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
  • Context Module Sub Header
    Possible Topics
    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
  • Context Module Sub Header
    Computability and Incompleteness: [IGT] Chapters 40 - 43
    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
  • Context Module Sub Header
    Speed-Up Theorems: [IGT] Chapter 28
    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
  • Attachment
    Kirzman and Raz: Surprise Exam & The Second Incompleteness Theorem Kirzman and Raz: Surprise Exam & The Second Incompleteness Theorem
    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
  • Attachment
    Martin Davis: What did Godel Believe? Martin Davis: What did Godel Believe?
    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
  • Attachment
    S. Shapiro: Incompleteness, Mechanism and Optimism S. Shapiro: Incompleteness, Mechanism and Optimism
    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
  • Attachment
    P. Koellner: Absolute Undecidability P. Koellner: Absolute Undecidability
    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
 
minimum score must view must submit must contribute