Аннотация: В общем виде показано, что "неявные, интуитивно очевидные, но оказывающиеся крайне спорными в ходе их экспликации представления о языке и его выразительных возможностях оказывают гигантское влияние на понимание природы математического знания, специфики математической истины и тех стандартов, которым должно отвечать математическое знание."

Аннотация: "Одна из самых важных проблем, порождаемых компьютерными доказательствами, заключается в нарушении предполагаемого априорного статуса математического доказательства, и поэтому возникает вопрос о том, является ли компьютерное доказательство вообще доказательством."

Аннотация: Автор статьи пытается ответить на вопрос: "имеет ли интуитивное убеждение подавляющего большинства представителей точного естествознания в росте научного знания устойчивые основания в современной философиии науки?"

Аннотация: "Хотя тезис Черча фигурирует на философско-математической сцене около семи десятилетий, все еще остается не вполне определенным его эпистемологический статус. Цель статьи - привнести некоторую дополнительную информацию в дебаты по этому вопросу и сформулировать тезис Черча в приемлемом для обсуждения виде."

Аннотация: "Рассматривается проблема моделирования на компьютере интеллектуальной деятельности человека. Дается определение уровня осознания ситуации на языке атомарных диаграмм алгебраических систем. Цель дальнейшего исследования - точное формальное определение психологических процессов. Это даст возможность исследовать и моделировать спонтанную познавательную деятельность человека, весь спектр когнитивных процессов и, моделировать творчество."