圆锥
发表于 2025-3-23 09:49:47
https://doi.org/10.1007/978-3-319-96274-0Diophantine Equations; Mathematical Logic; Quantum Logic; Decidability; Number Theory; Modal Logic; Model
paradigm
发表于 2025-3-23 15:36:15
http://reply.papertrans.cn/43/4271/427061/427061_12.png
SEVER
发表于 2025-3-23 18:10:14
Putnam on Foundations: Models, Modals, MuddlesPutnam has famously offered a sketch of a mathematics without foundations, existing in two equivalent descriptions, set-theoretic and modal-logical. Here his proposal is critically examined, with attention to difficulties surrounding both the modal-logical description itself and especially the notion of equivalence of descriptions.
narcotic
发表于 2025-3-23 23:47:08
Pragmatic PlatonismIt is argued that to a greater or lesser extent, all mathematical knowledge is empirical.
Abutment
发表于 2025-3-24 04:45:48
http://reply.papertrans.cn/43/4271/427061/427061_15.png
赤字
发表于 2025-3-24 10:02:23
Putnam on Mathematics as Modal LogicTwo uses of modal logic to explicate mathematics—due primarily to Hilary Putnam and Charles Parsons—are compared and contrasted. The approaches differ both technically and concerning ontology. Some reasons to push the former approach in the direction of the latter are articulated and discussed.
GIBE
发表于 2025-3-24 10:59:01
http://reply.papertrans.cn/43/4271/427061/427061_17.png
暗语
发表于 2025-3-24 17:30:23
Outstanding Contributions to Logichttp://image.papertrans.cn/h/image/427061.jpg
陪审团
发表于 2025-3-24 19:41:13
http://reply.papertrans.cn/43/4271/427061/427061_19.png
错误
发表于 2025-3-25 01:55:53
Roy T. Cook,Geoffrey Hellmanlike IMDB, Amazon, eBay, and more. This large amount of people’s opinions is very valuable for an automatic computing of reputation score for companies. Consequently, developing a system able to generate reputation from textual opinions and their attached rating will be a helpful tool for companies