DC Field | Value | Language |
dc.contributor.author | Михайлова, Н. В. | - |
dc.date.accessioned | 2016-05-12T09:22:53Z | - |
dc.date.accessioned | 2017-07-27T12:10:27Z | - |
dc.date.available | 2016-05-12T09:22:53Z | - |
dc.date.available | 2017-07-27T12:10:27Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Михайлова, Н. В. Системная триада философско-методологических программ обоснования математики / Н. В. Михайлова // Философия науки. - 2009. – № 1. – С. 104 – 117. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/6725 | - |
dc.description.abstract | В работе используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий. | ru_RU |
dc.language.iso | ru | ru_RU |
dc.subject | публикации ученых | ru_RU |
dc.subject | философия математики | ru_RU |
dc.subject | обоснование математики | 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 |
dcterms.publisher | Изд-во Сибирского отделения РАН; Новосибирск | - |
Appears in Collections: | Публикации в зарубежных изданиях
|