SNEER 发表于 2025-3-28 16:55:53
9楼凹室 发表于 2025-3-28 21:50:49
9楼Oscillate 发表于 2025-3-29 02:35:40
9楼赞成你 发表于 2025-3-29 04:14:17
9楼Abduct 发表于 2025-3-29 11:05:28
10楼的是兄弟 发表于 2025-3-29 15:14:10
10楼humectant 发表于 2025-3-29 19:12:39
10楼MOT 发表于 2025-3-29 22:43:12
ally examines recent literature in the philosophy of mathema.In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technolo