کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
11010130 1812796 2018 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Univalence as a principle of logic
ترجمه فارسی عنوان
یکنواختی به عنوان یک اصل منطق
ترجمه چکیده
گاهی اوقات مفید یا مفید است در ریاضیات برای درمان ساختارهای ایزومورفیک به همان. اصول اخلاقی انحرافی برای پایه های ریاضیات، این ایده را به یک اصل بنیادی در تنظیم نظریه نوع همولوگ تقسیم می کند. این یک روش ساده و دقیق است که ساختارهای ایزومورفیک را می توان شناسایی کرد. ما انگیزه ها و عواقب ناشی از هر دو ریاضی و فلسفی را برای ایجاد چنین پیش فرض منطقی جدید بررسی می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات (عمومی)
پیش نمایش مقاله
یکنواختی به عنوان یک اصل منطق
چکیده انگلیسی
It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of homotopy type theory. It provides a simple and precise way in which isomorphic structures can be identified. We explore the motivations and consequences, both mathematical and philosophical, of making such a new logical postulate.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1497-1510
نویسندگان
,