Ум и компьютер
Лекция Виталия Валентиновича Целищева «Ум и компьютер в каркасе рекурсивного мышления».
Целищев В.В. / Все видео
Математическое и компьютерное доказательство
Лекция Виталия Валентиновича Целищева «Математическое и компьютерное доказательство: убеждение или вынуждение».
Эпистемологический доступ в математике
Виталий Валентинович Целищев "Эпистемологический доступ в математике и метаматематике: мораль теоремы Леба".
Эпистемология математического доказательства
Доклад Виталия Валентиновича Целищева "Эпистемология математического доказательства" на конференции "Математика и философия". 21.04.2008 г.
Онтология и математика
Лекция Виталия Валентиновича Целищева "Онтология и математика". Санкт-Петербург, СПбГУ, Философский факультет. 23.04.2008 г.
