Dowód w matematyce - dziś i jutro
Proof in Mathematics – Today and Tomorrow
Author(s): Roman MurawskiSubject(s): Philosophy
Published by: Uniwersytet Warszawski - Wydział Filozofii i Socjologii, Instytut Filozofii
Keywords: proof; formal proof; computer proof; hypercomputation
Summary/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.
Journal: Filozofia Nauki
- Issue Year: 21/2013
- Issue No: 2 (82)
- Page Range: 201-203
- Page Count: 3
- Language: Polish
