Filozofia i logika intuicjonizmu

Filozofia i logika intuicjonizmu

At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the...

Full description

Bibliographic Details
Main Author: Marlena Fila
Format: Article
Language:English
Published: Pontifical University of John Paul II in Krakow, Faculty of Philosophy 2015-09-01
Series:Semina Scientiarum
Subjects:
intuitionism; axioms; matrices truth-; Heyting system; Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system; infinite sequence of matrices
Online Access:http://czasopisma.upjp2.edu.pl/seminascientiarum/article/view/1077/1457

Similar Items

Similar Items