GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.2 (4)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: О теореме Гёделя
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 19 июл 18 7:30
Давайте поспорим о вкусе гуавы с тем, кто её ел
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: О теореме Гёделя
Добавлено: 19 июл 18 9:56
Рассуждать о математических теоремах в стиле нравится-ненравиться не серьезно. Как и использовать бытовую "мудрость".
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 19 июл 18 20:15
Не все математические теоремы одинаково полезны
[Ответ][Цитата]
ЭСГТР
Сообщений: 8449
На: О теореме Гёделя
Добавлено: 24 июл 18 8:24
Цитата:
Автор: Кусаюсь

Рассуждать о математических теоремах в стиле нравится-ненравиться не серьезно. Как и использовать бытовую "мудрость".
нравится-не нравиться.... это основа Разума. То что разумным нравится - остальным пофигу.
[Ответ][Цитата]
ЭСГТР
Сообщений: 8449
На: О теореме Гёделя
Добавлено: 24 июл 18 8:24
Цитата:
Автор: Вольфрамовый клапан

Не все математические теоремы одинаково полезны
А главное - красивы.
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 24 июл 18 8:44
Красота — хрен с ней, лишь бы работало
[Ответ][Цитата]
гость
83.220.237.*
На: О теореме Гёделя
Добавлено: 24 июл 18 11:41
Цитата:
Автор: Вольфрамовый клапан

Красота — хрен с ней, лишь бы работало

Гёдель прекрасно работает.
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 24 июл 18 17:02
Можете сформулировать теорему, недоказуемую в рамках современной евклидовой аксиоматики?
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: О теореме Гёделя
Добавлено: 25 июл 18 11:54
Проблемы Гильберта
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 25 июл 18 17:43
Конкретно по евклидовой геометрии
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: О теореме Гёделя
Добавлено: 26 июл 18 14:31
Там есть несколько по геометрии и топологии. Они евклидовы вполне
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 26 июл 18 19:00
Там нет ни одной теоремы геометрии для которой доказано, что она недоказуема
[Ответ][Цитата]
Кусаюсь
Сообщений: 974
На: О теореме Гёделя
Добавлено: 27 июл 18 4:57
Вы ерундой страдаете. Проблема останова МТ доказана. Одного этого более чем достаточно чтоб теорема Гёделя была важной при работе над ИИ.
[Ответ][Цитата]
Вольфрамовый клапан
Сообщений: 809
На: О теореме Гёделя
Добавлено: 27 июл 18 7:34
Мне ИИ сугубо фиолетов. Меня интересует геометрия
[Ответ][Цитата]
NO.
Сообщений: 10700
На: О теореме Гёделя
Добавлено: 27 июл 18 7:38
Цитата:
Автор: Кусаюсь
Проблема останова МТ доказана.

А где можно почитать доказательство? Только не набросок и не схему и т.п., а то самое доказательство. Что я видел, там везде есть один тонкий момент, где сами вносят неопределенность, а потом приписывают её системе.
[Ответ][Цитата]
 Стр.2 (4)1  [2]  3  4<< < Пред. | След. > >>