Если допустить, что формулировка теоремы должна быть конечной, то не будет никаких проблем. И самые разнообразные множества из множества всех...
А причем тут это множество?
Любое подмножество натуральных чисел счетно. И декартово произведение натуральных чисел тоже счетно.
Дао, которое может быть выражено словами, не есть истинное дао. :)
Множество теорем арифметики является счетным, а значит перебрать их одну за другой не сложнее натуральных чисел. Проблемы могут быть только с...
Из первого сообщения:
Еще такое пожелание. Возможность играть через специальную программу-клиент, а не через браузер. И трафик экономится и дизайн можно удобный сделать.
Так ведь и нелокальные квантовые феномены, если таковые действительно окажутся существенными, можно использовать при создании ИИ. На данном этапе...
Это я не понимаю. Я доказательство еще не читал и о нем вообще ничего не говорил.
Это вообще о другом - о проблеме "остановки алгоритма". Это совсем другая теорема из теории алгоритмов. И многие на ее основании обвиняют...
Skipper_NORTON, попробуй отредактировать самое первое сообщение.
Откуда вообще берутся такие мысли? Уже надоело в сотый раз просить привести хоть один пример как человек может бороться. :(
Все немного глупее. Строиться более сложная Машина, которая может выполнять исходную программу. Она передает ей на вход себя саму и если ответ...
NS, давай. Уже сейчас человек модифицирует себя как только может. Остается только дождаться когда до мозгов дело дойдет.
Так ведь даже человек способен придумывать методы получше грубой силы. К тому же шахматы еще ни один человек даже и не пытался решить, и...
А у самому некогда что ли?
Это всего лишь дело времени.
Речь не идет о математической полезности. Речь идет о полезности той или иной теории для достижения целей нашей искусственной интеллектуальной...
Аксиома в единственном числе это просто утверждение от которого нет никакого проку.
Опровергнуть можно все, со временем. Я стараюсь показать, что теория Лобачевского и теория Евклида имеют разную полезность. И если во времена...