construct
发表于 2025-3-25 04:03:34
Semantic Nominalism: How I Learned to Stop Worrying and Love Universalsf science be taken at face value, even when involving putative reference to mathematical entities; and that referents of mathematical terms are identified and their possible relations to other objects specified. In his view, abstraction principles provide representatives for equivalence classes of s
半导体
发表于 2025-3-25 09:37:08
http://reply.papertrans.cn/71/7003/700227/700227_22.png
新手
发表于 2025-3-25 15:08:32
http://reply.papertrans.cn/71/7003/700227/700227_23.png
营养
发表于 2025-3-25 19:31:09
http://reply.papertrans.cn/71/7003/700227/700227_24.png
tattle
发表于 2025-3-25 21:51:34
Epistemology, Ontology and Application in Pincock’s Accountal beliefs follows from the adoption of semantic realism for mathematical statements combined with a form of internalism about mathematical concepts . The resulting framework seems to clash with Pincock’s proposal of an “extension-based” epistemology for pure mathematics , in t
oracle
发表于 2025-3-26 02:24:51
http://reply.papertrans.cn/71/7003/700227/700227_26.png
墙壁
发表于 2025-3-26 08:02:53
http://reply.papertrans.cn/71/7003/700227/700227_27.png
闲聊
发表于 2025-3-26 09:16:40
The Search for New Axioms in the Hyperuniverse Programmerocedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the ‘maximal iterative concept’, and the programme identif
Mawkish
发表于 2025-3-26 13:44:19
http://reply.papertrans.cn/71/7003/700227/700227_29.png
cortex
发表于 2025-3-26 19:55:07
http://reply.papertrans.cn/71/7003/700227/700227_30.png