1.1.2 Hilbert与Zariski的现代奠基

文档摘要

1.1.2 Hilbert与Zariski的现代奠基在代数几何的星图上，若将19世纪的不变量理论比作一艘在迷雾中摸索航向的帆船，那么大卫·希尔伯特（David Hilbert）1890年发表的《论代数形式的完全系》（Über die Theorie der algebraischen Formen）便是那束刺破云层的激光——它不靠经验拼凑，不凭直觉跳跃，而以有限生成性（finite generation）为锚点，以消去法的构造性重构为罗盘，第一次为多项式环上的不变量系统赋予了可计算、可判定、可终止的数学骨架。这不是哲学宣言，不是存在性断言，而是一套可写进算法、可编译进机器、可在手摇计算机上逐行执行的技术协议。