Collected works. Volume II, Publications 1938-1974 /
Kurt Gödel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
2023.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Kurt Gödel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Gödel's works collects together all his publications from 1938 to 1974. |
|---|---|
| Item Description: | Previously issued in print: New York: Oxford University Press, 1990. Prepared under the auspices of the Association for Symbolic Logic. |
| Physical Description: | 1 online resource (xiv, 407 pages) : illustrations (black and white). |
| Audience: | Specialized. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780197727102 0197727107 |