Cover Image

Hilbert's Program and Infinity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Zach, Richard
Format:	Preprint
Published:	2026
Subjects:	Logic History and Overview 03A05 (Primary) 00A30, 03F30 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
by: Colomina-Alminana, Juan J.
Published: (2026)

On humanization of mathematics: aesthetic mathematics
by: Inoué, Takao
Published: (2023)

Formalism 25
by: Katz, Mikhail G., et al.
Published: (2025)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
by: Bottazzi, Emanuele, et al.
Published: (2025)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
by: Cheng, Yong
Published: (2019)

Some reflections on the relationship between logical incompleteness and concrete incompleteness
by: Cheng, Yong
Published: (2024)

Foundations of Trigonometry: Conceptual and Logical, Being an Essay Towards a Conceptual Foundations of Mathematics
by: Amer, Mohamed A.
Published: (2016)

Murder at the Asylum
by: Khovanova, Tanya
Published: (2018)

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
by: Rodin, Andrei
Published: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Algorithm and abstraction in formal mathematics
by: Macbeth, Heather
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)

Bilateralism with incompatible proofs and refutations
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

A Constructive Fragment of Physical Propositions
by: Rosko, Milan
Published: (2025)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

Argumentation in Mathematical Practice
by: Aberdein, Andrew, et al.
Published: (2023)

The Code of Mathematics
by: Müller-Stach, Stefan
Published: (2018)

Computational Platonism
by: G, Asvin
Published: (2025)

Über Nichts
by: Bátkai, András
Published: (2025)

Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)

On Śankara Varman's (correct) and Mādhava's (incorrect) values for the circumferences of circles
by: Krishnachandran, V. N.
Published: (2024)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
by: de Queiroz, Ruy J. G. B.
Published: (2025)

From the Notebooks to the Investigations and Beyond
by: de Queiroz, Ruy J. G. B.
Published: (2025)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Memories with Solomon Marcus
by: Nichita, Florin Felix
Published: (2026)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
Published: (2025)

Samgamagrāma Mādhava: An Updated Biography
by: Krishnachandran, V. N.
Published: (2024)