Formalized proof, computation, and the construction problem in algebraic geometry

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.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

Cited literature [70 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00003021
Contributor : Carlos Simpson <>
Submitted on : Friday, October 8, 2004 - 9:19:31 AM
Last modification on : Friday, January 12, 2018 - 1:51:42 AM
Document(s) archivé(s) le : Thursday, April 1, 2010 - 2:32:47 PM

Identifiers

Collections

Citation

Carlos Simpson. Formalized proof, computation, and the construction problem in algebraic geometry. 2004. ⟨hal-00003021⟩

Share

Metrics

Record views

193

Files downloads

120