Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Automated Mathematics and the Reconfiguration of Proof and Labor

Rodrigo Ochigame

Abstract

This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.

Automated Mathematics and the Reconfiguration of Proof and Labor

Abstract

This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.
Paper Structure (5 sections, 1 figure)

This paper contains 5 sections, 1 figure.

Table of Contents

  1. Introduction
  2. Post-Cartesian and Post-Leibnizian Standards of Proof
  3. Forms of Automation in Mathematical Research
  4. Critiques of Recurring Assumptions
  5. Economies of Labor and Credit

Figures (1)

  • Figure 1: Diagram of prominent forms of automated mathematics.