LINUX.ORG.RU
ФорумTalks

Может, кто знает?


0

0

Что-то под вечер всякая чушь лезет в голову, наверное спать пора.

Вот, например, по Фридбергу следует, что существует язык программирования, на котором любую задачу можно решить единственным способом.

А кто-нибудь пытался написать компилятор/интерпретатор с этого языка, никто не знает? Или это так и осталось теоретической, до сих пор не реализованной конструкцией?

PS матлогика рулит :) интересно было бы посмотреть на такой язычок ;)

★★

Ответ на: комментарий от anonymousI

Инфа взята из книги Верещагин Шень "Вычислимые функции"

http://www.mccme.ru/free-books/

там дана ссылка на Мальцев "Алгоритмы и рекурсивные функции"

доказательство следует из свойств нумераций универсальных функций. правда я не осилил проверить, так что сам принял на веру факт :)

wieker ★★
() автор топика

Это будет выглядеть ужасно и нечитабельно для человека. Думаю, смысла нет заморачиваться.

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

Дык я только ради интереса хочу посмотреть.

К тому же вдруг будет выглядеть наоборот читабельно и красиво? ;))

wieker ★★
() автор топика

> Вот, например, по Фридбергу следует, что существует язык программирования, на котором любую задачу можно решить единственным способом.

чувак, у тебя что оргазм от немецких фамилий?

такой язык не может существовать ровно по той причине по которой невозможно определить что две программы решают одну и ту же задачу.

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

чувак, а у тебя оргазм от пустословия?

я привел ссылки на литературу. это не мои слова

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

>такой язык не может существовать ровно по той причине по которой невозможно определить что две программы решают одну и ту же задачу.

это утверждение справедливо только для главных нумераций.

wieker ★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.