沟通 发表于 2025-3-23 09:43:04
第4楼铁塔等 发表于 2025-3-23 17:51:26
第4楼易碎 发表于 2025-3-23 21:53:16
5楼Monolithic 发表于 2025-3-23 23:32:52
5楼AXIOM 发表于 2025-3-24 03:19:20
5楼开花期女 发表于 2025-3-24 08:49:39
5楼古代 发表于 2025-3-24 13:00:37
6楼高度表 发表于 2025-3-24 18:07:20
6楼平淡而无味 发表于 2025-3-24 20:00:06
6楼CLOWN 发表于 2025-3-25 02:18:13
Simon Glynnbeginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert’s program which inherits from Frege and Russell the project t