О проблеме разрешения для метрических пространств

И. Л. Бонди

г. Орск

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

УДК: 513.88

Поступила: 14.09.1970

Реферативные базы данных:

• 
•