Buch | Kapitel
Experimental methods in proofs
pp. 65-79
Abstrakt
The presence of experimental methods in mathematics has been the leit-motiv of the so called, by Imre Lakatos in [12], renaissance of empiricism in the philosophy of mathematics.
Publication details
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Seiten: 65-79
DOI: 10.1007/978-88-470-0784-0_4
Referenz:
Lolli Gabriele (2008) „Experimental methods in proofs“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 65–79.