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
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
Justin完成签到,获得积分10
刚刚
吱吱发布了新的文献求助10
刚刚
if完成签到,获得积分10
1秒前
1秒前
Li应助rky采纳,获得30
1秒前
林森发布了新的文献求助10
2秒前
2秒前
上官若男应助激昂的逊采纳,获得10
3秒前
玩命的元槐完成签到,获得积分10
3秒前
细腻不二应助kangkang采纳,获得30
3秒前
HWY完成签到,获得积分10
3秒前
5秒前
5秒前
麻花阳应助田婧铭采纳,获得10
6秒前
newstrong发布了新的文献求助10
9秒前
可爱的万万亿完成签到,获得积分10
9秒前
10秒前
李健应助少章采纳,获得10
10秒前
10秒前
小柠檬完成签到,获得积分10
10秒前
12秒前
13秒前
朱华彪完成签到,获得积分10
13秒前
未成曲调现有情完成签到,获得积分20
14秒前
今后应助圈圈采纳,获得10
14秒前
orixero应助可爱的万万亿采纳,获得10
15秒前
li完成签到,获得积分10
15秒前
15秒前
风清扬发布了新的文献求助30
16秒前
大力的灵雁应助CMCM采纳,获得200
16秒前
lie发布了新的文献求助30
16秒前
AJ发布了新的文献求助10
16秒前
大力的灵雁应助kangkang采纳,获得10
17秒前
AaronW完成签到,获得积分10
17秒前
禾风完成签到,获得积分10
17秒前
科研通AI6.1应助吱吱采纳,获得10
17秒前
20秒前
20秒前
莫问今生完成签到,获得积分10
20秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Handbook of pharmaceutical excipients, Ninth edition 5000
Aerospace Standards Index - 2026 ASIN2026 2000
Digital Twins of Advanced Materials Processing 2000
Social Cognition: Understanding People and Events 1200
Polymorphism and polytypism in crystals 1000
Signals, Systems, and Signal Processing 610
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 纳米技术 有机化学 物理 生物化学 化学工程 计算机科学 复合材料 内科学 催化作用 光电子学 物理化学 电极 冶金 遗传学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 6037271
求助须知:如何正确求助?哪些是违规求助? 7759086
关于积分的说明 16217173
捐赠科研通 5183176
什么是DOI,文献DOI怎么找? 2773847
邀请新用户注册赠送积分活动 1757061
关于科研通互助平台的介绍 1641421