رفتن به محتوای اصلی
جستجوی پیشرفته
عبارات جستجو
نوع محتوا

مطابقت کامل
جستجو در برچسب‌ها
گزینه های تاریخ
پس از به روز رسانی
قبلا به روز شده
ایجاد شده پس از
ایجاد شده قبل از

نتایج جستجو

نتایج یافت شده 6

فصل اول: مقدّمات

کاربرد مفاهیم ریاضیاتی در تبیین معارف ا...

ریاضیات
اعداد گویا
بی نهایت
کانتور
بهشت کانتور
فلسفه ریاضیات

ب) کانتور؛ نظریّات و بازتاب آن

کاربرد مفاهیم ریاضیاتی در تبیین معارف ا... فصل اول: مقدّمات

«بین ریاضی دان های قرن بیستم بحثی پیش آمده بود در قرن بیستم که به بهشت کانتورمعروف شد. کانتور[1] یک ریاضی دان بود؛ نظریه مجموعه‌ها را آورد، بعد هم اعداد ترانسفینی و اعداد بی‌نهایت. در قرن بیستم ریاضیات، برای بی‌نهایت‌ها دستگاهی به پا کرد. سخن هیلبرت: «بهشت...

بی نهایت بالقوه
بی نهایت
بی نهایت بالفعل
بی نهایت لا یقفی
بهشت کانتور
کانتور
فلسفه ریاضیات
ویتگنشتاین
اثبات مجردات

الف) اعداد و مجموعه های آن

کاربرد مفاهیم ریاضیاتی در تبیین معارف ا... فصل اول: مقدّمات

الف) اعداد و مجموعه های آن ۱. مجموعه اعداد طبیعی [1]«از مطالب خیلی ساده، این است که مثلاً در مجموعه اعداد طبیعی[2] که از یک شروع می‌شود و تا بی‌نهایت می‌رود. بین دو عضو از این مجموعه، دیگر نمی‌توانید چیزی از اعداد طبیعی پیدا کنید. وقتی سر و کارتان با اعداد ...

اعداد گویا
اعداد حقیقی
اعداد متعالی
بی نهایت فشرده
بی نهایت بالفعل
بی نهایت
الف صفر
اعداد کاردینال
الف یک
کانتور
اعداد طبیعی

ج) تبیین نظریه کانتور

کاربرد مفاهیم ریاضیاتی در تبیین معارف ا... فصل اول: مقدّمات

دسته بندی کانتور «بهشت کانتور،  بحث راجع به مجموعه های بی نهایت ها و دسته بندی مراتبشان و اعداد ترانسفینی است. ۱. «الف صفر»: مجموعه اعداد طبیعی و...  ایشان مجموعه ها  و بی نهایت بودنشان را رده بندی کرده است به همان حرف الفبای عبری[1]، اولین قوه بی نهایت ر...

اعداد کاردینال
برهان قطری کانتور
اعداد ترانسفینی
صورت گرایی ریاضی
منطق گرایی ریاضی
تاریخ ریاضیات
قضیه کانتور
اعداد اردینال
الف صفر
الف یک
برهان خلف
شهودگرایی ریاضی
فلسفه ریاضیات
کانتور

مثال تناظر یک به یک مجموعه اعداد فشرده گویا با مجموعه اعداد طبیعی

۴. فقه هوش مصنوعی (۱۴۰۳/۰۷/۱۹)

این مطلب عجیب را هم اضافه کنم، جالب است. می‌گویند یکی از عجیب‌ترین شاهکارهای ریاضیات در قرن بیستم، حرف آقای کانتور است که گفت مجموعه فشرده اعداد گویا شمارا است. چندبار دیگر عرض کرده‌ام و به درد بحث الآن ما می‌خورد. او چکار کرد؟ اول می‌گوید مجموعه اعداد گویا،...

الف صفر
مجموعه اعداد گویا
کانتور
فشردگی مجموعه
مجموعه شمارا
مجموعه ناشمارا
تموج پایه
فشردگی مجموعه اعداد
مجموعه اعداد حقیقی
مجموعه اعداد طبیعی

اهمیت تفکیک هوش اشراق‌محور از پایه‌محور؛ بهشت کانتور

۸. فقه هوش مصنوعی (۱۴۰۳/۰۸/۱۷)

بحث در سه بخشی بود که در پیشبرد هوش مصنوعی با نگاه حوزوی با آن کار داریم. اولین آن، جهت جدا کردن هوش پایه‌محور از هوش اشراق‌محور بود. دومی، تحلیل کارهایی بود که این هوش پایه‌محور انجام می‌دهد تا با این تحلیل، موضوع احکام فقهی منقح شود. سومی، احکام آن بود؛ یع...

هوش پایه محور
هوش اشراق محور
بهشت کانتور
کانتور
نظریه مجموعه ها
هیلبرت
ویتگنشتاین
فلسفه تحلیلی