亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
建议保存本图,每天支付宝扫一扫(相册选取)领红包
实时播报
Hello应助独钓者梁采纳,获得10
5秒前
华仔应助HJSPERSUER采纳,获得10
12秒前
14秒前
拾柒完成签到 ,获得积分10
14秒前
独钓者梁发布了新的文献求助10
17秒前
独钓者梁完成签到,获得积分10
24秒前
月初发布了新的文献求助10
39秒前
淡然绝山发布了新的文献求助10
56秒前
1分钟前
1分钟前
ala完成签到 ,获得积分10
1分钟前
Yaoz发布了新的文献求助10
1分钟前
奔跑的神灯完成签到 ,获得积分10
1分钟前
华仔应助科研通管家采纳,获得10
1分钟前
香蕉觅云应助科研通管家采纳,获得10
1分钟前
Lucas应助刘旭东采纳,获得10
1分钟前
翻译度完成签到,获得积分10
1分钟前
Carl完成签到,获得积分10
2分钟前
小杨完成签到,获得积分10
2分钟前
2分钟前
HJSPERSUER完成签到,获得积分10
2分钟前
HJSPERSUER发布了新的文献求助10
2分钟前
传奇3应助Shawn采纳,获得10
3分钟前
小苏和小菊完成签到,获得积分10
3分钟前
ElsaFan完成签到,获得积分10
3分钟前
CipherSage应助陈皮卡采纳,获得10
3分钟前
今后应助胡图图采纳,获得10
3分钟前
3分钟前
陈皮卡发布了新的文献求助10
3分钟前
lunar完成签到 ,获得积分10
3分钟前
3分钟前
CodeCraft应助科研通管家采纳,获得10
3分钟前
ttxs完成签到 ,获得积分10
4分钟前
HAG完成签到,获得积分10
4分钟前
缥缈的飞荷完成签到,获得积分10
5分钟前
lala发布了新的文献求助10
5分钟前
传奇3应助愉快的老三采纳,获得10
5分钟前
lala完成签到,获得积分10
5分钟前
寻道图强给戴哈哈的求助进行了留言
5分钟前
二二君发布了新的文献求助30
5分钟前
高分求助中
Teaching Social and Emotional Learning in Physical Education 1100
The Instrument Operations and Calibration System for TerraSAR-X 800
Lexique et typologie des poteries: pour la normalisation de la description des poteries (Full Book) 400
Sustainable Land Management: Strategies to Cope with the Marginalisation of Agriculture 400
THE EFFECT OF MOLYBDENUM, NICKEL AND COPPER ON THE MICROSTRUCTURE, HARDNESS AND HARDENABILITY OF DUCTILE CAST IRONS 300
A STUDY OF THE EFFECTS OF CHILLS AND PROCESS-VARIABLES ON THE SOLIDIFICATION OF HEAVY-SECTION DUCTILE IRON CASTINGS 300
Polyvinyl alcohol fibers 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2346133
求助须知:如何正确求助?哪些是违规求助? 2048676
关于积分的说明 5107477
捐赠科研通 1783498
什么是DOI,文献DOI怎么找? 891179
版权声明 556610
科研通“疑难数据库(出版商)”最低求助积分说明 475399