پارادوکس کلینی–راسر
ظاهر
در ریاضیات تناقض کلینی-راسر (به انگلیسی: Kleene–Rosser paradox) یک تناقض است که نشان میدهد سامانههای خاصی در منطق ریاضی سازگار نیستند. به صورت دقیقتر منطق ترکیبی کاری (معرفیشده در ۱۹۳۰) و جبر لاندای اصلیِ چرچ (معرفیشده در ۱۹۳۳) که در ابتدا قرار بود سامانهٔ منطق صوری را توضیح بدهند، ناسازگارند. این تناقض توسط استیون کلینی و جان راسر در سال ۱۹۳۵ نشان دادهشد.
جستارهای وابسته
[ویرایش]منابع
[ویرایش]- Andrea Cantini, "The inconsistency of certain formal logics", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).
- Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646.