پارادوکس کلینی-راسر
در ریاضیات تناقض کلینی-راسر (به انگلیسی: 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.
| فلسفه |
| 
 | |||||
|---|---|---|---|---|---|---|---|
| منطقی |
| ||||||
| اقتصادی |
| ||||||
| نظریه تصمیم |
| ||||||
| |||||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.