#алан_тьюринг — Public Fediverse posts

Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?

https://habr.com/ru/articles/1028638/

#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы

Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

Аннотация В 1936 году Алан Тьюринг, пытаясь формализовать пределы вычислений, сформулировал вопрос, навсегда изменивший не только компьютерную науку, но и наше понимание границ познания. Этот вопрос — известная как «Проблема остановки» — звучит обманчиво просто: можно ли создать алгоритм, который, анализируя код любой программы и её входные данные, заранее и безошибочно определит, завершится ли её работа или же она уйдёт в бесконечный цикл? Казалось бы, речь идёт о чисто технической задаче, мечте каждого программиста об идеальном отладчике. Однако ответ Тьюринга, уместившийся в элегантное и почти язвительное доказательство от противного, оказался оглушительным: нет, такой алгоритм принципиально невозможен. В этой статье мы не только разберём суть этого гениального доказательства, которое построено на самореференции и логическом парадоксе, подобном «лжецу», но и визуализируем его ход с помощью наглядного кода в MATLAB, превратив абстрактную логику в динамическую демонстрацию. Мы увидим, как гипотетическая «всезнающая» программа H неминуемо запутывается в сетях, расставленных специально сконструированной программой-провокатором , приводя к неразрешимому противоречию в любом исходе. Это открытие — не просто академическая курьёзность. Оно устанавливает фундаментальный, алгоритмический предел: существуют чётко поставленные вопросы, на которые мы никогда не получим однозначный «да» или «нет» от любой вычислительной машины. Мы проследим глубокую связь этого результата с теоремой Гёделя о неполноте, обсудим другие неразрешимые проблемы, такие как проблема соответствия Поста, и затронем трезвые последствия для современной разработки, верификации программ и даже для мечтаний о создании всесильного искусственного интеллекта. Эта история — о том, как осознание непреодолимой границы стало одним из самых мощных интеллектуальных достижений человечества, чётко очертив то, что мы можем знать, и указав на бескрайние области того, что мы знать не в силах.

https://habr.com/ru/articles/981908/

#Проблема_остановки #Алан_Тьюринг #Неразрешимость #Машина_Тьюринга #Доказательство #Самореференция #Пределы_вычислений #Теорема_Гёделя #matlab #логика

Отладка депрессии: история о том, как инженеры починили психологию

Это история о том, как три математика, решавшие сугубо прикладные задачи, сами того не ведая, передали психологам набор отмычек к самой непостижимой системе на свете. К человеческому разуму

https://habr.com/ru/articles/956750/

#психология #кпт #когнитивноповеденческая_терапия #мышление #обратная_связь #клод_шеннон #алан_тьюринг #норберт_винер #аарон_бек

Отладка депрессии: история о том, как инженеры починили психологию

Это история о том, как три математика, решавшие сугубо прикладные задачи, сами того не ведая, передали психологам набор отмычек к самой непостижимой системе на свете. К человеческому разуму

https://habr.com/ru/articles/956750/

#психология #кпт #когнитивноповеденческая_терапия #мышление #обратная_связь #клод_шеннон #алан_тьюринг #норберт_винер #аарон_бек

Отладка депрессии: история о том, как инженеры починили психологию

Это история о том, как три математика, решавшие сугубо прикладные задачи, сами того не ведая, передали психологам набор отмычек к самой непостижимой системе на свете. К человеческому разуму

https://habr.com/ru/articles/956750/

#психология #кпт #когнитивноповеденческая_терапия #мышление #обратная_связь #клод_шеннон #алан_тьюринг #норберт_винер #аарон_бек

Отладка депрессии: история о том, как инженеры починили психологию

Это история о том, как три математика, решавшие сугубо прикладные задачи, сами того не ведая, передали психологам набор отмычек к самой непостижимой системе на свете. К человеческому разуму

https://habr.com/ru/articles/956750/

#психология #кпт #когнитивноповеденческая_терапия #мышление #обратная_связь #клод_шеннон #алан_тьюринг #норберт_винер #аарон_бек

Машина «Энигма» и победа над ней

Энигма была самым продвинутым шифровальным устройством своего времени и казалась неуязвимой. Она использовалась по всей военной системе Третьего рейха — от подводных лодок до штаба СС. Её взлом потребовал терпения, математики и человеческого фактора. В этой статье — как появилась Энигма, кто первым раскрыл её слабости и какую роль в этом сыграл Алан Тьюринг.

https://habr.com/ru/articles/932484/

#Enigma #алан_тьюринг #криптография #вторая_мировая_война #энигма #alan_turing #история

«Крестный отец ИИ»: Алан Тьюринг и его Intelligent Machinery

В январе 1947 года Тьюринг отправился в Америку в турне по ознакомлению с мейнфреймами с электронным хранилищем программ, а по возвращении 20 февраля 1947 года выступил с лекцией в Лондонском математическом обществе. В этот день в зале Королевского астрономического общества в Берлингтон-хаусе на улице Пикадилли в Лондоне он впервые публично рассказал о своем видении компьютерного интеллекта — «машинах, способных учиться на собственном опыте».

https://habr.com/ru/companies/onlinepatent/articles/921012/

#алан_тьюринг #история #биография #искусственный_интеллект #ии