کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4673142 | 1346612 | 2013 | 4 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The common point problem in constructive projective geometry
ترجمه فارسی عنوان
مشکل رایج در هندسه تصویری سازنده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
فرمت پیش بینی شده، نمونه برورورین،
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
Using intuitionistic methods, an extension of an incidence plane was constructed by Heyting in 1959; however, a central question, the validity of the projective axiom that any two lines have a common point, was left open. A Brouwerian counterexample demonstrates that in the Heyting extension the common point axiom is constructively invalid.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 24, Issue 1, 2013, Pages 111-114
Journal: Indagationes Mathematicae - Volume 24, Issue 1, 2013, Pages 111-114
نویسندگان
Mark Mandelkern,