Могут ли существовать математические теоремы, которые способно доказать только сознательное существо, а бессознательный компьютер никогда бы не смог?

85
2
0
29 апреля
10:37
апрель
2016

К таковым относится абсолютно любая теорема, просто потому что компьютер в принципе ничего доказать не может. Грубо говоря, компьютер просто преобразовывает одни сигналы в другие сигналы, согласно какому-то алгоритму. А алгоритмы пишут люди.
Следовательно, если вы видите какое-то доказательство теоремы, то это значит что, это доказательство создал его человек.

-5
0
апрель
2016

Думаю, да. Такие теоремы должны базироваться на новых аксиомах. Компьютер не способен выдвинуть новые аксиомы или константы, и пользуется только заложенными в его память данными и алгоритмами вычисления. Сознательное существо, напротив, способно не только найти совсем неожиданные, необычные константы, но и изменить саму систему вычисления. Так что, вопреки радикальным футуристическим прогнозам, бессознательный компьютер заменить человека не способен.

-5
1
Если вы знаете ответ на этот вопрос и можете аргументированно его обосновать, не стесняйтесь высказаться
Ответить самому
Выбрать эксперта