90 years of Gödel's incompleteness theorems: Logic and computation.
Saved in:
| Title: | 90 years of Gödel's incompleteness theorems: Logic and computation. |
|---|---|
| Authors: | Baaz, Matthias1 (AUTHOR), Ertel, Marcel2 (AUTHOR), Kahle, Reinhard2 (AUTHOR), Piecha, Thomas2 (AUTHOR), Plato, Jan von3 (AUTHOR) |
| Source: | Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1003-1009. 7p. |
| Subjects: | Incompleteness theorems, Unpublished materials, Logic, Curiosities & wonders, Conferences & conventions |
| Abstract: | This volume is one of two special issues collecting articles by invited speakers of the conference 'Celebrating 90 Years of Gödel's Incompleteness Theorems' held in Nürtingen (Germany) in July 2021. The conference was organized by the Carl Friedrich von Weizsäcker Center at the University of Tübingen with support by the ERC-funded project Gödel Enigma: Rediscovering Kurt Gödel through his unpublished works at the University of Helsinki and by the Kurt Gödel Society in Vienna. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| Abstract: | This volume is one of two special issues collecting articles by invited speakers of the conference 'Celebrating 90 Years of Gödel's Incompleteness Theorems' held in Nürtingen (Germany) in July 2021. The conference was organized by the Carl Friedrich von Weizsäcker Center at the University of Tübingen with support by the ERC-funded project Gödel Enigma: Rediscovering Kurt Gödel through his unpublished works at the University of Helsinki and by the Kurt Gödel Society in Vienna. [ABSTRACT FROM AUTHOR] |
|---|---|
| ISSN: | 0955792X |
| DOI: | 10.1093/logcom/exae026 |
