Coquand, Thierry (Author)
Neuwirth, Stefan (Author)
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.
...More
Chapter
Keller, Agathe;
(2012)
Overlooking Mathematical Justifications in the Sanskrit Tradition: The Nuanced Case of G. F. W. Thibaut
(/isis/citation/CBB001320144/)
Article
German E Berrios;
Johan Schioldann;
(2019)
‘Insanity in Classical Antiquity’, by JL Heiberg (1913)
(/isis/citation/CBB216036852/)
Article
Everton de Oliveira Maraldi;
Carlos S Alvarado;
(2018)
Final chapter, From India to the Planet Mars: A Study of a Case of Somnambulism with Glossolalia, by Théodore Flournoy (1900)
(/isis/citation/CBB986318383/)
Book
Clark, Patricia Ann;
(2011)
A Cretan Healer's Handbook in the Byzantine Tradition: Text, Translation, and Commentary
(/isis/citation/CBB001250493/)
Article
Carlos S Alvarado;
Massimo Biondi;
(2017)
Cesare Lombroso on mediumship and pathology
(/isis/citation/CBB129062875/)
Article
Carlos S Alvarado;
Nancy L Zingrone;
(2020)
Camille Flammarion on the powers of the soul; with an introduction by Carlos S
(/isis/citation/CBB743678083/)
Article
Wundt, Wilhelm;
Lamiell, James T.;
(2013)
Psychology's Struggle for Existence: Second Edition, 1913
(/isis/citation/CBB001213761/)
Article
Ian Merkel;
(2017)
Fernand Braudel, Brazil, and the Empire of French Social Science: Newly Translated Sources from the 1930s
(/isis/citation/CBB398841971/)
Article
Jacobsen, Thune;
(2021)
‘Some main features in the history of the paranoid illness forms’, by Aa. Thune Jacobsen (1921)
(/isis/citation/CBB022042787/)
Article
German E Berrios;
Johan Schioldann;
(2017)
‘Motility Psychoses’, by Erik Strömgren (1940)
(/isis/citation/CBB100175702/)
Article
Alan J. Rocke;
(2021)
A Woman’s Life Alongside Chemistry:The Memoirs of Theresa Kopp Baumann
(/isis/citation/CBB374790680/)
Article
Rieppel, Olivier;
Williams, David M.;
Ebach, Malte C.;
(2013)
Adolf Naef (1883--1949): On Foundational Concepts and Principles of Systematic Morphology
(/isis/citation/CBB001320041/)
Book
Einstein, Albert;
(2005)
Relativity: The Special and the General Theory
(/isis/citation/CBB000550060/)
Article
Lennart Jansson;
Josef Parnas;
(2020)
‘The schizophrenic basic mood (self-disorder)’, by Hans W Gruhle (1929)
(/isis/citation/CBB757425856/)
Article
Thune Jacobsen;
German E Berrios;
(2021)
Classic Text No. 126: ‘Some main features in the history of the paranoid illness forms’, by Aa. Thune Jacobsen (1921)
(/isis/citation/CBB496173906/)
Article
Trybusa, Adam;
(2012)
Leon Chwistek, The Principles of the Pure Type Theory (1922), Translated by Adam Trybus with an Introductory Note by Bernard Linsky
(/isis/citation/CBB001211000/)
Article
Akira Hashimoto;
(2019)
‘The present state and statistical observation of mental patients under home custody’, by Kure Shūzō and Kashida Gorō (1918)
(/isis/citation/CBB619204009/)
Article
Heukelom, Floris;
(2015)
A History of the Allais Paradox
(/isis/citation/CBB001202248/)
Book
Richard Dedekind;
Heinrich Weber;
(2019)
Theorie Des Fonctions Algebriques d'Une Variable
(/isis/citation/CBB160173996/)
Article
Smadja, Ivahn;
(2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams
(/isis/citation/CBB001211483/)
Be the first to comment!