Categories
1 results found in 34 ms.
Page 1 of 1
File: 24-242-spring-2004.zip
This OER is part of OCW: Logic II
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
Similar courses
-
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 re
-
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 re
-
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 re
1 results found.
Page 1 of 1