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: | Публикации в изданиях Республики Беларусь
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.