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
<<
< Пред.
|
След. >
>>
Главная
|
Материалы
|
Справочник
|
Гостевая книга
|
Форум
|
Ссылки
|
О сайте
Вопросы и замечания направляйте нам по
Copyright © 2001-2022, www.gotai.net