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