LINUX.ORG.RU
Форум — Talks  

тезич чёрча-тьюринга


1

0

Тезис Тьюринга-Чёрча не доказывается, да? К чему ведёт его отрицание? К
выносу мозга, но не к противоречию. Из отрицания тезиса Тьюринга-Чёрча
следует 1) огромная ущербность человеческого разума, который не в
состоянии организовать мышление (или придумать достаточно мощный язык
программирования), чтобы, ну, записать решение задачи останова. 2) к
существованию сверхчеловеческой мысли (актульному или потенциальному),
которая способна создать сверхмашину Тьюринга для решения задач
останова (в том числе, и останова сверхмашины Тьюринга).

Принимать тезис Тьюринга-Чёрча — удел слабых.

Удел сильных — вынос мозга (грибы и другие вещества), повяление на земле
сверхчеловека, сверхразума и сверхмашины Тьюринга.

Да, рассматривались машины с бесконечным числом инструкций, которые
имели бы бо́льшую вычислительную способность. Но это не совсем то.

★★★★★
← Что можно сделать с виниловым проигрывателем
[нытьё] [реквестирую телепатов] судьба Kdevelop →

Чего только наркоши не насочиняют для своего оправдания.

gkrellm
()

> Принимать тезис Тьюринга-Чёрча — удел слабых.
Надо запомнить.

power ★
()

а Гёделя надо расстрелять без права переписки!

jtootf ★★★★★
()

Может кто-нибудь процитирует википедию? А то я слишком тру.

cvb ★
()

> которая способна создать сверхмашину Тьюринга для решения задач останова (в том числе, и останова сверхмашины Тьюринга).

так человек -- это же и есть сверхмашина Тьюринга, которую создали по образу и подобию другой сверхмашины Тьюринга.

http://en.wikipedia.org/wiki/Hypercomputation

dilmah ★★★★★
()

Ну как-бы...

1)Берешь простейший Тьюринг эквивалентный язык программирования. Одну шткуку

2)Берешь невычислимую функцию. Одну штуку.

Добавляешь ее в язык, как базовую ф-цию. Много думаешь...

Не спрашивай, как физически реализовать такую машину =)

Waterlaz ★★★★★
()

Считаем мозг физическим устройством. Если допустить существование "души" или её аналога, она тоже получится физической. Если считаешь, что существует нематериальный бог, который воспроизводимо думает твои мысли за тебя, дальнейший разговор бессмысленен, можешь возвращаться в психушку или на паперть. Если нет, тезис приходит к форме: «Любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга.»

Отрицать этот тезис — расписаться в собственном бессилии. «Да, функцию можно вычислить, но я её переложить для машины не могу.» Никакого выноса мозга, никаких потенциальных сверхлюдей, просто нежелание работать.

Если же такая функция найдётся, то именно попытка реализовать её на машине Тьюринга приведёт к созданию сверхмашины Тьюринга. Другого пути я не вижу.

question4 ★★★★★
()
Ответ на: комментарий от Waterlaz

> 2)Берешь невычислимую функцию. Одну штуку. Добавляешь ее в язык, как базовую ф-цию. Много думаешь...

фишка в том что достаточно добавить источник случайных чисел (или ошибок) -- что физически реализуемо.

dilmah ★★★★★
()

Ничего, окончишь школу, поступишь в институт. Там будет курс логики и у тебя будет шанс понять в чем ты ошибался

DNA_Seq ★★☆☆☆
()
Ответ на: комментарий от dilmah

Так прикол не в этом. А в том что основой всей математики является некий набор базовых операций. И соответсвенно Тьюрингом пропостулирован этот минимум как допустим аксиомы в геометрии. И соответственно достаточно что если машина будет уметь делать эти операции то она потенциально может вычислить и все их производные при наличии N-го количества времени

DNA_Seq ★★☆☆☆
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← Что можно сделать с виниловым проигрывателем
Talks
[нытьё] [реквестирую телепатов] судьба Kdevelop →