КулЛиб - Классная библиотека! Скачать книги бесплатно
Всего книг - 714647 томов
Объем библиотеки - 1414 Гб.
Всего авторов - 275117
Пользователей - 125172

Новое на форуме

Новое в блогах

Впечатления

A.Stern про Штерн: Анархопокалипсис (СИ) (Фэнтези: прочее)

Господи)))
Вы когда воруете чужие книги с АТ: https://author.today/work/234524, вы хотя бы жанр указывайте правильный и прологи не удаляйте.
(Заходите к автору оригинала в профиль, раз понравилось!)

Какое же это фентези, или это эпоха возрождения в постапокалиптическом мире? -)
(Спасибо неизвестному за пиар, советую ознакомиться с автором оригинала по ссылке)

Ещё раз спасибо за бесплатный пиар! Жаль вы не всё произведение публикуете х)

Рейтинг: 0 ( 0 за, 0 против).
чтун про серию Вселенная Вечности

Все четыре книги за пару дней "ушли". Но, строго любителям ЛитАниме (кароч, любителям фанфиков В0) ). Не подкачал, Антон Романович, с "чувством, толком, расстановкой" сделал. Осталось только проду ждать, да...

Рейтинг: +2 ( 2 за, 0 против).
Влад и мир про Лапышев: Наследник (Альтернативная история)

Стиль написания хороший, но бардак у автора в голове на нечитаемо, когда он начинает сочинять за политику. Трояк ставлю, но читать дальше не буду. С чего Ленину, социалистам, эссерам любить монархию и терпеть черносотенцев,убивавших их и устраивающие погромы? Не надо путать с ворьём сейчас с декорациями государства и парламента, где мошенники на доверии изображают партии. Для ликбеза: Партии были придуманы ещё в древнем Риме для

  подробнее ...

Рейтинг: 0 ( 0 за, 0 против).
Влад и мир про Романов: Игра по своим правилам (Альтернативная история)

Оценку не ставлю. Обе книги я не смог читать более 20 минут каждую. Автор балдеет от официальной манерной речи царской дворни и видимо в этом смысл данных трудов. Да и там ГГ перерождается сам в себя для спасения своего поражения в Русско-Японскую. Согласитесь такой выбор ГГ для приключенческой фантастики уже скучноватый. Где я и где душонка царского дворового. Мне проще хлев у своей скотины вычистить, чем служить доверенным лицом царя

  подробнее ...

Рейтинг: +1 ( 1 за, 0 против).
kiyanyn про серию Вот это я попал!

Переписанная Википедия в области оружия, изредка перемежающаяся рассказами о том, как ГГ в одиночку, а потом вдвоем :) громил немецкие дивизии, попутно дирижируя случайно оказавшимися в кустах симфоническими оркестрами.

Нечитаемо...


Рейтинг: +2 ( 3 за, 1 против).

Читаем Тьюринга [Чарльз Петцольд] (pdf) читать постранично, страница - 2

Книга в формате pdf! Изображения и текст могут не отображаться!


 [Настройки текста]  [Cбросить фильтры]

выговорить без запинки это слово, сделав
ударение на втором слоге и произнеся его как «шай», и знаете, что
оно значит («проблема разрешимости»), у вас все же остается подозрение, что Тьюринг предполагает предварительное знакомство своего читателя с трудными немецкими математическими рукописями.
Беглый просмотр статьи, где для обозначения состояний машины используется готический шрифт, отнюдь не помогает унять эти страхи.
Так может ли читатель в наши дни взяться за статью, опубликованную 70 лет назад в Трудах Лондонского математического общества,
и остаться на плаву достаточно долго, чтобы в полной мере проникнуться ею и, возможно, даже получить от нее удовольствие?

8

 Введение

