Formalized proof, computation, and the construction problem in algebraic geometry
classification
🧮 math.AG
keywords
algebraicconstructiondiscussiongeometryproblemproofbriefcategory
read the original abstract
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.