Аннотация
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек.
Для студентов, преподавателей, инженеров и научных работников.
![Физика для любознательных. Том I [Материя, движение, сила.]](https://www.rulit.me/data/programs/images/fizika-dlya-lyuboznatelnyh-tom-i-materiya-dvizhenie-sila_475519.jpg "Настоящий курс написан для тех, кто, не будучи физиком, хотел бы знать эту науку и понимать ее. Книга содержит теоретическую часть, задачи и указания к лабораторным...")
Комментарии к книге "Лекции по математике. Том 6. От Диофанта до Тьюринга"