Dowód w matematyce — dziś i jutro

Roman Murawski

Dowód w matematyce — dziś i jutro

Autor

Roman Murawski Wydział Matematyki i Informatyki, Uniwersytet im. Adama Mickiewicza w Poznaniu

Słowa kluczowe:

proof, formal proof, computer proof, hypercomputation

Abstrakt

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.

Pobrania

Opublikowane

2013-06-01

Jak cytować

Murawski, R. (2013). Dowód w matematyce — dziś i jutro. Filozofia Nauki, 21(2), 201–203. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/725