А до некоторого времени математики были уверены в непротиворечивости теории множеств. На основании понимания.
> А мы без всяких доказательств, только лишь на основании понимания уверены в непротиворечивости арифметики.
И где гарантии что это не ошибка мышления? Я почти уверен, что ошибка, кстати.
> И есть подозрения, что ИИ, сколь бы умным и мощным ни был, не сможет достичь такого понимания.
Понимание квалиативное состояние. Мы возвращаемся к вопросу о философском зомби и душе. С другой стороны функциональную сторону такого понимания, в смысле веры в свою правоту, вероятно, сэмулировать не трудно.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2015-07-29 01:32 pm (UTC)> А мы без всяких доказательств, только лишь на основании понимания уверены в непротиворечивости арифметики.
И где гарантии что это не ошибка мышления? Я почти уверен, что ошибка, кстати.
> И есть подозрения, что ИИ, сколь бы умным и мощным ни был, не сможет достичь такого понимания.
Понимание квалиативное состояние. Мы возвращаемся к вопросу о философском зомби и душе. С другой стороны функциональную сторону такого понимания, в смысле веры в свою правоту, вероятно, сэмулировать не трудно.