Besonderhede van voorbeeld: 4417180099464118820

German

Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.

English

The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory.