闲聊
发表于 2025-3-23 11:08:45
http://reply.papertrans.cn/17/1678/167731/167731_11.png
Gleason-score
发表于 2025-3-23 17:30:30
Beevash Ray MD,Matthew W. Martinez MD, FACChematics. The discussion was part of the second Axiomatic Thinking Meeting, the one in Lisbon. The invited panelists were Peter Koellner, Michael Rathjen and Mark van Atten, and the moderator was Fernando Ferreira.
Narrative
发表于 2025-3-23 20:55:36
https://doi.org/10.1007/978-3-030-77657-2mathematical logic; foundations of mathematics; history of mathematics and logic; philosophy of mathema
注入
发表于 2025-3-23 23:56:42
978-3-030-77659-6Springer Nature Switzerland AG 2022
图表证明
发表于 2025-3-24 04:14:47
http://reply.papertrans.cn/17/1678/167731/167731_15.png
贪婪的人
发表于 2025-3-24 06:49:37
http://reply.papertrans.cn/17/1678/167731/167731_16.png
小木槌
发表于 2025-3-24 12:27:35
http://reply.papertrans.cn/17/1678/167731/167731_17.png
DIKE
发表于 2025-3-24 15:18:57
http://reply.papertrans.cn/17/1678/167731/167731_18.png
混合,搀杂
发表于 2025-3-24 19:38:30
http://reply.papertrans.cn/17/1678/167731/167731_19.png
SAGE
发表于 2025-3-25 01:47:46
http://reply.papertrans.cn/17/1678/167731/167731_20.png