hermitage
发表于 2025-3-28 16:18:13
http://reply.papertrans.cn/17/1627/162610/162610_41.png
oxidant
发表于 2025-3-28 22:39:55
http://image.papertrans.cn/b/image/162610.jpg
Melanoma
发表于 2025-3-28 23:16:48
https://doi.org/10.1007/978-3-030-50273-7foundations of mathematics; theory of Lie groups; commutative algebra; Galois and Fields theory; computa
一骂死割除
发表于 2025-3-29 03:53:46
978-3-030-50275-1Springer Nature Switzerland AG 2020
充气女
发表于 2025-3-29 08:06:42
http://reply.papertrans.cn/17/1627/162610/162610_45.png
激怒某人
发表于 2025-3-29 13:24:17
Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Metamathematics,gram (Cognitive Metamathematics). Specifically, we briefly revise the notions of propositional and predicative logic, the most outstanding logical frameworks for modern mathematics (e.g., ZFC and NBG set theory, Peano arithmetic), and the notion of category and some of its derived notions. Moreover,
Graves’-disease
发表于 2025-3-29 19:07:47
General Considerations for the New Cognitive Foundations’ Programcs and (the corresponding parts of) logic (founding parts of mathematics) from a multidisciplinary perspective. The main challenges and cornerstones of this new program are described. Additionally, fundamental aspects of the cognitive substratum of (current formalizations of the notion of) mathemati
LAIR
发表于 2025-3-29 20:28:02
Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Realityal scenarios. Thus, the ontological reality of mathematics is supported, at least partially, in the physical realm. On the other hand, we claim that mathematics plays an existential structural role within the whole (meta-)physical reality, which is supported by the meta-cosmological fact that one of