все эти программы по доказываниюю теорем программеры только обучили аксиомам и способам их применения, как студента учит преподаватель. "логикой как деятельностью в области логики" машины занимаются сами, их резултаты ученых и инженеров иногда премного удивляют.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2012-01-12 08:44 pm (UTC)