The Significance of Relativistic Computation for the Philosophy of Mathematics

计算 域代数上的 数学 计算机科学 认识论 符号计算 哲学
作者
Krzysztof Wójtowicz
出处
期刊:Outstanding contributions to logic 卷期号:: 165-183
标识
DOI:10.1007/978-3-030-64187-0_7
摘要

In the paper I discuss the importance of relativistic hypercomputation for the philosophy of mathematics, in particular for our understanding of mathematical knowledge. I also discuss the problem of the explanatory role of mathematics in physics and argue that relativistic computation fits very well into the so-called programming account. Relativistic computation reveals an interesting interplay between the empirical realm and the realm of very abstract 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.

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
高冰冰完成签到 ,获得积分10
刚刚
狐八道完成签到 ,获得积分10
1秒前
向沛山完成签到 ,获得积分10
1秒前
feiyafei完成签到 ,获得积分10
1秒前
胡萝卜完成签到 ,获得积分10
4秒前
5秒前
止咳宝完成签到,获得积分10
6秒前
Racy完成签到 ,获得积分10
7秒前
hhh完成签到 ,获得积分10
8秒前
IyGnauH完成签到 ,获得积分10
10秒前
杂菜流完成签到,获得积分10
11秒前
12秒前
嘟嘟豆806完成签到 ,获得积分0
14秒前
woodword完成签到,获得积分10
15秒前
小蘑菇完成签到 ,获得积分10
16秒前
东方天奇完成签到 ,获得积分10
16秒前
无奈谷芹完成签到 ,获得积分10
18秒前
祈兰完成签到 ,获得积分10
19秒前
21秒前
耸耸完成签到 ,获得积分10
21秒前
Cherry完成签到,获得积分10
21秒前
22秒前
细心的安双完成签到 ,获得积分10
22秒前
吃吃货完成签到 ,获得积分0
23秒前
文艺谷秋完成签到 ,获得积分10
23秒前
布枕头完成签到 ,获得积分10
23秒前
南攻完成签到,获得积分10
24秒前
夏虫完成签到,获得积分10
24秒前
laoxie301发布了新的文献求助10
28秒前
木雨亦潇潇完成签到,获得积分10
32秒前
lzh完成签到 ,获得积分10
34秒前
内向玉兰完成签到 ,获得积分10
35秒前
害怕的冰颜完成签到 ,获得积分10
35秒前
电子屎壳郎完成签到,获得积分10
35秒前
老驴拉磨完成签到 ,获得积分10
35秒前
17完成签到 ,获得积分10
37秒前
queen完成签到,获得积分10
37秒前
英勇的翠风应助SYSUer采纳,获得10
39秒前
monere发布了新的文献求助10
39秒前
strama完成签到,获得积分10
39秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Handbook of pharmaceutical excipients, Ninth edition 5000
Aerospace Standards Index - 2026 ASIN2026 2000
Digital Twins of Advanced Materials Processing 2000
晋绥日报合订本24册(影印本1986年)【1940年9月–1949年5月】 1000
Social Cognition: Understanding People and Events 1000
Polymorphism and polytypism in crystals 1000
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 纳米技术 有机化学 物理 生物化学 化学工程 计算机科学 复合材料 内科学 催化作用 光电子学 物理化学 电极 冶金 遗传学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 6034730
求助须知:如何正确求助?哪些是违规求助? 7745897
关于积分的说明 16206346
捐赠科研通 5181057
什么是DOI,文献DOI怎么找? 2772907
邀请新用户注册赠送积分活动 1756027
关于科研通互助平台的介绍 1640869