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

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