Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics

Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics

Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.

Bibliographic Details
Main Author: Auerbach, David Daniel
Other Authors: George S. Boolos.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2009
Subjects:
Linguistics and Philosophy
Metamathematics
Gödel's theorem
Logic, Symbolic and mathematical
Semantics (Philosophy)
Online Access:http://dspace.mit.edu/handle/1721.1/16322
http://hdl.handle.net/1721.1/16322

Internet

http://dspace.mit.edu/handle/1721.1/16322
http://hdl.handle.net/1721.1/16322

Similar Items