沙文主义
发表于 2025-3-28 17:34:20
http://reply.papertrans.cn/43/4206/420514/420514_41.png
nerve-sparing
发表于 2025-3-28 22:10:31
The Significance of Relativistic Computation for the Philosophy of Mathematicsbstract mathematical principles that even exceed standard mathematics and suggests, that such principles might play an explanatory role. I also argue that relativistic computation does not have some of the weaknesses of other hypercomputational models, thus it is particularly attractive for the philosophy of mathematics.
absorbed
发表于 2025-3-29 01:11:37
http://reply.papertrans.cn/43/4206/420514/420514_43.png
Bouquet
发表于 2025-3-29 04:17:53
http://reply.papertrans.cn/43/4206/420514/420514_44.png
Obstacle
发表于 2025-3-29 10:06:34
https://doi.org/10.1007/978-94-011-2630-4ational theory of .(.) is undecidable whenever . includes the boolean operators and composition. We give an exposition of the reduction from the tiling problem and the reduction from the group embedding problem, and summarize what we know about the undecidability of finite membership of .(.) and of .(.) for different signatures ..
潜移默化
发表于 2025-3-29 12:55:28
http://reply.papertrans.cn/43/4206/420514/420514_46.png
陈旧
发表于 2025-3-29 19:11:32
http://reply.papertrans.cn/43/4206/420514/420514_47.png
Flat-Feet
发表于 2025-3-29 22:53:14
http://reply.papertrans.cn/43/4206/420514/420514_48.png
迷住
发表于 2025-3-30 00:49:19
http://reply.papertrans.cn/43/4206/420514/420514_49.png
Infantry
发表于 2025-3-30 05:14:08
http://reply.papertrans.cn/43/4206/420514/420514_50.png