Всем привет! Я — философ науки и техники и технический писатель. Последние пару лет мою профессию регулярно «хоронят». Большие языковые модели всё лучше пишут документацию, а если вы работаете с текстами, кодом или другим цифровым контентом, то наверняка и сами уже заметили, как меняется привычный процесс работы. Кажется, что ИИ научился делать всё больше задач, которые раньше выполнял человек. Но производство текста, кода и другого контента лишь верхушка айсберга любой IT-профессии. В первой частиЧитать полностью »
Рубрика «теорема Гёделя»
ИИ заберёт тексты и код. Но это никогда не было главной работой человека. Часть 2
2026-09-16 в 12:08, admin, рубрики: бизнес-задачи, искусственный интеллект, ограничения ИИ, Постановка задачи, принятие решений, рамка задачи, системное мышление, теорема Гёделя, требования, формальные системыДжоэл Хэмкинс: бесконечность, математическая реальность и теоремы Гёделя
2026-08-12 в 22:59, admin, рубрики: математическая логика, теорема ГёделяФилософия математики была бы гораздо проще, если бы не бесконечность. Само это понятие кажется вполне естественным, но стоит отнестись к нему всерьез, как мы сталкиваемся с парадоксальными результатами, противоречащими интуиции. Как отмечает в этой беседе математик и философ Джоэл Дэвид Хэмкинс, когда мы говорим, что натуральные числа - это «0, 1, 2, 3 и так далее», выражение «и так далее» остается безнадежно неопределенным. Мы обсуждаем различные подходы к осмыслению загадок бесконечности, возможные способы их разрешения и то, какие следствия все это имеет для математического реализма.
Почему наш мир — это забагованная ОС. IT-метафора гностиков
2025-08-05 в 18:46, admin, рубрики: гипотеза симуляции, гностицизм, постпозитивизм, теорема Гёделя, трансгуманизм, философия
Реализм против платонизма. Неполнота Гёделя, неразрешимость Тьюринга и физические основания математики
2025-07-08 в 10:51, admin, рубрики: квантовый компьютер, машина Тьюринга, основания математики, платонизм, проблема остановки, проблема разрешимости, тезис Чёрча-Тьюринга, теорема Гёделя, теория множеств
Шесть уровней метавселенной математики
2022-01-29 в 15:54, admin, рубрики: математика, Научно-популярное, теорема Гёделя, теория множествКогда я был маленький, я думал, что математика - это очень формальная наука. Как бы не так! Когда о нас, математиках, говорят как о сухарях — это ложь! (с) 17 мгновений весны.
Почему теорему Гёделя о неполноте сложно доказать: дело в формулировках, а не только в сути
2018-10-23 в 4:56, admin, рубрики: Занимательные задачки, математика, осторожность, парадокс Берри, парадокс Рассела, самореференция, теорема ГёделяГрубо говоря, теорема Гёделя о неполноте утверждает, что существуют истинные математические утверждения, которые невозможно доказать. Когда я был в 11-м классе, мы втроём с учителем геометрии г-н Олсеном и моим другом Умой Рой провели пять недель, читая оригинальное доказательство Гёделя. Почему так долго? Отчасти потому, что мы были ещё школьниками. Отчасти потому, что 24-летний Гёдель был не самым талантливым писателем. Но главным образом потому, что доказательство на самом деле довольно трудное.
Это может показаться удивительным, ведь всё доказательство по сути можно уместить в один абзац. Гёдель начинает с построения математического утверждения, по существу эквивалентного предложению,
Это утверждение невозможно доказать.
Затем Гёдель рассматривает, что будет в случае, если это утверждение ложно.Читать полностью »