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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2009
|
| Subjects: | |
| Online Access: | http://dspace.mit.edu/handle/1721.1/16322 http://hdl.handle.net/1721.1/16322 |
| _version_ | 1811074740066975744 |
|---|---|
| author | Auerbach, David Daniel |
| author2 | George S. Boolos. |
| author_facet | George S. Boolos. Auerbach, David Daniel |
| author_sort | Auerbach, David Daniel |
| collection | MIT |
| description | Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. |
| first_indexed | 2024-09-23T09:54:37Z |
| format | Thesis |
| id | mit-1721.1/16322 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T09:54:37Z |
| publishDate | 2009 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/163222019-04-12T12:40:34Z Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics Auerbach, David Daniel George S. Boolos. Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy Linguistics and Philosophy Metamathematics Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES. Bibliography: leaves 131-132. by David D. Auerbach. Ph.D. 2009-01-30T18:31:40Z 2009-01-30T18:31:40Z 1978 1978 Thesis http://dspace.mit.edu/handle/1721.1/16322 http://hdl.handle.net/1721.1/16322 05968612 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/16322 http://dspace.mit.edu/handle/1721.1/7582 132 leaves application/pdf Massachusetts Institute of Technology |
| spellingShingle | Linguistics and Philosophy Metamathematics Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) Auerbach, David Daniel Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title_full | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title_fullStr | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title_full_unstemmed | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title_short | Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics |
| title_sort | expressing consistency godel s second imcompleteness theorem and intensionality in metamathematics |
| topic | Linguistics and Philosophy Metamathematics Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) |
| url | http://dspace.mit.edu/handle/1721.1/16322 http://hdl.handle.net/1721.1/16322 |
| work_keys_str_mv | AT auerbachdaviddaniel expressingconsistencygodelssecondimcompletenesstheoremandintensionalityinmetamathematics |