Copertina

A correspondence problem for mathematical proof

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	DeDeo, Simon, Duede, Eamon
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	History and Overview Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Hard Proofs and Good Reasons
di: DeDeo, Simon
Pubblicazione: (2024)

AlephZero and Mathematical Experience
di: DeDeo, Simon
Pubblicazione: (2023)

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

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

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
di: Duede, Eamon, et al.
Pubblicazione: (2024)

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

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

Cantor's Powerset Theorem, Graph-Theoretically
di: Salehi, Saeed
Pubblicazione: (2026)

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

Weyl's Quantifiers
di: Toader, Iulian D.
Pubblicazione: (2024)

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

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

Secrets and Quantifiers
di: Bajnok, Bela, et al.
Pubblicazione: (2024)

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

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

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

Very basic set theory
di: Homan, Doeko
Pubblicazione: (2023)

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

Mathematical Proof Between Generations
di: Bayer, Jonas, et al.
Pubblicazione: (2022)

Explaining Necessary Truths
di: Kardeş, Gülce, et al.
Pubblicazione: (2025)

In Memory of Martin Davis
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

A simple proof for generalized Fibonacci numbers with dying rabbits
di: De Prisco, Roberto
Pubblicazione: (2023)

The meaning of doing mathematics
di: Schwer, Petra
Pubblicazione: (2025)

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

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

The mathematical work of Anania Shirakatsi
di: Aslanyan, Vahagn
Pubblicazione: (2024)

Mikio Sato, a visionary of mathematics
di: Schapira, Pierre
Pubblicazione: (2024)

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

Empirical mathematics in Australian Indigenous Smoke Telegraphy
di: Ball, Rowena
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Making mathematical claims
di: Lai, Yvonne
Pubblicazione: (2025)

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