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
Search all MERLOT
Select to go to your profile
Select to go to your workspace
Select to go to your Dashboard Report
Select to go to your Content Builder
Select to log out
Search Terms
Enter username
Enter password
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
cancel help

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
Browse in Categories:

Connections





QR Code for this Page

Users who viewed this material also viewed...

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