To What Extent Contemporary Mathematical Science is Reliable

Cover Page

Abstract


The crisis in foundation of mathematics at the end of 19th beginning of 20th centuries initiated a number of axiomatic set theoretical systems during the first half of the 20th century. These systems were the result of different philosophical approaches (in view of second Godel's Theorem) aimed at overcoming of the above crisis. But the way out of this situation has never been found.
In my article I offer a new approach to solve this problem using a basic axiomatic system of the set theory with intuitionistic logic. I will present a lot of mathematical results having been obtained during the last forty years. We will survey the development of the set theory with the intuitionistic logic underlining the main points and formulating unsolved problems and describe the basic system of the intuitionistic set theory.

Valery Kh Khakhanian

tu@miit.ru <mailto:tu@miit.ru>
Moscow State University of Railway Communications

Moscow State University of Railway Communications

References in Roman alphabet are in a PDF file of the article

Views

Abstract - 11

PDF (Russian) - 10


Copyright (c) 2016 Philosophy