УДК 16
Светлов В.А.
ПОЧЕМУ МАТЕМАТИКА ТРЕБУЕТ ОБОСНОВАНИЯ
Петербургский государственный университет путей сообщения,
Санкт-Петербург, Московский пр., 9, 190031
UDK 16
Svetlov V.A.
WHY MATHEMATICS REQUIRES JUSTIFICATION
Petersburg State Transport University,
Sanct-Petersburg, Moscow av. 9, 190031
В статье исследуются возможные программы обоснования необходимой истинности утверждений математики.
Ключевые слова: математика, платонизм в математике, логицизм, интуиционизм, конструктивизм, формализм.
In article possible programs of justification of necessary validity of mathematical statements are investigated.
Keywords: mathematics, platonism in mathematics, logicism, intuitionism, constructivism. formalism.