Без заголовка

Слова про "эмулируемый нейросеткой логический вычислитель S2" нуждаются в прояснении, иначе так и не становится понятной разница между S1 и S2 , и вообще разница между математикой и естественными науками. Что ты будешь писать про "логику" без этого прояснения — не ясно. Похоже, что "математическое мышление" в нейросетке по сути ничем не отличается от "естественнонаучного мышления", "байесовского мышления", "квантовоподобного мышления", "художественного мышления" и т.д. и т.п. Все эти "мышления" — просто выучивания определённых видов распределений, или, иначе говоря, распознавание и классификация определённых паттернов. "Математика" — это очень специальный вид распределений над очень специальным видом датасетов, но никакого специализированного "эмулятора" там нет.