数理逻辑
Search documents
中国现代哲学与现代逻辑的开拓者
Xin Lang Cai Jing· 2025-12-21 19:39
(来源:光明日报) 转自:光明日报 金岳霖(1895年—1984年),著名逻辑学家和哲学家,曾任清华大学哲学系教授、西南联合大学哲学系 教授、北京大学哲学系教授、中国科学院哲学社会科学学部委员和哲学研究所研究员、中国社会科学院 哲学研究所研究员。他一生著述丰硕,在《逻辑》《论道》和《知识论》等著作中建立起一个庞大的新 实在论哲学体系,为我国哲学学科的建设发展作出了开创性贡献。1954年3月24日,光明日报创办《哲 学研究》专刊,金岳霖兼任专刊第一任主编,有力推动了哲学大众化传播。 【哲人追"思"】 金岳霖字龙荪,1895年出生于湖南省长沙市,在长沙度过了基础教育阶段。1911年考入清华学堂; 1914年毕业之后留学美国,1920年获哲学博士学位;1925年回国后,于1926年被聘为清华大学教授,并 推动成立了清华大学哲学系;抗日战争爆发后,他历任长沙临时大学教授、西南联合大学教授;抗战胜 利后,清华大学复原北京,他继续任教授,并担任清华大学哲学系主任和文学院院长;1952年,全国院 系调整后,他担任北京大学教授和哲学系主任;1955年后,任中国科学院哲学研究所一级研究员、副所 长、哲学社会科学学部委员,197 ...
IHES Library:解锁数学物理界的「智慧圣殿」
机器之心· 2025-11-12 13:23
Core Viewpoint - The article highlights the launch of the IHES Library on the Huang Darnian Tea Thinking Technology website, which provides access to a vast collection of academic videos from the Institut des Hautes Études Scientifiques (IHES), featuring lectures from renowned mathematicians and covering various fields of mathematics and physics [3][10]. Group 1: IHES Library Overview - The IHES Library includes 2,369 high-quality academic videos, with 686 courses currently available and 1,683 more to be released, featuring teachings from 8 Fields Medal winners and 479 mathematicians [3][6]. - The platform aims to make the core educational resources of IHES accessible to a global audience, eliminating the need to be physically present in Paris [7]. Group 2: Educational Content - The library offers a mix of classic courses and cutting-edge research interpretations, providing insights into foundational topics like algebraic geometry and modern theoretical physics [10][11]. - Notable courses include Pierre Deligne's exploration of the Weil conjectures, Alain Connes' work on operator algebras, and Maxim Kontsevich's discussions on string theory and geometry [11][12]. Group 3: Interdisciplinary Approach - The IHES Library emphasizes the intersection of mathematics and theoretical physics, showcasing courses that highlight the deep integration of these disciplines [11][12]. - The content is designed to foster a revolutionary way of thinking, encouraging exploration beyond traditional boundaries in science and technology [4][10].