Repository | Book | Chapter
Experimental methods in proofs
pp. 65-79
Abstract
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.
Pages: 65-79
DOI: 10.1007/978-88-470-0784-0_4
Full citation:
Lolli Gabriele (2008) „Experimental methods in proofs“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 65–79.