| Title: | Системная триада философско-методологических программ обоснования математики |
| Authors: | Михайлова, Н. В. |
| Keywords: | публикации ученых;философия математики;обоснование математики;системный подход;системная триада обоснования математики;формализм;интуиционизм;платонизм |
| Issue Date: | 2009 |
| Citation: | Михайлова, Н. В. Системная триада философско-методологических программ обоснования математики / Н. В. Михайлова // Философия науки. - 2009. – № 1. – С. 104 – 117. |
| Abstract: | В работе используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/6725 |
| Appears in Collections: | Публикации в зарубежных изданиях
|
