Scifaro

中文

Grothendieck对相等概念的使用

代数几何 2024-05-20 v1 数论

作者: Kevin Buzzard

在 arXiv 上查看 ↗ PDF ↗

摘要

我们讨论了数学家（包括Grothendieck）如何使用相等概念，以及这对形式化数学产生的影响。我们挑战了若干听起来合理的关于相等的口号。

关键词

相等 Grothendieck 形式化数学数学基础数学实践

引用

@article{arxiv.2405.10387,
  title  = {Grothendieck's use of equality},
  author = {Kevin Buzzard},
  journal= {arXiv preprint arXiv:2405.10387},
  year   = {2024}
}

备注

Write-up of my talk given at the conference "Grothendieck, a Multifarious Giant: Mathematics, Logic and Philosophy" at Chapman University