Computing with mathematical arguments

Jesse Alama; Reinhard Kahle

doi:10.1007/978-94-007-5845-2_2

Computing with mathematical arguments

Jesse Alama, Reinhard Kahle

DM - Departamento de Matemática

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	New Challenges to Philosophy of Science
Editors	H. Andersen, D. Dieks, W. Gonzalez, T. Uebel, G. Wheeler
Place of Publication	Dordrecht
Publisher	Springer Netherlands
Pages	9-22
Number of pages	14
ISBN (Electronic)	978-94-007-5845-2
ISBN (Print)	978-94-007-5844-5
DOIs	https://doi.org/10.1007/978-94-007-5845-2_2
Publication status	Published - 1 Jan 2013

Keywords

Epistemic justification
Formal proof
Inferentialism
Mathematics
Philosophy of mathematics

Access to Document

10.1007/978-94-007-5845-2_2

Cite this

@inbook{17cd06abb93f4e538ee88f965d9f8b54,

title = "Computing with mathematical arguments",

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.",

keywords = "Epistemic justification, Formal proof, Inferentialism, Mathematics, Philosophy of mathematics",

author = "Jesse Alama and Reinhard Kahle",

note = "Both authors were supported by the ESF research project Dialogical Foundations of Semantics within the ESF Eurocores program LogICCC (fundedby the Portuguese Science Foundation, FCT LogICCC/0001/2007). The second author was also supported by the FCT-project Hilbert{\textquoteright}s Legacy in the Philosophy of Mathematics, PTDC/FIL-FCI/109991/2009.",

year = "2013",

month = jan,

day = "1",

doi = "10.1007/978-94-007-5845-2_2",

language = "English",

isbn = "978-94-007-5844-5",

pages = "9--22",

editor = "H. Andersen and D. Dieks and W. Gonzalez and T. Uebel and G. Wheeler",

booktitle = "New Challenges to Philosophy of Science",

publisher = "Springer Netherlands",

address = "Netherlands",

}

TY - CHAP

T1 - Computing with mathematical arguments

AU - Alama, Jesse

AU - Kahle, Reinhard

N1 - Both authors were supported by the ESF research project Dialogical Foundations of Semantics within the ESF Eurocores program LogICCC (fundedby the Portuguese Science Foundation, FCT LogICCC/0001/2007). The second author was also supported by the FCT-project Hilbert’s Legacy in the Philosophy of Mathematics, PTDC/FIL-FCI/109991/2009.

PY - 2013/1/1

Y1 - 2013/1/1

N2 - 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.

AB - 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.

KW - Epistemic justification

KW - Formal proof

KW - Inferentialism

KW - Mathematics

KW - Philosophy of mathematics

UR - http://www.scopus.com/inward/record.url?scp=85031417256&partnerID=8YFLogxK

U2 - 10.1007/978-94-007-5845-2_2

DO - 10.1007/978-94-007-5845-2_2

M3 - Chapter

AN - SCOPUS:85031417256

SN - 978-94-007-5844-5

SP - 9

EP - 22

BT - New Challenges to Philosophy of Science

A2 - Andersen, H.

A2 - Dieks, D.

A2 - Gonzalez, W.

A2 - Uebel, T.

A2 - Wheeler, G.

PB - Springer Netherlands

CY - Dordrecht

ER -

Computing with mathematical arguments

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this