AlephZero and Mathematical Experience
Fuente:
arXiv
Saved in:
| Main Author: | DeDeo, Simon |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)
by: DeDeo, Simon
Published: (2024)
A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)
by: DeDeo, Simon, et al.
Published: (2026)
Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)
by: Fan, Zhengqin, et al.
Published: (2026)
Explaining Necessary Truths
by: Kardeş, Gülce, et al.
Published: (2025)
by: Kardeş, Gülce, 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)
by: Serrano, Felix De La Cruz
Published: (2026)
Stamps and Mathematics
by: Ivanova, Nataliya M.
Published: (2024)
by: Ivanova, Nataliya M.
Published: (2024)
The Folding Mathematics
by: Morye, Archana S.
Published: (2025)
by: Morye, Archana S.
Published: (2025)
Teaching Mathematics for Economists
by: Hillebrand, Eric
Published: (2025)
by: Hillebrand, Eric
Published: (2025)
Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
by: Ruggeri, Tommaso, et al.
Published: (2025)
by: Ruggeri, Tommaso, et al.
Published: (2025)
An Episode in The Old Mathematical Intelligencer
by: Lamm, Christoph
Published: (2025)
by: Lamm, Christoph
Published: (2025)
Fraudulent Publishing in the Mathematical Sciences
by: Agricola, Ilka, et al.
Published: (2025)
by: Agricola, Ilka, et al.
Published: (2025)
Mathematics in art, for art and as art
by: Esteban, Maria J.
Published: (2025)
by: Esteban, Maria J.
Published: (2025)
Mathematics -- an imagined tool for rational cognition
by: Čulina, Boris
Published: (2023)
by: Čulina, Boris
Published: (2023)
AI for Mathematics: Progress, Challenges, and Prospects
by: Ju, Haocheng, et al.
Published: (2026)
by: Ju, Haocheng, et al.
Published: (2026)
Approximating Mathematical Constants using Minecraft
by: Lynch, Molly, et al.
Published: (2024)
by: Lynch, Molly, et al.
Published: (2024)
Indigenous Mathematics I. Smoke Telegraphy
by: Ball, Rowena
Published: (2025)
by: Ball, Rowena
Published: (2025)
Elements of the Theory of Probability and Mathematical Statistics
by: Chinarova, Lidiia L., et al.
Published: (2024)
by: Chinarova, Lidiia L., et al.
Published: (2024)
The Nature of Reasoning in Theology, Philosophy, and Mathematics
by: Mangum, Chad R.
Published: (2025)
by: Mangum, Chad R.
Published: (2025)
From Concrete to Abstract in Indian Mathematics
by: Dasgupta, Jaidev
Published: (2024)
by: Dasgupta, Jaidev
Published: (2024)
Mathematics education research must be useful for the classroom
by: Essien, Anthony A., et al.
Published: (2025)
by: Essien, Anthony A., et al.
Published: (2025)
Using GXWeb for Theorem Proving and Mathematical Modelling
by: Todd, Philip, et al.
Published: (2024)
by: Todd, Philip, et al.
Published: (2024)
Teaching "Foundations of Mathematics" with the Lean Theorem Prover
by: Bottoni, Mattia Luciano, et al.
Published: (2025)
by: Bottoni, Mattia Luciano, et al.
Published: (2025)
A review of Alfred North Whitehead's "Introduction to Mathematics"
by: Hales, Thomas
Published: (2024)
by: Hales, Thomas
Published: (2024)
Report on the 63rd Annual International Mathematical Olympiad
by: Bajnok, Béla
Published: (2025)
by: Bajnok, Béla
Published: (2025)
A Mathematical Model of The Effects of Strike On Nigerian Universities
by: Isere, Abednego Orobosa
Published: (2024)
by: Isere, Abednego Orobosa
Published: (2024)
Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
by: Espín, José Ginés, et al.
Published: (2025)
by: Espín, José Ginés, et al.
Published: (2025)
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
by: Wemmenhove, Jelle, et al.
Published: (2022)
by: Wemmenhove, Jelle, et al.
Published: (2022)
A life in Mathematical Analysis: a conversation with Luigi Rodino
by: Nicola, Fabio
Published: (2025)
by: Nicola, Fabio
Published: (2025)
Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
by: Wang, Siyuan, et al.
Published: (2025)
by: Wang, Siyuan, et al.
Published: (2025)
Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
by: Xu, Hongzhang, et al.
Published: (2024)
by: Xu, Hongzhang, et al.
Published: (2024)
Collaborative Preferences for Learning Mathematics: A Scale Validation Study
by: Kim, Sang Hyun, et al.
Published: (2025)
by: Kim, Sang Hyun, et al.
Published: (2025)
Mathematics A Missing Factor in Assessing the Antiquity of Vedanga Jyotisa
by: Dasgupta, Jaidev
Published: (2025)
by: Dasgupta, Jaidev
Published: (2025)
Calculus for the Modern Engineer: Putting the Joy Back in Learning Advanced Mathematics
by: Grizzle, Jessy
Published: (2025)
by: Grizzle, Jessy
Published: (2025)
Andr{é} and Simone Weil: Mathematics, social activism and Indian culture
by: Papadopoulos, Athanase, et al.
Published: (2025)
by: Papadopoulos, Athanase, et al.
Published: (2025)
Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
by: Fuller, Edgar J.
Published: (2024)
by: Fuller, Edgar J.
Published: (2024)
When Mathematics Meets Painting: Fibonacci Geometry, Cubism and Visual Abstraction
by: Mondal, Shankhadeep, et al.
Published: (2026)
by: Mondal, Shankhadeep, et al.
Published: (2026)
Fitting an Elephant with Four non-Zero Parameters
by: Jin, Dian, et al.
Published: (2024)
by: Jin, Dian, et al.
Published: (2024)
Student Explanation Strategies in Postsecondary Mathematics and Statistics Education: A Scoping Review
by: Gao, Huixin, et al.
Published: (2025)
by: Gao, Huixin, et al.
Published: (2025)
Enhancing Primary Teacher Training through Academic Portfolios in Advanced Mathematics Courses
by: Bruna, Carlos Rojas
Published: (2025)
by: Bruna, Carlos Rojas
Published: (2025)
How to Fight Fraudulent Publishing in the Mathematical Sciences: Joint Recommendations of the IMU and the ICIAM
by: Agricola, Ilka, et al.
Published: (2025)
by: Agricola, Ilka, et al.
Published: (2025)
Similar Items
-
Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024) -
A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026) -
Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026) -
Explaining Necessary Truths
by: Kardeş, Gülce, 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)