Cover Image

Ablation and the Meno: Tools for Empirical Metamathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fan, Zhengqin, DeDeo, Simon
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)

AlephZero and Mathematical Experience
by: DeDeo, Simon
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

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

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)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

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

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

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

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

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

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

Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)

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

Supplementary Private Tutoring and Mathematical Achievements in Higher Education: An Empirical Study on Linear Algebra
by: Lin, Xuefei, et al.
Published: (2024)

An Approach to Development: Turning Education from a Service Duty to a Productive Tool
by: Alinian, Pooya, et al.
Published: (2022)

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
by: Serrano, Felix De la Cruz
Published: (2026)

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

Comportamientos extraños del infinito: Gráficas Infinitas
by: Fernández-Bretón, David J., et al.
Published: (2025)

Visualizing the Matrix Product as a Transformation: A Task Design Using GeoGebra in Secondary Mathematics Education
by: Serrano, Felix De La Cruz
Published: (2026)

Footprints of the Walking of Numbers: A Dynamic Visualization Task for Understanding Decimal Numbers in Secondary Education
by: Serrano, Felix De la Cruz
Published: (2026)

Impacto del Enfoque Matematicas en Tres Actos en la Educacion Matematica
by: Serrano, Felix De la Cruz
Published: (2025)

Countable real analysis
by: Klazar, Martin
Published: (2023)

Waterproof Editor: an educational environment for proof assistants and programming languages
by: Otte, Pim, et al.
Published: (2026)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
by: Meadows, Jordan, et al.
Published: (2023)

Mathematical Entities: Corpora and Benchmarks
by: Collard, Jacob, et al.
Published: (2024)