DC Field | Value | Language |
dc.contributor.author | Михайлова, Н. В. | - |
dc.date.accessioned | 2016-05-12T12:05:00Z | - |
dc.date.accessioned | 2017-07-27T12:21:02Z | - |
dc.date.available | 2016-05-12T12:05:00Z | - |
dc.date.available | 2017-07-27T12:21:02Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Михайлова, Н. В. Философско-методологическая проблема непротиворечивости математических теорий / Н. В. Михайлова // Российский гуманитарный журнал. – СПб., 2013. – Том 2, № 6. – С. 523 – 530. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/6730 | - |
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.title | Философско-методологическая проблема непротиворечивости математических теорий | ru_RU |
dc.type | Article | ru_RU |
Appears in Collections: | Публикации в зарубежных изданиях
|