Titlebook: Deduction, Computation, Experiment; Exploring the Effect Rossella Lupacchini,Giovanna Corsi Book 2008 Springer-Verlag Milan 2008 Applied Ma

Stable-Angina

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.

母豬

Concrete

On Formal Proofs,We address two questions:

機(jī)警

Experimental Methods in Proofs,The presence of experimental methods in mathematics has been the . of the so called, by Imre Lakatos in [12], renaissance of empiricism in the philosophy of mathematics.

適宜

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

解開(kāi)

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

inflame

得意牛

http://image.papertrans.cn/d/image/264512.jpg