Buchumschlag

From real analysis to the sorites paradox via Reverse Mathematics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dean, Walter, Sanders, Sam
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic History and Overview
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Analytic proofs for logics of evidence and truth
von: Carnielli, Walter, et al.
Veröffentlicht: (2024)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Artificial Intelligence and the Structure of Mathematics
von: Barkeshli, Maissam, et al.
Veröffentlicht: (2026)

Mathematical Proof Between Generations
von: Bayer, Jonas, et al.
Veröffentlicht: (2022)

On a form of intrinsic optimism in Set Theory
von: Pérez, M. Muñoz
Veröffentlicht: (2025)

A definição de verdade de Tarski
von: Cardoso, Guilherme, et al.
Veröffentlicht: (2024)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
von: Neuwirth, Stefan, et al.
Veröffentlicht: (2024)

Weyl's Quantifiers
von: Toader, Iulian D.
Veröffentlicht: (2024)

Cantor's Powerset Theorem, Graph-Theoretically
von: Salehi, Saeed
Veröffentlicht: (2026)

A correspondence problem for mathematical proof
von: DeDeo, Simon, et al.
Veröffentlicht: (2026)

Secrets and Quantifiers
von: Bajnok, Bela, et al.
Veröffentlicht: (2024)

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
von: Ghosh, Souvik
Veröffentlicht: (2025)

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

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
von: Dvorak, Martin
Veröffentlicht: (2026)

Very basic set theory
von: Homan, Doeko
Veröffentlicht: (2023)

Ablation and the Meno: Tools for Empirical Metamathematics
von: Fan, Zhengqin, et al.
Veröffentlicht: (2026)

Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
von: Espín, José Ginés, et al.
Veröffentlicht: (2025)

In Memory of Martin Davis
von: Calvert, Wesley, et al.
Veröffentlicht: (2024)

Automated Mathematics and the Reconfiguration of Proof and Labor
von: Ochigame, Rodrigo
Veröffentlicht: (2023)

From Concrete to Abstract in Indian Mathematics
von: Dasgupta, Jaidev
Veröffentlicht: (2024)

Countable real analysis
von: Klazar, Martin
Veröffentlicht: (2023)

Operators in the mind: Jan Lukasiewicz and Polish notation
von: Mizraji, Eduardo
Veröffentlicht: (2025)

Notes on Category Theory with examples from basic mathematics
von: Perrone, Paolo
Veröffentlicht: (2019)

The Folding Mathematics
von: Morye, Archana S.
Veröffentlicht: (2025)

Stamps and Mathematics
von: Ivanova, Nataliya M.
Veröffentlicht: (2024)

Teaching Mathematics for Economists
von: Hillebrand, Eric
Veröffentlicht: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
von: Ruggeri, Tommaso, et al.
Veröffentlicht: (2025)

An Episode in The Old Mathematical Intelligencer
von: Lamm, Christoph
Veröffentlicht: (2025)

Fraudulent Publishing in the Mathematical Sciences
von: Agricola, Ilka, et al.
Veröffentlicht: (2025)

Mathematics in art, for art and as art
von: Esteban, Maria J.
Veröffentlicht: (2025)

AlephZero and Mathematical Experience
von: DeDeo, Simon
Veröffentlicht: (2023)

Indigenous Mathematics I. Smoke Telegraphy
von: Ball, Rowena
Veröffentlicht: (2025)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
von: Mangum, Chad R.
Veröffentlicht: (2025)

AI for Mathematics: Progress, Challenges, and Prospects
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Approximating Mathematical Constants using Minecraft
von: Lynch, Molly, et al.
Veröffentlicht: (2024)

Elements of the Theory of Probability and Mathematical Statistics
von: Chinarova, Lidiia L., et al.
Veröffentlicht: (2024)

Mathematics -- an imagined tool for rational cognition
von: Čulina, Boris
Veröffentlicht: (2023)

Mathematics education research must be useful for the classroom
von: Essien, Anthony A., et al.
Veröffentlicht: (2025)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
von: Bottoni, Mattia Luciano, et al.
Veröffentlicht: (2025)

Using GXWeb for Theorem Proving and Mathematical Modelling
von: Todd, Philip, et al.
Veröffentlicht: (2024)