"Специалисты дают самые разные, иногда даже полярные оценки исторической значимости теорем Гёделя. Часть учёных считает, что эти теоремы «перевернули» основания математики или даже всю теорию познания, и значение гениального открытия Гёделя будет постепенно открываться ещё долгое время[20]. Другие же (например, Бертран Рассел) призывают не преувеличивать, поскольку теоремы опираются на финитный формализм Гильберта[21][22].
Вопреки распространённому заблуждению, теоремы о неполноте Гёделя не предполагают, что некоторые истины так и останутся навеки непознанными. Кроме того, из этих теорем не следует, что человеческие способности к познанию так или иначе ограничены. Нет, теоремы всего лишь показывают слабости и недостатки формальных систем[23].
Рассмотрим, например, следующее доказательство непротиворечивости арифметики[24].
Допустим, что аксиоматика Пеано для арифметики противоречива. Тогда из неё можно вывести любое утверждение, в том числе ложное. Однако все аксиомы Пеано очевидным образом истинны, а из истинных утверждений не может следовать ложный вывод — получаем противоречие. Следовательно, арифметика непротиворечива.
С точки зрения повседневной человеческой логики, это доказательство приемлемо и убедительно. Но оно не может быть записано по правилам теории доказательств Гильберта, поскольку в этих правилах семантика заменена на синтаксис, а истинность — на «выводимость»[24]. В любом случае теоремы Гёделя подняли философию математики на новый уровень."
Вопреки распространённому заблуждению, теоремы о неполноте Гёделя не предполагают, что некоторые истины так и останутся навеки непознанными. Кроме того, из этих теорем не следует, что человеческие способности к познанию так или иначе ограничены. Нет, теоремы всего лишь показывают слабости и недостатки формальных систем[23].
Рассмотрим, например, следующее доказательство непротиворечивости арифметики[24].
Допустим, что аксиоматика Пеано для арифметики противоречива. Тогда из неё можно вывести любое утверждение, в том числе ложное. Однако все аксиомы Пеано очевидным образом истинны, а из истинных утверждений не может следовать ложный вывод — получаем противоречие. Следовательно, арифметика непротиворечива.
С точки зрения повседневной человеческой логики, это доказательство приемлемо и убедительно. Но оно не может быть записано по правилам теории доказательств Гильберта, поскольку в этих правилах семантика заменена на синтаксис, а истинность — на «выводимость»[24]. В любом случае теоремы Гёделя подняли философию математики на новый уровень."
Вспомнил как однажды сидел в каком то всратом паблике мемов ВК на протяжение года. Сидел бы и сидел, чё я тут про один из двух стульев рассказываю, да вот изюминка была в местном эвенте, из за которого я в принципе запомнил, что когда-то где-то сидел. Там каждый день, на протяжение года, выкладывали одну и ту же пикчу мопса, которого крутили ровно на 1 градус каждый день. Это было незабываемое ощущение, когда ты всё таки дождался спустя год мопса с сальтухой на 360.
Пацаны из пабликов с пикчами про розыгрыш пачки пельменей через 7 лет, ждите, я знаю одного человечка, который уже в районе этого года будет требовать свой выигрыш.
Пацаны из пабликов с пикчами про розыгрыш пачки пельменей через 7 лет, ждите, я знаю одного человечка, который уже в районе этого года будет требовать свой выигрыш.
Sublimate
Следующие рассказы:
"Латексный куб"
"Латексный куб"
Скоро я напьюсь пива и точно допишу это чудо, а про кошачью мяту я уже забыл к хуям, что я там хотел. Когда нибудь когда то пожалуйста может быть вспомню пожалуйста.