libcats.org
Главная →

Проблема четырех красок: неоконченная история доказательства

Обложка книги Проблема четырех красок: неоконченная история доказательства

Проблема четырех красок: неоконченная история доказательства

Излагается история теоремы о четырех красках. Ее чрезвычайно длинное доказательство, притом использующее компьютер для проверки части утверждений, вызывает вопрос о том, что понимать под доказательством в математике и каково ее место среди других точных наук. Приведены некоторые эквивалентные формулировки и обобщения. В статье доказывается соответствующая теорема о пяти красках
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Шаги в пустоте

 Автор:
Категория: Поэзия
Размер книги: 25 Kb

Заклание волков

 Автор:
Категория: Детектив
Размер книги: 330 Kb

Дэвид Моррелл. Черный вечер (сборник)

 Автор:
Размер книги: 545 Kb

The Black Cauldron

 Автор:
Категория: Фэнтези
Размер книги: 662 Kb

Basiswissen Urologie

 Автор:
Размер книги: 6.09 Mb