![[info]](http://klab.lv/img/userinfo.gif){kind=small}
00:15
Nesapratu. Kas ir tāda nematemātiskā loģika es nemaz nezinu, bet mat.loģ. mierīgi var sataisīt dažādas aksiomu sistēmas, cik tik fantāzija ļauj. Ar spriedumu principiem (principles of reasoning) ir tā pašvakāk, bet nu kāpēc gan ne, gan jau arī tos labi gribot var pamainīt. Galvenais, lai viss būtu "formāli" pierakstāms, reducējams līdz manipulēšanai ar simboliem. Ar patiesību tam tiešām visai attāls sakars.