Formalized proof, computation, and the construction problem in algebraic geometry
代数几何
2007-05-23 v1
摘要
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.
引用
@article{arxiv.math/0410224,
title = {Formalized proof, computation, and the construction problem in algebraic geometry},
author = {Carlos T. Simpson},
journal= {arXiv preprint arXiv:math/0410224},
year = {2007}
}