نامنویسی انجمن درست شده و اکنون دوباره کار میکند! 🥳 کاربرانی که پیشتر نامنویسی کرده بودند نیز دسترسی‌اشان باز شده است 🌺

رتبه موضوع:
  • 1 رای - 5 میانگین
  • 1
  • 2
  • 3
  • 4
  • 5

پارادوکس راسل - Russell's Paradox
#3

Russell نوشته: البته بیشتر به "تئوری مجموعه ها" مشهور است در فارسی.

در نگارش خود کتاب را گفتم راسل جان، گویا در زمان برتراند راسل، set را کلاس می‌گفتند.



Russell نوشته: راسل با همین پارادوکس بود که بنیان ریاضی و منطق کلاسیک را فرو ریخت.
من البته آشنایی چندانی با منطق جدید ندارم ولی بنظر میرسد این پارادوکس ارتباط به نهایت داشتن یا بی انتهایت بودن مجموعه ها میتواند داشته باشد.


نکته دیگری که در نخستین نگاه برای یک برنامه‌نویس پیش می‌آید دقیقا پیوند آن با بی‌نهایت و recursion است.
اگر ما یک گردآیه خودواگذار داشته باشیم، پس هموند آن که خودش باشد نیز خود یک «گردآیه خودگذار» خواهد بود و الخ.

چنین گردآیه‌ای را نمی‌توان حساب به چم compute کرد، ولی می‌توان آن را با continuation در نگر گرفت، به این ریخت که ما می‌توانیم همواره یک گام پیش را داشته باشیم و حساب کنیم.

البته این همچنان پاسخی به پارادوکس ما نمی‌دهد. از سوی دیگر، در نمونه کتاب ما تنها یک نمونه از گردآیه خودواگذار می‌بینیم؛ نمونه‌ دیگری هم آیا یافت می‌شود؟

.Unexpected places give you unexpected returns
پاسخ


پیام‌های این موضوع
پارادوکس راسل - Russell's Paradox - توسط Mehrbod - 10-10-2011, 02:17 PM
پارادوکس راسل - Russell's Paradox - توسط Russell - 10-10-2011, 03:49 PM
پارادوکس راسل - Russell's Paradox - توسط Mehrbod - 10-15-2011, 10:40 PM
پارادوکس راسل - Russell's Paradox - توسط Mehrbod - 09-02-2012, 02:54 PM
پارادوکس راسل - Russell's Paradox - توسط Russell - 09-02-2012, 03:01 PM

پرش به انجمن:


کاربران در حال بازدید این موضوع: 2 مهمان