在一劳仑兹流形中，一条封闭类时曲线是一物质粒子于时空中的一种世界线，其为“封闭”，亦即会返回起始点。这种可能性是由威廉·范·斯托克姆于1937年以及库尔特·哥德尔于1949年开启研究风潮。若CTC存在，则时间旅行理论上似乎可行，如此也引出了祖父悖论的梦魇。CTC与参考系拖曳以及提普勒柱体有关，是广义相对论带来的众多有趣的“副作用”其中一者。
哥德尔本体论证明是数学家库尔特·哥德尔对11世纪意大利僧侣坎特伯雷的安瑟莫对于神存在性的本体论论点整理并改进后所作的数学表达方式。坎特伯雷的安瑟莫后曾有17世纪的戈特弗里德·莱布尼茨提出了另一个较复杂的宇宙论证版本，而这个就是哥德尔所研究并尝试用其本体论逻辑论点去澄清的版本。
《哥德尔、埃舍尔、巴赫：集异璧之大成》，是一本赢得普利策奖的书。它是侯世达的著作，由Basic Books出版社在1979年出版的。这本书的二十周年版本在1999年发行，而且由侯世达加上新的前言。《集异璧之大成》是商务印书馆在1996年出版的根据1995年英文版翻译的中文版。本书的英文副标题意译为“一条永恒的金带”，其首字母与哥德尔、埃舍尔、巴赫三人的英文名字首字母GEB相同，而商务印书馆中文译本的副标题中的“集异璧”则与GEB谐音。
本书一共有两篇，上篇译为“集异璧 GEB”，下篇译为“异集璧 EGB”。
本书主要讲述了逻辑学家库尔特·哥德尔，艺术家莫里茨·科内利斯·埃舍尔，和作曲家约翰·塞巴斯蒂安·巴赫的创造性的成就怎样交织在一起。正如作者所说：“我认识到，哥德尔、埃舍尔和巴赫只是用不同的方式来表达一样相同的本质。我尝试重现这种本质而写出这本书。”
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年数学证明并发表的两条定理。简单地说，第一条定理指出：
哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。
哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年数学证明并发表的两条定理。简单地说，第一条定理指出：
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年数学证明并发表的两条定理。简单地说，第一条定理指出：
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年数学证明并发表的两条定理。简单地说，第一条定理指出：
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年数学证明并发表的两条定理。简单地说，第一条定理指出：
Mini wiki
