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