哥德尔

迄今为止，人类思维已经完成六次飞跃。 文字的产生，是第一次飞跃。据说，仓颉造字时，连鬼也哭出声，道是宇宙奥妙的大门从此对人打开

迄今为止，人类思维已经完成六次飞跃。 文字的产生，是第一次飞跃。据说，仓颉造字时，连鬼也哭出声，道是宇宙奥妙的大门从此对人打开

皮亚诺的主要著作有《算术原理：用一种新方法的说明》（1889年）、同别人合著的《数学公式汇编》（或译为《数学的陈述》），这些著作使数学家的观点发生了深刻的变化，对嗣后为重新组织数学的努力，尤其对以尼古拉·布尔巴基为笔名的法国数学学派的纲领，产生了很大影响。罗素也从中得到很大启发，推动了他关于数学原理的观点的发展。罗素和怀海德在其合著的《数学原理》中，采用了皮亚诺的部分逻辑记号

迄今为止，人类思维已经完成六次飞跃。 文字的产生，是第一次飞跃。据说，仓颉造字时，连鬼也哭出声，道是宇宙奥妙的大门从此对人打开

主讲人：王建东，南京航空航天大学计算机科学与技术学院教授、博士研究生导师。主要研究方向为人工智能、数据挖掘、信息安全，主持（参加）国家攀登计划课题、国家863重大项目子课题、国家自然科学基金重点课题等多项科研项目。在《Chinese Journal of Electronics》、《Journal of Systems Engineering and Electronics》、《软件学报》等国内外学术期刊上发表论文多篇，其中被SCI、EI收录50余篇

万维钢，曾用笔名“同人于野”，前物理学家，现科学作家，“得到”App订阅专栏《万维钢·精英日课》作者。1999年毕业于中国科技大学，2005年获得美国科罗拉多大学物理学博士学位，曾长期从事核聚变等离子体物理研究，现居美国，从事专职写作。 著有畅销书《万万没想到：用理工科思维理解世界》（获得第十届“文津图书奖”和“2014中国好书”等奖项）、《智识分子：做个复杂的现代人》、《高手：精英的见识和我们的时代》

迄今为止，人类思维已经完成六次飞跃。 文字的产生，是第一次飞跃。据说，仓颉造字时，连鬼也哭出声，道是宇宙奥妙的大门从此对人打开

柏拉图主义（Platonism）是数学历史上影响最大的数学哲学观点，它起源于古希腊的柏拉图，此后在西方数学界一直有着或明或暗的柏拉图主义观念，19世纪，它在数学界几乎占了统治地。 观点：数学的对象就是数、量、函数等数学概念，而数学概念作为抽象一般或“共相”是客观存在着的。柏拉图认为它们存在于一个特殊的理念世界里，后世的柏拉图主义者并不接受“理念论”，但也认为数学概念是一种特殊的独立于现实世界之外的客观存在，它们是不依赖于时间、空间和人的思维的永恒的存在

在集合论及其数学应用中，类是集合（或其他数学物件）的搜集（collection），可以依所有成员所共享的性质被无歧定义。有些类是集合（例如由所有偶数构成的类），但有些则不是（如所有序数所构成的类或所有集合所构成的类）。一个不是集合的类被称之为真类