Computing with mathematical arguments
pp. 9-22
Abstract
Thanks to developments in the last few decades in mathematical logic and computer science, it has now become possible to formalize non-trivial mathematical proofs in essentially complete detail. we discuss the philosophical problems and prospects for such formalization enterprises. We show how some perennial philosophical topics and problems in epistemology, philosophy of science, and philosophy of mathematics can be seen in the practice of formalizing mathematical proofs.
Publication details
Published in:
Andersen Hanne, Dieks Dennis, Uebel Thomas, González Wenceslao J., Wheeler Gregory (2013) New challenges to philosophy of science. Dordrecht, Springer.
Pages: 9-22
DOI: 10.1007/978-94-007-5845-2_2
Full citation:
Alama Jesse, Kahle Reinhard (2013) „Computing with mathematical arguments“, In: H. Andersen, D. Dieks, T. Uebel, W. J. González & G. Wheeler (eds.), New challenges to philosophy of science, Dordrecht, Springer, 9–22.