ИНТЕЛРОС > № 4, 1998 > Неконструктивные рассуждения и е-исчисления А.М. Анисов
|
Как известно, идея исчисления с е-термином принадлежит Д.Гильберту. Смысл выражения вида ехА(х) состоит в указании на некий индивид, обладающий свойством А(х), если такой индивид существует. Знаки индивидов называются именами, однако в рассматриваемом случае мы имеем дело с именем не конкретного, а неопределенного индивида, произвольно выбранного среди объектов, удовлетворяющих свойству А(х), если таковые вообще найдутся.
Вернуться назад |