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"
Personal Collections 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"
Search all MERLOT
Click here to go to your profile
Select to go to your workspace
Click here to go to your Dashboard Report
Click here to go to your Content Builder
Click here 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)
  • Personal Collections (1)
  • Accessibility Info (none)

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