This is the homepage for PL 3014 Metalogic, Spring 2006 Polytechnic University.  Choose from the selection below.  This page will be updated periodically.
 

• Syllabus

• Assignments
• Optional Essay (due Thurs 4/27)
  
• hw01 (due Tues 1/31)
• hw02 (due Tues 2/7)
• hw03 (due Tues 2/14)
• hw04 (due Thurs 2/23)
• hw05 (due Tues 3/7)
• hw06 (due Tues 4/4)
• hw07 (due Tues 4/12)
  

• Handouts
• Formal Systems
  
• Statement Calculus
• Predicate Calculus
• Prop. 4.40
• Mathematical Systems
• Godel's Incompleteness Theorem
• Godel's 2nd Theorem
• Computability
• Turing Machines
• Undecidability
  

• Links
• Relevant articles in the Standford Encyclopedia of Philosophy
• "Classical Logic"
• "Computability and Complexity"
• "Turing Machines"
• "The Church-Turing Thesis"
• "Recursive Functions"
• Other resources
• G. Hardegree's metalogic website
• B. Fitelson's metalogic website
• P. Suber's logical systems website
• Godel Centenary Conference