Как думаете, можно ли сознать программу, которая будект знать всё, и решать любые вопросы?

Ibm watson уже есть.

а в лотерею не выиграть, теория вероятностей на то она и теория. Что она может дать вероятность, а не реальные числа.

Понятно, с теорией алгоритмов ты не знаком. И, вероятно, даже не знаешь о её существовании.

Так вот, существует множество задач, для которых НЕ СУЩЕСТВУЕТ алгоритмического решения. Т. е. для таких задач НЕВОЗМОЖНО написать программу, которая даст правильный ответ при любых допустимых входных данных.

Например, невозможно написать программу, которая определяет по тексту другой программы - остановится та, или будет работать бесконечно. Невозможно написать преобразователь произвольной контекстно-свободной грамматики в LL вид. И т. д.

О теореме Гёделя ты тоже ничего не слышал? В любой достаточно развитой формально-логической системе, основанной на конечном числе аксиом (например, в арифметике) обязательно существуют истинные, но недоказуемые в рамках этой системы теоремы.

Но программы работают только с формально-логическими системами и, следовательно, не в состоянии дать правильный ответ на ЛЮБОЙ вопрос.

P.S. Человечество развивается именно потому, что люди могут выходить за рамки формальной логики. Компьютеры же это сделать не в состоянии.

Запомни, чтоб из шляпы вытащить кролика, его надо сначала туда поместить

Такой компьютер уже есть, загугли думатель, а ответ- 42.

Нет. Шахматные компьютеры - очень плохой пример. Добавляем еще несколько клеток и все. Компьютер выпадает в осадок, пока не не научат. Деление на ноль, переполнение буфера и короткое замыкание =)