Thomas Piecha

dblp:143/4485 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2024 90 years of Gödel's incompleteness theorems: Logic and computation
abstract
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.
Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato
J. Log. Comput.4