Это обновлённая глава про вычислительные модели из будущей книги. Будут ещё добавлены исторический раздел и задачи. Там же есть решение задачи про палиндром.
Со следующего понедельника начинается спецкурс Б.З.Мороза "Диофантовы уравнения". Начало в 18:30, аудитория 419 ГК. Аннотация: Цель этого спецкурса — доказать теорему Ю.В. Матиясевича о диофантовости перечислимых множеств. Из этой теоремы. в частности, следует существование полинома от многих переменных с целыми рациональными коэффициентами, множество положительных значений которого есть множество простых чисел. Разумеется, такого полинома от одной переменной не существует (упражнение !). Теория диофантовых уравнеий — старая и вечно новая область чистой математики. Теорема Матиясевича показывает, что любая (точно поставленная) математическая задача в принципе сводится к поиску решений некоторого диофантова уравнения. Никаких специальных знаний от слушателей курса не предполагается.