图赫尔是谁？他有哪些重要的贡献？

图赫尔（Kurt Gödel）是20世纪最重要的逻辑学家之一，也是数学家和哲学家。他以其“不完整定理”和“持续统假设”的证明而闻名于世。

图赫尔的不完整定理指出，在任何形式化的公理化系统中，总存在一个命题，它既不克不及被证明为实，也不克不及被证明为假。那个命题被称为不成断定命题。那个定理的证明是基于对自指命题的构造，它表白了任何形式化的公理化系统都存在自指命题，且那些命题无法在该系统内部证明。

图赫尔的持续统假设是一个数学假设，它在集合论中有重要的应用。持续统假设指出，不存在介于可数集和持续体之间的集合。那个假设的证明是基于一种新的公理化集合论系统，它被称为“图赫尔-贝尔-福克斯集合论”。

图赫尔对哲学的奉献次要表现在他对常识和实理的思虑上。他认为，人类无法完全理解本身和世界的素质，因而存在某些实理是无法被证明的。那一概念引发了对哲学中常识和实理的素质的深切切磋，影响了后来哲学家的思虑。

图赫尔的奉献关于逻辑学、数学和哲学等范畴都有深远的影响。他的不完整定理和持续统假设为数学的根底理论供给了新的思绪和证明办法。他的思惟也对哲学和科学的开展产生了深远的影响，引发了对常识和实理素质的思虑。他被认为是20世纪更具影响力的逻辑学家之一。

图赫尔的成就和思惟对现代科学和哲学产生了深远的影响。他的不完整定理和持续统假设启迪了人们关于形式化系统的认识和理解。他的思惟也引发了人们关于常识和实理素质的思虑，促进了关于科学和哲学的开展。他的成就和思惟为现代科学和哲学供给了新的思维体例和办法论。