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.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 179665023 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: 90 years of Gödel's incompleteness theorems: Logic and computation. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Baaz%2C+Matthias%22">Baaz, Matthias</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Ertel%2C+Marcel%22">Ertel, Marcel</searchLink><relatesTo>2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Kahle%2C+Reinhard%22">Kahle, Reinhard</searchLink><relatesTo>2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Piecha%2C+Thomas%22">Piecha, Thomas</searchLink><relatesTo>2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Plato%2C+Jan+von%22">Plato, Jan von</searchLink><relatesTo>3</relatesTo> (AUTHOR) – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Computation%22">Journal of Logic & Computation</searchLink>. Sep2024, Vol. 34 Issue 6, p1003-1009. 7p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Incompleteness+theorems%22">Incompleteness theorems</searchLink><br /><searchLink fieldCode="DE" term="%22Unpublished+materials%22">Unpublished materials</searchLink><br /><searchLink fieldCode="DE" term="%22Logic%22">Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Curiosities+%26+wonders%22">Curiosities & wonders</searchLink><br /><searchLink fieldCode="DE" term="%22Conferences+%26+conventions%22">Conferences & conventions</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=179665023 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1093/logcom/exae026 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 7 StartPage: 1003 Subjects: – SubjectFull: Incompleteness theorems Type: general – SubjectFull: Unpublished materials Type: general – SubjectFull: Logic Type: general – SubjectFull: Curiosities & wonders Type: general – SubjectFull: Conferences & conventions Type: general Titles: – TitleFull: 90 years of Gödel's incompleteness theorems: Logic and computation. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Baaz, Matthias – PersonEntity: Name: NameFull: Ertel, Marcel – PersonEntity: Name: NameFull: Kahle, Reinhard – PersonEntity: Name: NameFull: Piecha, Thomas – PersonEntity: Name: NameFull: Plato, Jan von IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 09 Text: Sep2024 Type: published Y: 2024 Identifiers: – Type: issn-print Value: 0955792X Numbering: – Type: volume Value: 34 – Type: issue Value: 6 Titles: – TitleFull: Journal of Logic & Computation Type: main |
| ResultId | 1 |
