古希腊时期，毕达哥拉斯用演绎法证明了直角三角形斜边平方等于两直角边平方之和，即毕达哥拉斯定理。
自此，人类便开始将形状与数学联系在一起。
两百年后，欧几里得把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系——几何学。
经过数千年的更迭，人们对于形状的研究越来越复杂，而这时，霍奇猜想就应运而生。
十七世纪七十年代以前，几何和代数都有了相当的发展，但它们是互相分离的两个学科。
笛卡尔对当时的几何方法和代数方法进行比较思考，他主张把几何学的问题归结成代数形式的问题，用代数学的方法进行计算、证明，从而达到最终解决几何问题的目的。
依照这种思想他创立了我们现在称之为的“解析几何学”。
笛卡尔的数学思想证明了如果你抽象一步进一步，几何实际上是与代数相同，几何可以转化为代数方程，代数方程同样也可以转化为几何图形。
如果你想看到某条线与特定圆交叉的位置，你可以几何地绘制形状，或者只是用代数方式比较方程。
两种方法都会给出相同的答案。
到了19世纪，数学家尝试推广笛卡尔的方法。
他们从一些代数方程入手，把这些方程的解定义为“几何”对象。
以这种方式从代数方程产生的对象，就被称为“代数簇”。
因此，代数簇是几何图像的一种推广。
任何一个几何对应都是一个代数簇，但是有许多代数簇是不可能被直观化的。
然而，并不因为某个特定的代数簇不可能被直观化，你就不能对它做（代数）几何。
你能做，只不过这是没有图形的几何。
之后，数学家很快发现更复杂的方程，或者甚至方程组都在一起工作，可以在各种维度产生惊人的形状。
数学家为了得到更加复杂的形状，发现了一个非常实用的方法，基本想法是在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧非常好用，使得它可以用许多不同的方式来推广。
自此，人类便开始将形状与数学联系在一起。
两百年后，欧几里得把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系——几何学。
经过数千年的更迭，人们对于形状的研究越来越复杂，而这时，霍奇猜想就应运而生。
十七世纪七十年代以前，几何和代数都有了相当的发展，但它们是互相分离的两个学科。
笛卡尔对当时的几何方法和代数方法进行比较思考，他主张把几何学的问题归结成代数形式的问题，用代数学的方法进行计算、证明，从而达到最终解决几何问题的目的。
依照这种思想他创立了我们现在称之为的“解析几何学”。
笛卡尔的数学思想证明了如果你抽象一步进一步，几何实际上是与代数相同，几何可以转化为代数方程，代数方程同样也可以转化为几何图形。
如果你想看到某条线与特定圆交叉的位置，你可以几何地绘制形状，或者只是用代数方式比较方程。
两种方法都会给出相同的答案。
到了19世纪，数学家尝试推广笛卡尔的方法。
他们从一些代数方程入手，把这些方程的解定义为“几何”对象。
以这种方式从代数方程产生的对象，就被称为“代数簇”。
因此，代数簇是几何图像的一种推广。
任何一个几何对应都是一个代数簇，但是有许多代数簇是不可能被直观化的。
然而，并不因为某个特定的代数簇不可能被直观化，你就不能对它做（代数）几何。
你能做，只不过这是没有图形的几何。
之后，数学家很快发现更复杂的方程，或者甚至方程组都在一起工作，可以在各种维度产生惊人的形状。
数学家为了得到更加复杂的形状，发现了一个非常实用的方法，基本想法是在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧非常好用，使得它可以用许多不同的方式来推广。