ИНТЕЛРОС > № 4, 1998 > Неконструктивные рассуждения и е-исчисления

А.М. Анисов
Неконструктивные рассуждения и е-исчисления


24 сентября 2012
Как известно, идея исчисления с е-термином принадлежит Д.Гильберту. Смысл выражения вида ехА(х) состоит в указании на некий индивид, обладающий свойством А(х), если такой индивид существует. Знаки индивидов называются именами, однако в рассматриваемом случае мы имеем дело с именем не конкретного, а неопределенного индивида, произвольно выбранного среди объектов, удовлетворяющих свойству А(х), если таковые вообще найдутся.

Вернуться назад