scientific article; zbMATH DE number 1526722

From MaRDI portal

Publication:4513126

Jump to:navigation, search

zbMath0955.03003MaRDI QIDQ4513126

Walter Felscher

Publication date: 7 November 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidability consistency decidability formal arithmetic unprovability of consistency

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (1)

Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4513126&oldid=18612455"