Для цитирования:

Целищев В.В. Доказательство, понимание и компьютеры. Философские проблемы информационных технологий и киберпространства. 2020;(1):54-67. https://doi.org/10.17726/philIT.2020.1.5

For citation:

Tselishchev V.V. Proof, understanding, and computers. Philosophical Problems of IT & Cyberspace (PhilIT&C). 2020;(1):54-67. (In Russ.) https://doi.org/10.17726/philIT.2020.1.5