数学机械化与机器证明有什么差别

2025-08-20 13:35

谈科学理论的两种过时

2025-08-13 13:40

只会做研究的人害己坑人

2025-08-10 13:26

祖冲之算圆周率到底有多大贡献

2025-08-07 13:41

达沃斯辩论中的有限生成性

2025-07-28 13:19

解决数学猜想才能看到进展

2025-07-05 13:46

数学系里的水教授

2025-06-28 13:35

谈中国数学家（比如丘成桐）的边缘…

2025-06-22 13:37

本手妙手俗手→2025年高考作文

2025-06-07 13:06

从红白机游戏看存在与时间

2025-06-04 12:27

海德格尔基地问你什么是分析哲学

2025-05-24 12:58

谈谈“知性为自然立法”

2025-05-10 13:02

德勒兹的欲望机器呕吐哲学

2025-05-01 13:05

为什么机器人跑马拉松好像有智能

2025-04-27 12:53

如何用现象学还原处理哲学论文

2025-04-22 13:17

为什么二次元偶像喜欢用颜色来分类

2025-04-14 13:11

Kashiwara拿阿贝尔奖实至名归

2025-03-29 13:07

丘成桐不觉得世界上有天才

2025-03-25 13:02

测不准的菲尔兹奖

2025-03-20 12:56

没有人在乎我知道多少数学知识

2025-03-12 12:52

镜子里的小球是不是客观实在

2025-03-01 13:05

关于叠词叠词的讽刺意味

2025-02-06 13:03

什么是死胡同效应

2025-01-22 13:33

关于黑格尔正反合的底层逻辑

2025-01-18 12:34

疏离型人格不是回避型人格障碍

2025-01-14 13:08

关于文本中的数字符号意义

2025-01-08 12:34

谈丘成桐的《我的几何人生》

2025-01-02 13:02

厌女与厌土博士

2024-12-21 13:27

素朴集合论与摹状词理论

2024-11-16 12:51

老六土博士的小六情结

2024-10-26 12:55

谈符号与物质的二联体

2024-10-22 13:11

谈杰出少年数学示范班（菲尔兹班）

2024-10-15 13:01

谈逻辑学里的真·偷换概念

2024-10-09 12:43

关于求真学院的博士资格考试

2024-10-06 13:15

德里达与小镇做题家

2024-10-03 13:02

二元对立是人类理性思维的基本模式

2024-09-27 12:55

陶哲轩劝退证明大猜想

2024-09-22 12:54

康德的先天范畴表只是权宜之计

2024-09-08 12:43

纯数学搞科研没什么意义

2024-09-04 13:15

文史哲要带你们算圆周率

2024-09-01 12:43

皮尔斯的符号学三分法有多少优越性

2024-08-28 12:59

职业做题家与防自学教材

2024-08-22 12:52

本质的尽头是建构

2024-08-14 12:58

满分老师说要融入血液

2024-08-10 13:04

从私人语言到私人数学

2024-08-06 13:09

讲课是检验数学老师水平的金标准

2024-07-27 12:46

中国数学的闭环三重门

2024-07-14 12:55

牛油果型人格VS洋葱头型人格

2024-07-07 12:57

计算应用数学为何热衷于科普做题

2024-06-26 13:08

笑看阿里数学竞赛的决赛命题范围

2024-06-21 12:56