Human mathematics in the age of reasoning machines

Akshay Venkatesh

doi:10.67678/ba8ecaqs

Human mathematics in the age of reasoning machines

Abstract

This essay intertwines reflection on current mathematical practice with discussion of how it may be reshaped by automation. I speculate that the conceptual language of mathematics might undergo drastic rewritings, and look to historical examples for guidance.

Keywords automated reasoning mathematical concepts cryptomorphism mathematical psychology mathematical modernism

DOI https://doi.org/10.67678/ba8ecaqs

Cite this article

Venkatesh, A. (2025). Human mathematics in the age of reasoning machines. Annals of Mathematics and Philosophy, 3(1), 83–116. https://doi.org/10.67678/ba8ecaqs

Venkatesh, Akshay. “Human mathematics in the age of reasoning machines.” Annals of Mathematics and Philosophy 3, no. 1 (2025): 83–116. https://doi.org/10.67678/ba8ecaqs.

Venkatesh, Akshay. “Human mathematics in the age of reasoning machines.” Annals of Mathematics and Philosophy, vol. 3, no. 1, 2025, pp. 83–116. https://doi.org/10.67678/ba8ecaqs.

@article{Venkatesh2025,
  title = {{Human mathematics in the age of reasoning machines}},
  author = {Akshay Venkatesh},
  journal = {Annals of Mathematics and Philosophy},
  volume = {3},
  number = {1},
  pages = {83--116},
  year = {2025},
  issn = {3038-6381},
  doi = {10.67678/ba8ecaqs},
  language = {en},
  keywords = {automated reasoning, mathematical concepts, cryptomorphism, mathematical psychology, mathematical modernism},
  url = {https://www.mxphi.com/all-issues/volume-iii-number-1-2025/human-mathematics-reasoning-machines/},
  note = {License: CC BY-ND 4.0},
}

TY  - JOUR
AU  - Akshay Venkatesh
TI  - Human mathematics in the age of reasoning machines
JO  - Annals of Mathematics and Philosophy
JF  - Annals of Mathematics and Philosophy
VL  - 3
IS  - 1
SP  - 83
EP  - 116
PY  - 2025
SN  - 3038-6381
DO  - 10.67678/ba8ecaqs
LA  - en
KW  - automated reasoning
KW  - mathematical concepts
KW  - cryptomorphism
KW  - mathematical psychology
KW  - mathematical modernism
UR  - https://www.mxphi.com/all-issues/volume-iii-number-1-2025/human-mathematics-reasoning-machines/
N1  - License: CC BY-ND 4.0
ER  -

Copied!

↓ Download PDF 5 downloads