То, что я собираюсь сообщить, мы никогда прямо не обсуждаем, но надеемся, что вы все вынесли это из школы: вся история научных исследований наводит на эту мысль. Поэтому стоит назвать ее сейчас со всей определенностью:
- Это честность духовного искателя, принцип научного мышления, соответствующий полнейшей честности, честности, доведенной до
(
Read more... )
Comments 21
ну ведь ахинея же полная!
человек написавший логику машины не может её перепроверить! Бред! :)
Reply
В 1975 году, за год до того, как была доказана теорема о четырех цветах, об этом уже не могло быть и речи, однако отдельные математики еще могли теоретически разобраться с доказательством любой известной теоремы.
К 2075 году многие области чистой математики будут построены на использовании теорем, доказательства которых не сможет полностью понять ни один из живущих на Земле математиков - ни в одиночку, ни коллективными усилиями.
http://elementy.ru/lib/164681/164687
Reply
проверка выводов не возможна практически в только лишь в случае с большим объёмом вычислений. но не теоретически.
логика машины закладывается при её программировании. пока этим занимается человек.
Reply
Reply
Reply
Reply
Reply
Leave a comment