Areas:"Linguistics and Philosophy" tags:" true"
50 results found in 4 ms.

Page 1 of 4 next

More OCW like this | |
Published by: Massachusetts Institute of Technology | Language: English
Share in: Share this resource in Facebook Share this resource in Twitter Share this resource in LinkedInd Share this resource in Google+ Share this resource in Pinterest Share this resource in Blogger Share this resource in Tumblr

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
Author(s):
Tag(s):











50 results found.

Page 1 of 4 next