Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics
Citable URI:
http://hdl.handle.net/1721.1/16322
| Title: | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| Author: | Auerbach, David Daniel |
| Advisor: | George S. Boolos. |
| Department: | Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy |
| Publisher: | Massachusetts Institute of Technology |
| Issue Date: | 1978 |
| Description: |
Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES. Bibliography: leaves 131-132. |
| URI: |
http://dspace.mit.edu/handle/1721.1/16322
http://hdl.handle.net/1721.1/16322 |
| Keywords: | Linguistics and Philosophy, Metamathematics, Gödel's theorem, Logic, Symbolic and mathematical, Semantics (Philosophy) |
Files in this item
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| Preview, non-printable (open to all) | 5.525Mb |
View/ |
Preview, non-printable (open to all) | |
| Full printable version (MIT only) | 5.525Mb |
View/ |
Full printable version (MIT only) |
This item appears in the following Collection(s)
All Items in DSpace@MIT are protected by original copyright, with all rights reserved, unless otherwise indicated.
|
|
Contact
MIT Libraries
|