libcats.org
Главная →

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

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

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

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

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

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

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Антиквары

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

An introduction to random sets

 Автор:
Категория: Mathematics, Probability
Размер книги: 1.24 Mb

RNA Interference Technology: From Basic Science to Drug Development

 Автор: , Автор: , Автор:
Категория: science_books, biology_genetics
Размер книги: 21.66 Mb

Mehr Bürgerbeteiligung wagen: Wege zur Vitalisierung der Demokratie

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

Hope For the Animals and Their World

 Автор:
Категория: fiction
Размер книги: 8.57 Mb

Tyler Florence's Real Kitchen: An Indespensible Guide for Anybody who Likes to Cook

 Автор: , Автор:
Категория: fiction
Размер книги: 2.77 Mb