Обо всем этом – наша книга. Она содержит оригинальную 36-страничную статью Тьюринга «О вычислимых числах применительно к
Entscheidungsproblem»1 и последующие трехстраничные Исправления2, а также вспомогательные главы и развернутые комментарии.
Чтение оригинальной статьи Тьюринга – это уникальное путешествие в его изобретательный и захватывающий образ мыслей, когда
он создает машину, которая имела такие далеко идущие последствия
для вычислений и, больше того, для нашего понимания ограничений
математики, человеческого мышления и, возможно даже, природы
вселенной. (Конечно, самого термина «машина Тьюринга» в статье
Тьюринга нет. Он назвал ее «вычислительной машиной». Но термин
«машина Тьюринга» использовался уже с начала 1937 года3 и с тех
пор остается общепринятым.) В своих комментариях к статье Тьюринга я счел полезным часто прерывать его изложение своими пояснениями и уточнениями. Я пытался (не всегда успешно) не прерывать его посреди предложения. В большей части своих объяснений я
сохранял терминологию и систему обозначений самого Тьюринга, но
время от времени ощущал необходимость ввести термины, которые
Тьюринг не использует, но которые я счел полезными при объяснении его работы.
Текст статьи Тьюринга выделяется затененным фоном:
Мы избежим путаницы, говоря чаще о вычислимых последовательностях, нежели о вычислимых числах.
Мы (то есть мой издатель и я) попытались сохранить типографский набор и верстку оригинальной статьи, за исключением некоторых причуд (таких, как пробелы перед двоеточиями), которые вызывали «панику» в современных текстовых редакторах. Сохранены
все оригинальные разрывы строк. В статье Тьюринга есть несколько
опечаток, ошибок и пропусков. Они оставлены без изменений, но
я обращаю на них внимание в своих комментариях. Тьюринг часто
1

2

3

Turing А. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2nd series, Vol. 42
(1936), pp. 230–265.
Turing А. On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction, Proceedings of the London Mathematical Society,
2nd series, Vol. 43 (1937), pp. 544–546.
Alonzo Church, review of «On Computable Numbers, with an Application to
the Entscheidungsproblem», The Journal of Symbolic Logic, Vol. 2, No. 1 (Mar.
1937), 42–43.

Введение  9
ссылается на предыдущие части своей статьи путем указания номера страницы оригинала в журнале. Я оставил эти ссылки в покое,
но снабдил свои комментарии подсказкой для поиска определенной
страницы в этой книге. Иногда в тексте Тьюринга вы увидите номер
в квадратных скобках:
Если буквы заменить числами, как в §5, мы получим числовое
[243]
описание полной конфигурации, которое можно назвать ее описательным номером.
Это – конец одной и начало следующей страницы оригинала с ее
номером. Мои сноски – номерные; сноски Тьюринга – символьные и
тоже оттенены фоном. Если вы удалите страницы этой книги, вырезав и
выбросив все, что не затенено, а потом склеите вместе остатки, у вас получится полная статья Тьюринга и один несчастный автор. Но гораздо
интереснее, наверное, сначала прочитать эту книгу, а потом вернуться
назад и прочитать саму статью Тьюринга без моих грубых вмешательств.
Статья Тьюринга расположена на страницах 84–362 этой книги,
а исправления к ней – на страницах 349–362. Статья Тьюринга делится на 11 разделов (и приложение), которые начинаются на следующих страницах книги:
1. Вычислительные машины
2. Определения
3. Примеры вычислительных машин
4. Сокращенные таблицы
5. Перечисление вычислимых последовательностей
6. Универсальная вычислительная машина
7. Подробное описание универсальной машины
8. Применение диагонального процесса
9. Пространство вычислимых чисел
10. Примеры больших классов вычислимых чисел
11. Применение к Entscheidungsproblem
Приложение

68
72
79
113
131
143
149
173
190
235
260
290

Первоначальным толчком к написанию Тьюрингом этой статьи
было намерение решить задачу, сформулированную немецким математиком Давидом Гильбертом (1862–1943). Гильберта интересовал
общий процесс определения доказуемости произвольных утвержде-

10  Введение
ний в математической логике. Нахождение этого «общего процесса»
было известно как Entscheidungsproblem (с нем. – «решаемость задачи»). Хотя побуждением к написанию статьи для Тьюринга была,
конечно же,