Жанр: Учебная, методическая литература и словари, Наука, № 607 в Математика, Учебники
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек.
Для студентов, преподавателей, инженеров и научных работников.
Произведение относится к жанру Учебная, методическая литература и словари, Наука. Оно было опубликовано в 2006 году издательством КомКнига. На нашем сайте можно скачать бесплатно книгу "Лекции по математике. Том 6. От Диофанта до Тьюринга" в формате djvu или читать онлайн. Здесь так же можно перед прочтением обратиться к отзывам читателей, уже знакомых с книгой, и узнать их мнение. В интернет-магазине нашего партнера вы можете купить и прочитать книгу в бумажном варианте.
