DC Field | Value | Language |
dc.contributor.author | Михайлова, Н. В. | - |
dc.coverage.spatial | Минск | - |
dc.date.accessioned | 2016-05-12T14:06:46Z | - |
dc.date.accessioned | 2017-07-27T12:26:49Z | - |
dc.date.available | 2016-05-12T14:06:46Z | - |
dc.date.available | 2017-07-27T12:26:49Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Михайлова, Н. В. Философско-методологическая триада программ обоснования современной математики / Н. В. Михайлова // Вестник БГУ. Серия 3. – 2009. – № 2. – С. 39–45. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/6754 | - |
dc.description.abstract | В работе используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий. | ru_RU |
dc.language.iso | ru | ru_RU |
dc.publisher | БГУ | ru_RU |
dc.subject | публикации ученых | ru_RU |
dc.subject | философия математики | ru_RU |
dc.subject | обоснование современной математики | ru_RU |
dc.subject | системный подход | ru_RU |
dc.subject | триада обоснования математики | ru_RU |
dc.title | Философско-методологическая триада программ обоснования современной математики | ru_RU |
dc.type | Article | ru_RU |
Appears in Collections: | Публикации в изданиях Республики Беларусь
|