Cover Image

Automated Mathematics and the Reconfiguration of Proof and Labor

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ochigame, Rodrigo
Format:	Preprint
Published:	2023
Subjects:	History and Overview Computers and Society Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

A Proof of the Thue-Siegel Theorem about the Approximation of Algebraic Numbers for Binomial Equations
by: Mahler, Kurt
Published: (2015)

From Euler to AI: Unifying Formulas for Mathematical Constants
by: Raz, Tomer, et al.
Published: (2025)

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

Shaping the Future of Mathematics in the Age of AI
by: Commelin, Johan, et al.
Published: (2026)

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

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

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

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

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)

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

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

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)

Motivating Motives
by: Baez, John C.
Published: (2023)

Catalan's conjecture is Mihăilescu's theorem
by: Klazar, Martin
Published: (2026)

An invitation to Fibonacci digits
by: Cheigh, Justin, et al.
Published: (2024)

On Amicable Numbers
by: Euler, Leonhard, et al.
Published: (2024)

A Study on the Number of Representations of an Integer into Certain Quadratic Forms
by: Kashyap, Kritika
Published: (2024)

Learning from Ramanujan: Elementary Approaches to Profound Ideas
by: Bradshaw, Zachary P., et al.
Published: (2026)

Congruence properties of prime sums and Bernoulli polynomials
by: Pain, Jean-Christophe
Published: (2025)

Ruler and compass constructions in the Lemniscate and the 17-gon
by: Gómez-Molleda, Mariángeles, et al.
Published: (2024)

Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)
by: Hall, Michael J. W.
Published: (2026)

Pairwise Rational Points on a Parabola
by: Bomeisl, Kyle
Published: (2019)

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891
by: Dicker, Math
Published: (2026)

Patterns in Growth and Distribution of Unbounded Prime Number Walks
by: Fraile, Alberto, et al.
Published: (2025)

What is the Funniest Number? An investigation of numerical humor
by: Pottebaum, E. G.
Published: (2025)

Further examples of apodictic discourse, I
by: Kichenassamy, Satyanad
Published: (2025)

Carl Størmer and his Numbers
by: Kroesche, Matthew, et al.
Published: (2025)

A century problem related to the Legendre symbol modulo p
by: Zhang, Wenpeng
Published: (2025)

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

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

Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
by: Riegel, Kaitlin, et al.
Published: (2025)