24.242 Logic II
Peer Review for material titled "24.242 Logic II"
User Rating for material titled "24.242 Logic II"
Member Comments for material titled "24.242 Logic II"
Bookmark Collections for material titled "24.242 Logic II"
Course ePortfolios for material titled "24.242 Logic II"
Learning Exercises for material titled "24.242 Logic II"
Accessibility Info for material titled "24.242 Logic II"
Please enter a Bookmark title
Please limit Bookmark title to 65 characters
Please enter a description
Please limit Bookmark title to 4000 characters
A Bookmark with this title already existed.
Please limit a note about this material to 2048 characters

MERLOT II




        

Search > Material Results >

24.242 Logic II

        

24.242 Logic II

Logo for 24.242 Logic II
This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in... More
Material Type: Online Course
Date Added to MERLOT: June 09, 2011
Date Modified in MERLOT: June 06, 2013
Author:
Submitter: Phil Moss

Quality

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review (not reviewed)
  • User Rating (not rated)
  • Comments (none)
  • Learning Exercises (none)
  • Bookmark Collections (1)
  • Course ePortfolios (none)
  • Accessibility Info (none)

  • Rate this material
  • Create a learning exercise
  • Add accessibility information
  • Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
    Name the Bookmark Collection to represent the materials you will add
    Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
    Edit the information about the material in this {0}
    Submitting Bookmarks...

About

Primary Audience:
Mobile Compatibility: Not specified at this time
Language: English
Cost Involved: no
Source Code Available: unsure
Accessiblity Information Available: unsure
Creative Commons: Creative Commons License
This work is licensed under a Attribution-NonCommercial-ShareAlike 3.0 United States

Connections





QR Code for this Page

Browse in Categories

Discussion

Discussion for 24.242 Logic II

Log in to participate in the discussions or Register if you are not already a MERLOT member.

Return to Top of Page