Имя:
Пароль:


a b c d e f g h i j k l m n o p q r s t u v w x y z    0 1 2 3 4 5 6 7 8 9 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я 

Скачать Машины Тьюринга и рекурсивные функции бесплатно

25 апреля 2009 | Автор: Admin | Рубрика: Научная литература » Математика | Комментариев: 0
Хочется надеяться, что эта книга найдет читателей, готовых на некоторые усилия для того, чтобы войти в круг идей теории рекурсивных функций — теории, одним из замечательных результатов которой является, например, теорема Гёделя о неполноте. Речь идет о вопросах, при обсуждении которых наш обыденный язык становится неоднозначным и недостаточно точным; он обладает привлекательной, но для наших целей губительной способностью выражать разнообразные смысловые оттенки и сложные намеки. Это наводит на мысль построить некий сакральный (или, говоря более прозаично, формальный) язык, обладающий небольшим, но достаточным для нашего исследования запасом символов (логических, например) и немногими правилами их соединения, так чтобы его использование гарантировало точность и однозначность выводов. Помимо этого, мы опишем устройство и действие
так называемых машин Тьюринга, каждая из которых работает согласно своему неизменному закону вдоль неограниченной в одну сторону писчей ленты: печатает на ней, стирает прежние записи и, возможно, прекращает работу после получения решения.

http://rapidshare.com/files/362985/Ebbinhaus.djvu

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.
]