Cover Image

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Neuwirth, Stefan, Lombardi, Henri, Coquand, Thierry
Format:	Preprint
Published:	2024
Subjects:	History and Overview Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Weyl's Quantifiers
by: Toader, Iulian D.
Published: (2024)

A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
by: Kamareddine, Fairouz, et al.
Published: (2024)

A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)

Cantor's Powerset Theorem, Graph-Theoretically
by: Salehi, Saeed
Published: (2026)

On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)

Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)

Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
by: Ghosh, Souvik
Published: (2025)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

Very basic set theory
by: Homan, Doeko
Published: (2023)

Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)

In between myth and reality: AI for math -- a case study in category theory
by: Diaconescu, Răzvan
Published: (2025)

Artificial Intelligence and the Structure of Mathematics
by: Barkeshli, Maissam, et al.
Published: (2026)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)

Constructive theory of ordinals
by: Coquand, Thierry, et al.
Published: (2022)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Azumaya algebras and Barr Theorem
by: Coquand, Thierry, et al.
Published: (2023)

A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)

The meaning of doing mathematics
by: Schwer, Petra
Published: (2025)

Operators in the mind: Jan Lukasiewicz and Polish notation
by: Mizraji, Eduardo
Published: (2025)

The mathematical work of Anania Shirakatsi
by: Aslanyan, Vahagn
Published: (2024)

Strategy flexibility in university mathematics
by: Hästö, Peter, et al.
Published: (2023)

Mikio Sato, a visionary of mathematics
by: Schapira, Pierre
Published: (2024)

Reflecting on beauty: the aesthetics of mathematical discovery
by: Jevtić, Filip D., et al.
Published: (2024)

Some mathematical and geometrical interpretations of the Sator Square
by: Caiza, Paul Dario Toasa
Published: (2024)

Empirical mathematics in Australian Indigenous Smoke Telegraphy
by: Ball, Rowena
Published: (2026)

The simplicity of complexity: a story of mathematical outreach
by: Parlier, Hugo, et al.
Published: (2025)

Princ-wiki-a Mathematica: Wikipedia editing and mathematics
by: Eppstein, David, et al.
Published: (2024)

Exploring collaboration: The effect of gender on mathematics learning preferences
by: Kim, Sang Hyun, et al.
Published: (2025)

Simone Weil, Andr{é} Weil, Bourbaki and Pythagorean mathematics
by: Papadopoulos, Athanase
Published: (2026)

Making mathematical claims
by: Lai, Yvonne
Published: (2025)

A source list to support DEI/EDI work in mathematical sciences
by: Kent, Deborah, et al.
Published: (2024)

The mathematics of periodic anthyphairesis as a basis for the full understanding of Plato's philosophy
by: Negrepontis, Stelios, et al.
Published: (2025)

Gender and assessment in mathematics: a comparative study of managing assessment episodes
by: Brismontier, Chloé
Published: (2026)

Student explanation in middle and secondary mathematics and statistics: A scoping literature review
by: Gao, Huixin, et al.
Published: (2025)