Lorenzen Between Gentzen and Schütte

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

We discuss Lorenzen’s consistency proof for ramified type theory without reducibility, published in 1951, in its historical context and highlight Lorenzen’s contribution to the development of modern proof theory, notably by the introduction of the ω -rule.

Original languageEnglish
Title of host publicationPaul Lorenzen - Mathematician and Logician. Logic, Epistemology, and the Unity of Science
EditorsG. Heinzmann , G. Wolters
Place of PublicationCham
PublisherSpringer
Pages63-76
Number of pages14
ISBN (Electronic)978-3-030-65824-3
ISBN (Print)978-3-030-65823-6
DOIs
Publication statusPublished - 2021

Publication series

NameLogic, Epistemology, and the Unity of Science
PublisherSpringer
Volume51
ISSN (Print)2214-9775
ISSN (Electronic)2214-9783

Fingerprint

Dive into the research topics of 'Lorenzen Between Gentzen and Schütte'. Together they form a unique fingerprint.

Cite this