艾伦·麦席森·图灵（英语：Alan Mathison Turing，1912年6月23日~1954年6月7日），英国计算机科学家、数学家、逻辑学家、密码分析学家、理论生物学家，“计算机科学之父”、“人工智能之父”，英国皇家学会院士。艾伦·麦席森·图灵于1935年当选为剑桥大学国王学院研究员；1936年提出被称为图灵机的逻辑机通用模型；...
威廉姆·斯坦利·杰文斯生于利物浦,英国著名的经济学家和逻辑学家。 威廉姆·斯坦利·杰文斯在逻辑学上有很大的成就,1864年他出版了一本小书,名字是《纯逻辑,或数与量之间的逻辑》,其基础是乔治·布尔的逻辑体系,但摒除了他认为错误的数学外衣。 随后几年,威廉姆·斯坦利·杰文斯致力于研究逻辑机器,正是这个研究,他...
伯特兰·阿瑟·威廉·罗素，英国数学家、哲学家、逻辑学家和公共知识分子。他对数学、逻辑学、集合论、语言学、人工智能、认知科学、计算机科学和分析哲学的各个领域，特别是数学哲学、语言哲学、认识论和形而上学都有相当大的影响。他是20世纪早期最杰出的逻辑学家之一，是分析哲学的创始人之一。罗素和他的老师一起...
作为一位逻辑学家,伯特兰·罗素甚至被看作是亚里士多德以来最伟大的逻辑学家。伯特兰·罗素在逻辑学方面的主要贡献, 即:1.在数学逻辑方面的贡献是举世公认的,伯特兰·罗素和怀特海合作的《数学原理》一书已被公认为现代数理逻辑这门科学的奠基石。 2.提出的“罗素悖论”刺激和推动了20世纪逻辑学的发展,他的类型理...
胡世华（1912年1月28日-1998年4月11日），又名胡子华，祖籍浙江吴兴，出生于上海，数理逻辑学家、计算机科学家，中国科学院院士。1935年毕业于北京大学。1936－1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。他...
逻辑学家型人格（INTP-A / INTP-T，Logician Personality）是16型人格（16personalities）中的一种人格类型。其中I代表内倾（Introversion），N代表直觉（iNtuition），T代表思维（Thinking），P代表感知（Perception）。INTP-A和 INTP-T是两种主要的INTP亚型，A亚型的INTP往往更自信和直率，而T亚型的INTP则更容易紧张...
作为一位逻辑学家,伯特兰·罗素甚至被看作是亚里士多德以来最伟大的逻辑学家。伯特兰·罗素在逻辑学方面的主要贡献, 即:1.在数学逻辑方面的贡献是举世公认的,伯特兰·罗素和怀特海合作的《数学原理》一书已被公认为现代数理逻辑这门科学的奠基石。 2.提出的“罗素悖论”刺激和推动了20世纪逻辑学的发展,他的类型理...
INTP,即“逻辑学家”或“思想家”型人格,是Myers-Briggs Type Indicator(MBTI)分类中的一种独特类型,融合了内向(Introverted)、直觉(Intuition)、思维(Thinking)和知觉(Perceiving)四个维度的特质。 这个词的英文单词是“logician”,除了逻辑学家以外,还有论理学家(不是伦理学)的意思。逻辑学作为一门古老且重要的学...