В логическом доказательстве, тавтологии могут входить на любом шаге такого доказательства. Во всяком случае, такое правило было не запрещено на определенном интервале развития исчислений, предикатов и высказываний. И сложность оказалась в том, что в более предметном смысле, когда программирование стало бурно развиваться, ясно и отчетливо, открылось, что в схемах кода могут встречаться строки, которые читаются компилятором, но явно не могут быть выполнены, команды, что не выполняются и бесполезны, для реализации замысла алгоритма схемы кода...
Давайте разбираться. В рамках данной статьи, я хочу простым языком донести для простых людей (не программистов), как вообще работают нейросети, и почему до восстания машин нам еще далеко.
В конце будет...