{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q873911","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q873911","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q873911","kernelVersion":"v1","immutable":true,"modified":"2025-07-09T18:06:41Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q873911","name":"Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006","headline":"Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006","description":"scientific article; zbMATH DE number 5135822","url":"https://portal.mardi4nfdi.de/entity/Q873911","datePublished":"2007-03-20","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q194998"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q194541"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00591-006-0012-9","url":"https://doi.org/10.1007/S00591-006-0012-9"},"sameAs":["https://doi.org/10.1007/S00591-006-0012-9"],"comment":"The paper is a presentation of Gödel's incompleteness theorems in a popular and non-technical way. Their historical context is discussed, and the first incompleteness theorem is presented (its formulation, idea and method of proof, meaning and connections with Tarski's theorem on the undefinability of truth). At the end, the second incompleteness theorem is briefly discussed.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4215634"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5477994"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3148848"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4397069"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4513126"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5290924"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5466245"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4215632"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5925300"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4477873"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3262780"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3720554"},{"@id":"https://portal.mardi4nfdi.de/entity/Q598275"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1604663"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4897040"},{"@id":"https://portal.mardi4nfdi.de/entity/Q698542"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5489367"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5764758"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4432541"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4023233"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5537599"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4254642"}]},"provenance":{"prov:generatedAtTime":"2025-07-09T18:06:41Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}