کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11010135 | 1812796 | 2018 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations
ترجمه فارسی عنوان
اعداد واقعی و فضاهای پیش فرض: استدلال شهود با روابط پایه نامفهوم
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
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
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1546-1554
نویسندگان
Jan von Plato,