Stable-Angina
发表于 2025-3-26 22:12:20
https://doi.org/10.1007/978-3-662-21762-7In the following discussion we are going to deal with the problem of computability of differential equations, and we will outline some of the most important results achieved in this area, mainly due to K. Weihrauch and N. Zhong. In particular, a large part of the paper will concern the debate about the computability of the wave equation.
母猪
发表于 2025-3-27 03:30:05
http://reply.papertrans.cn/27/2646/264512/264512_32.png
Concrete
发表于 2025-3-27 06:24:40
On Formal Proofs,We address two questions:
机警
发表于 2025-3-27 11:05:03
Experimental Methods in Proofs,The presence of experimental methods in mathematics has been the . of the so called, by Imre Lakatos in , renaissance of empiricism in the philosophy of mathematics.
适宜
发表于 2025-3-27 17:06:46
Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis,I shall deal here with conceptual questions concerning two related phenomena: 1) the use of deductive machinery to verify the correctness of computer programs, and 2) the running of programs on computers to produce proofs.
Cumbersome
发表于 2025-3-27 21:01:21
http://reply.papertrans.cn/27/2646/264512/264512_36.png
解开
发表于 2025-3-27 21:57:01
Computability and Incomputability of Differential Equations,In the following discussion we are going to deal with the problem of computability of differential equations, and we will outline some of the most important results achieved in this area, mainly due to K. Weihrauch and N. Zhong. In particular, a large part of the paper will concern the debate about the computability of the wave equation.
GRIPE
发表于 2025-3-28 05:39:29
http://reply.papertrans.cn/27/2646/264512/264512_38.png
inflame
发表于 2025-3-28 10:12:57
http://reply.papertrans.cn/27/2646/264512/264512_39.png
得意牛
发表于 2025-3-28 13:55:48
http://image.papertrans.cn/d/image/264512.jpg