Рецензия на «Математическая логика и теорема Курта Гёделя» (Игорь Гарин)

"Теорему Гёделя о неполноте арифметики часто называют самым монументальным интеллектуальным достижением невероятной глубины и силы.
С философской точки зрения это подразумевает, что любое высказывание самонедостаточно и самопротиворечиво. После открытий Курта Гёделя и других математиков стало ясно, что идея абсолютного и окончательного обоснования математики, как и полной формализации научного знания, вообще несостоятельна. Или чуть по-иному: «объективная истина» — фикция..."

- Я согласен с этим утверждением и даже добавил бы что не только арифметика но и вся наука в целом мягко говоря "неполна и относительна", однако способ доказательства этой теоремы мне показался тоже как неполным, так и относительным и родилась идея написать на эту тему статью. У меня при изучении парадоксов науки часто появляется ощущение, что некоторые именитые ученные сначала создают проблему, а потом успешно ее решают!)
но в целом поднятая тема мне показалась основательной и вызывающей интерес.

Александр Дагай   01.10.2019 11:01   •   Заявить о нарушении