Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Computing with mathematical arguments
2013
alama2013computing
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.
In proceedings
Jesse Alama, and Reinhard Kahle
Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel, Gregory Wheeler
New Challenges to Philosophy of Science
The Philosophy of Science in a European Perspective
Springer
-
4
9-22
-
-
-
http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-94-007-5844-5
Export formats
Jesse Alama and and Reinhard Kahle, Computing with mathematical arguments, in: Hanne Andersen and Dennis Dieks and Wenceslao Gonzalez and Thomas Uebel and Gregory Wheeler (eds), New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, Springer, Vol. 4, Pag. 9-22, (http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-94-007-5844-5), 2013.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a> and and Reinhard Kahle, <b>Computing with mathematical arguments</b>, in: Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel and <a href="/people/members/view.php?code=768e30c2109e32d4ad41104cf0167777" class="editor">Gregory Wheeler</a> (eds), <u>New Challenges to Philosophy of Science</u>, The Philosophy of Science in a European Perspective, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 4, Pag. 9-22, (<a href="http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-94-007-5844-5" target="_blank">url</a>), 2013.
@inproceedings {alama2013computing, author = {Jesse Alama and and Reinhard Kahle}, editor = {Hanne Andersen and Dennis Dieks and Wenceslao Gonzalez and Thomas Uebel and Gregory Wheeler}, title = {Computing with mathematical arguments}, booktitle = {New Challenges to Philosophy of Science}, series = {The Philosophy of Science in a European Perspective}, publisher = {Springer}, volume = {4}, pages = {9-22}, url = {http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-94-007-5844-5}, 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.}, year = {2013}, }
Publication's urls
/publications/view.php?code=edfdd144436eec8a3cab9370f118ba9d
/publications/view.php?code=alama2013computing
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT