EditAttachPrintable
r12 - 12 Jan 2008 - 20:48:31 - ShaughanLavineYou are here: TWiki >  Courses Web > WebHome

Welcome to the Courses web

This web includes course syllabi, class notes and the like for the following courses:

Available Information

  • IssuesandMethods

  • MetaethicsGroup

  • MetaPhysics

  • PhilosophyofLanguage

  • PhilosophyofMathematics

  • PhilosophyofMathematics2006

  • PhilosophyofMathematics2005

  • PhilosophyofScience

  • ProSeminar

  • ScienceandInquiry

  • ScienceandInquiryFall2005

  • ScienceandInquiryFall2004

  • SymbolicLogicA

    • Soundness and Completeness (using the Henkin proof). Upward and Downward Löwenheim-Skolem-Tarski Theorems

  • SymbolicLogicB

  • SymbolicLogicB2005

    • Recursion, representability, the $s$-$ m$-$n$ theorem, the fixed-point theorem Gödel's First and Second Incompleteness theorems, the unsolvability of the Halting Problem, the undefinability of truth. Rice's Theorem and other topics as time permits and depending upon the interests of the class.

    Courses Web Utilities

    Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r12 < r11 < r10 < r9 < r8 | More topic actions
     
    Powered by TWiki
    This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
    Ideas, requests, problems regarding TWiki? Send feedback