Proof in Mathematics: Today and Tomorrow

Authors

  • Roman Murawski Faculty of Mathematics and Computer Science , Adam Mickiewicz University in Poznań

Keywords:

proof, formal proof, computer proof, hypercomputation

Abstract

The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Concept of Proof in Mathematics]. It presents the main theses of the book and evaluates them.
20132.png

Downloads

Published

2013-06-01

How to Cite

Murawski, R. (2013). Proof in Mathematics: Today and Tomorrow. The Philosophy of Science, 21(2), 201–203. Retrieved from https://fn.uw.edu.pl/index.php/fn/article/view/725

Issue

Vol. 21 No. 2 (2013): THE PHILOSOPHY OF SCIENCE

Section

Reviews