Copertina

Mathematical Proof Between Generations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bayer, Jonas, Benzmüller, Christoph, Buzzard, Kevin, David, Marco, Lamport, Leslie, Matiyasevich, Yuri, Paulson, Lawrence, Schleicher, Dierk, Stock, Benedikt, Zelmanov, Efim
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	History and Overview Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

A definição de verdade de Tarski
di: Cardoso, Guilherme, 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)

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

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

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

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

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

Automated Mathematics and the Reconfiguration of Proof and Labor
di: Ochigame, Rodrigo
Pubblicazione: (2023)

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)

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

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

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

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

Waterproof: Educational Software for Learning How to Write Mathematical Proofs
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2022)

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

An Episode in The Old Mathematical Intelligencer
di: Lamm, Christoph
Pubblicazione: (2025)

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

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

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
di: Weatherall, James Owen, et al.
Pubblicazione: (2026)

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

A Million-dollar Proof
di: Abrams, Aaron
Pubblicazione: (2025)

Stamps and Mathematics
di: Ivanova, Nataliya M.
Pubblicazione: (2024)

The Folding Mathematics
di: Morye, Archana S.
Pubblicazione: (2025)

Teaching Mathematics for Economists
di: Hillebrand, Eric
Pubblicazione: (2025)

Reflective Groupwork for Introductory Proof-Writing Courses
di: Pi, Jennifer, et al.
Pubblicazione: (2023)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
di: Bayer, Jonas, et al.
Pubblicazione: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
di: Ruggeri, Tommaso, et al.
Pubblicazione: (2025)

Fraudulent Publishing in the Mathematical Sciences
di: Agricola, Ilka, et al.
Pubblicazione: (2025)

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

Mathematics in art, for art and as art
di: Esteban, Maria J.
Pubblicazione: (2025)

Geometric Proof of the Irrationality of Square-Roots for Select Integers
di: Chen, Zongyun, et al.
Pubblicazione: (2024)

AI for Mathematics: Progress, Challenges, and Prospects
di: Ju, Haocheng, et al.
Pubblicazione: (2026)

Approximating Mathematical Constants using Minecraft
di: Lynch, Molly, et al.
Pubblicazione: (2024)

Indigenous Mathematics I. Smoke Telegraphy
di: Ball, Rowena
Pubblicazione: (2025)

Elements of the Theory of Probability and Mathematical Statistics
di: Chinarova, Lidiia L., et al.
Pubblicazione: (2024)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
di: Mangum, Chad R.
Pubblicazione: (2025)