计算
域代数上的
数学
计算机科学
认识论
符号计算
哲学
出处
期刊:Outstanding contributions to logic
日期:2021-01-01
卷期号:: 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