90 years of Gödel’s incompleteness theorems: Logic and computation-Reference-Cited by-同舟云学术

90 years of Gödel’s incompleteness theorems: Logic and computation

Published:2024-05-28 Issue:6 Volume:34 Page:1003-1009
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Baaz Matthias¹,Ertel Marcel²,Kahle Reinhard²,Piecha Thomas²,von Plato Jan³

Affiliation:

1. TU Wien

2. University of Tübingen

3. University of Helsinki

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.

Publisher

Oxford University Press (OUP)

Link

https://academic.oup.com/logcom/article-pdf/34/6/1003/59088555/exae026.pdf

Reference21 articles.

1. Special issue “Celebrating 90 Years of Gödel’s Incompleteness Theorems”;Baaz,2025

2. Admissible Sets and Structures

3. Effective inseparability and some applications in meta-mathematics;Cheng;Journal of Logic and Computation. Special issue “Celebrating 90 Years of Gödel’s Incompleteness Theorems”,2023

4. An introduction to Lorenzen’s “Algebraic and logistic investigations on free lattices”;Coquand;History and Philosophy of Logic. Special issue “Celebrating 90 Years of Gödel’s Incompleteness Theorems”,1951

5. The extended predicative Mahlo universe in Martin–Löf type theory;Dybjer;Journal of Logic and Computation. Special issue “Celebrating 90 Years of Gödel’s Incompleteness Theorems”,2023