TL;DR
- چکیده: جبرهای ترکیبی غیر پیش پا افتاده با S و K باید بی نهایت باشند.
- تداعی با ترکیب یک طبقهبندی کننده و یک جفت پسکشی در یک ماگمای کششی محدود ناسازگار است.
- این موانع،.
چه اتفاقی افتاد
چکیده: جبرهای ترکیبی غیر پیش پا افتاده با S و K باید بی نهایت باشند. تداعی با ترکیب یک طبقهبندی کننده و یک جفت پسکشی در یک ماگمای کششی محدود ناسازگار است.
این موانع،. چندین تنظیمات استاندارد را از چارچوب کششی محدود مورد مطالعه در اینجا حذف میکنند،.
که مهمترین آنها جبرهای ترکیبی متناهی S+K و ساختارهای انجمنی (نیمهگروهها،. مونوئیدها،.
گروهها،. حلقهها) هستند که هم طبقهبندیکننده و هم یک جفت پسکشی را حمل میکنند.
چه ساختار جبری در چشم انداز باقی مانده وجود دارد: محدود، غیر انجمنی، کل؟ ما سه ویژگی ماگماهای 2 نقطهای کششی محدود را شناسایی میکنیم:.
خودنمایی (R)،. دوگانگی طبقهبندیکننده (D)،.
و ویژگی ترکیب داخلی (H). ما ثابت میکنیم که آنها دو به دو مستقل هستند.
نمونههای متقابل محدود تأیید شده ناب در اندازههای 4 تا 10 هر شش مفهوم غیرمعمول را ایجاد میکنند،. چهار مورد با مشخصاً مرزهای تنگ است.
حداقل شاهد همزیستی N = 5 دارد که بهینه است:. ICP به 3 عنصر اصلی متمایز به صورت جفتی نیاز دارد،.
بنابراین N \ge 5. تجزیه سه دستهای القا شده توسط D یک هم شکل ثابت است،.
و ICP منطقاً معادل بدیهیات استاندارد Compose+Inert است. همه نتایج در Lean 4 با صفر پوزش رسمیشده است.
منطق در علوم کامپیوتر (cs. LO) استناد بهعنوان: (یا v2 [cs.
LO] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite تاریخچه ارسال از:.
Stefano Palmieri [مشاهده ایمیل] [v1] جمعه،. 27 مارس 2026،.
ساعت 21:. 45:.
22 UTC (19 KB) [v2] شنبه،. 4 آوریل 2026،.
02:. 20:.
39 UTC (18 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.