约翰·卡尔·弗里德里希·高斯(1777年4月30日-1855年2月23日)德国著名数学家、物理学家、天文学家、大地测量学家。是近代数学奠基者之一,高斯被认为是历史上最重要的数学家之一,并享有“数学王子”之称。高斯和阿基米德、牛顿并列为世界三大数学家。一生成就极为丰硕,以他名字“高斯”命名的成果达110个,属数学家中之最。他对数论、代数、统计、分析、微分几何、大地测量学、地球物理学、力学、静电学、天文学、矩阵理论和光学皆有贡献。
数学家欧几里德已经指出,正三边形、正四边形、正五边形、正十五边形和边数是上述边数两倍的正多边形的几何作图是能够用圆规和直尺实现的,但从那时起关于这个问题的研究没有多大进展。高斯在数论的基础上提出了判断一给定边数的正多边形是否可以几何作图的准则。例如,用圆规和直尺可以作圆内接正十七边形。这样的发现还是欧几里得以后的第一个。
这些关於数论的工作对代数数的现代算术理论(即代数方程的解法)作出了贡献。高斯还将复数引进了数论,开创了复整数算术理论,复整数在高斯以前只是直观地被引进。1831年(发表於1832年)他给出了一个如何藉助於x,y平面上的表示来发展精确的复数理论的详尽说明。
高斯是最早怀疑欧几里得几何学是自然界和思想中所固有的那些人之一。欧几里得是建立系统性几何学的第一人。他模型中的一些基本思想被称作公理,它们是透过纯粹逻辑构造整个系统的出发点。在这些公理中,平行线公理一开始就显得很突出。按照这一公理,通过不在给定直线上的任何点只能作一条与该直线平行的线。
不久就有人推测︰这一公理可从其他一些公理推导出来,因而可从公理系统中删去。但是关於它的所有证明都有错误。高斯是最早认识到可能存在一种不适用平行线公理的几何学的人之一。他逐渐得出革命性的结论︰确实存在这样的几何学,其内部相容并且没有矛盾。但因为与同代人的观点相背,他不敢发表(参阅非欧几里得几何条)。
当1830年前后匈牙利的波尔约和俄国的罗巴切夫斯基独立地发表非欧几何学时,高斯宣称他大约在30年前就得到同样的结论。高斯也没有发表特殊复函数方面的工作,可能是因为没有能从更一般的原理导出它们。因此这一理论不得不在他死后数十年由其他数学家从他著作的计算中重建。