پارادوکس کلینی–راسر

در ریاضیات تناقض کلینی-راسر (به انگلیسی: 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.

[1] Andrea Cantini, "The inconsistency of certain formal logics", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).

[2] Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646.

[۱]

[۲]