Книга: Новый ум короля: О компьютерах, мышлении и законах физики
Глава 4 Истина, доказательство и интуиция
Глава 4
Истина, доказательство и интуиция
Содержание
Оглавление статьи/книги
- Программа Гильберта для математики
- Формальные математические системы
- Теорема Геделя
- Математическая интуиция
- Платонизм или интуиционизм?
- Теоремы геделевского типа как следствие результатов, полученных Тьюрингом
- Рекурсивно нумеруемые множества
- Является ли множество Мандельброта рекурсивным?
- Некоторые примеры нерекурсивной математики
- Похоже ли множество Мандельброта на нерекурсивную математику?
- Теория сложности
- Сложность и вычислимость в физических объектах
Похожие страницы
- Глава 4 Истина, доказательство и интуиция
- Математическая интуиция
- Пример 7-1. Что есть "истина"?
- 10.4. Принцип резолюций и доказательство теорем
- Интуиция (Дзен) и искусство программной надежности: больше гарантий и меньше проверок
- Доказательство достаточной полноты
- Что такое истина?
- Доказательство теоремы
- Доказательство
- Итак, чему же все-таки соответствует истина?
- Доказательство с помощью роботов
- 2.3. Картинка, обещание, доказательство, толчок (действие)