Творчество в математике. По каким правилам ведутся игры разума

Серия: Мир математики [20]
Скачать бесплатно книгу Альберти Микель - Творчество в математике. По каким правилам ведутся игры разума в формате fb2, epub, html, txt или читать онлайн
Закладки
Читать
Cкачать
A   A+   A++
Размер шрифта
Творчество в математике. По каким правилам ведутся игры разума - Альберти Микель
Автор: Альберти Микель   
Жанр: Научпоп  Документальная литература   
Серия: Мир математики [20] 
Страниц: 24 
Год: 2014 

Отрывок из книги

Можно ли творить без помощи логики? Логика — обязательный элемент математики. Именно логика — залог корректности математических выводов, строгий судья, определяющий их истинность или ложность. Однако математику нельзя свести исключительно к логике. Если бы теоремы можно было вывести с помощью формальных логических правил, с этой задачей вполне справился бы компьютер, выдав нам множество новых теорем. К сожалению, математики обычно публикуют окончательные и проверенные результаты своего труда, не позволяя нам увидеть путь, которым они шли. Должно пройти много времени, прежде чем этот порядок вещей изменится. Математические блюда по-прежнему подаются на роскошной посуде и не содержат ни малейших изъянов. Мудрец-повар пробует свое блюдо снова и снова, пока не решит, что оно готово и его можно подавать. Он ищет ошибки и исправляет их, если находит. Если же в рецепт закралась неустранимая ошибка, такое блюдо немедленно отвергается и возвращается на кухню — именно там, а не в зале ресторана, …