Gödel's completeness theorem
type: Item
instance of: scholarly article
title: Gödel's completeness theorem
zbMATH Open document ID: 0794.03047
DOI: 10.1007/BF03186455
author: Wolfgang Rautenberg
published in: Mathematische Semesterberichte
publication date: 1994-03-23T00:00:00Z
review text: Der hier dargebotene Beweis des Gödelschen Vollständigkeitssatzes setzt für sein Verständnis nur Anfangskenntnisse der Logik voraus (was ist ein Term, eine Formel, ein Modell). Es werden je ein Gentzen- und ein Hilbert-Kalkül als vollständig nachgewiesen. Die Beweise sich nicht neu im Prinzip, wohl aber in einigen nicht unwesentlichen Details und daher relativ kurz. Es werden auch die wichtigsten Konsequenzen des Satzes erörtert.
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03-01
zbMATH DE Number: 495242
zbMATH Keywords: Gödel's completeness theorem
zbMATH Keywords: Gentzen calculus
zbMATH Keywords: Hilbert calculus
MaRDI profile type: Publication
cites work: Q4023926
cites work: The completeness of the first-order functional calculus
cites work: Q4693113
cites work: Q3858239
cites work: Q3978786
full work available at URL: https://doi.org/10.1007/bf03186455
OpenAlex ID: W4237449040
description: scientific article; zbMATH DE number 495242