Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/6754
Title: Философско-методологическая триада программ обоснования современной математики
Authors: Михайлова, Н. В.
Keywords: публикации ученых;философия математики;обоснование современной математики;системный подход;триада обоснования математики
Issue Date: 2009
Publisher: БГУ
Citation: Михайлова, Н. В. Философско-методологическая триада программ обоснования современной математики / Н. В. Михайлова // Вестник БГУ. Серия 3. – 2009. – № 2. – С. 39 – 45.
Abstract: В работе используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий.
URI: https://libeldoc.bsuir.by/handle/123456789/6754
Appears in Collections:Публикации в изданиях Республики Беларусь

Files in This Item:
File Description SizeFormat 
221101.pdf483.66 kBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.