Proof in Mathematics – Today and Tomorrow Cover Image

Dowód w matematyce - dziś i jutro
Proof in Mathematics – Today and Tomorrow

Author(s): Roman Murawski
Subject(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.

  • Issue Year: 21/2013
  • Issue No: 2 (82)
  • Page Range: 201-203
  • Page Count: 3
  • Language: Polish