کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
11010135 1812796 2018 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations
ترجمه فارسی عنوان
اعداد واقعی و فضاهای پیش فرض: استدلال شهود با روابط پایه نامفهوم
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات (عمومی)
چکیده انگلیسی
Brouwer introduced in 1924 the notion of an apartness relation for real numbers, with the idea that whenever it holds, a finite computation verifies it in contrast to equality. The idea was followed in Heyting's axiomatization of intuitionistic projective geometry. Brouwer in turn worked out an intuitionistic theory of “virtual order.” It is shown that Brouwer's proof of the equivalence of virtual and maximal order goes only in one direction, and that Heyting's axiomatization needs to be made a bit stronger.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1546-1554
نویسندگان
,