Courses:

Humanities >> Philosophy


For Course Instructors

  • Advertise your course for free
  • Feature your course listing
  • Create course discussion group
  • Link to your course page
  • Increase student enrollment

More Info...>>


Course Info

  • Course Number / Code:
  • 24.242 (Spring 2004) 
  • Course Title:
  • Logic II 
  • Course Level:
  • Undergraduate 
  • Offered by :
  • Massachusetts Institute of Technology (MIT)
    Massachusetts, United States  
  • Department:
  • Linguistics and Philosophy 
  • Course Instructor(s):
  • Prof. Vann McGee 
  • Course Introduction:
  •  


  • 24.242 Logic II



    Spring 2004




    Course Highlights


    This course features an extensive set of lecture notes and a sample set of assignments with solutions.


    Course Description


    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 the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus; Tarski's theorem that the set of true sentence of a language isn't definable within that language; and Gödel's second incompleteness theorem, which says that no consistent system of axioms can prove its own consistency.
     

ACKNOWLEDGEMENT:
This course content is a redistribution of MIT Open Courses. Access to the course materials is free to all users.






© 2017 Coursepedia.com, by Higher Ed Media LLC. All Rights Reserved.