نتایج جستجو

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

شاگرد۳: این ارائه‌ای که در مقابل اثبات می‌گویید، علم حضوری است؟ hc بدیهی‌های شش‌گانه ارسطویی است؟ یا امر سومی است؟ استاد: خیلی مطالب کلاسیک هست که ذهن من طلبه مشغول می‌شد. مثلاً این شعری که می‌گوییم: «ای برادر! تو همه اندیشه‌ای *** ما بقی تو استخوان و ریشه‌...

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

موضوع اصلی: نفی تفلسف در پیدایش و توسعه هوش مصنوعی،  موضوعات فرعی: تبیین بردار و ماتریس و تنسور (و فضای جبر خطی) به‌عنوان مبادی هوش مصنوعی

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

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

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

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

     استاد با تمرکز بر عبارت «و صاعداً»، تفاوت‌های میان تصاعد حسابی و هندسی را از منظر منطقی و ریشه‌شناسی واژگان تحلیل می‌کنند. در این میان، پیوندهای عمیق میان هندسه و عمل ضرب و همچنین حساب و عمل جمع مورد مداقه قرار گرفته است. بخشی از جلسه به تبیین نمادهای ریا...

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

     این جلسه شامل بررسی قواعد ریاضی تقسیم و استخراج خارج قسمت است. استاد با تکیه بر عبارات متن، مفاهیمی نظیر تعریف تقسیم به عنوان عکس ضرب و نحوه کار با مقسوم و مقسوم‌علیه را برای حضار تبیین می‌کنند. در ادامه، بحث از مسائل فنی ریاضی به سمت علوم غریبه، واژه‌شنا...

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

     بخش اصلی درس به تبیین مفاهیم جذر، ضلع و شیء در علوم حساب، هندسه و جبر اختصاص دارد و ریشه تاریخی کلمه ایکس (x) را در واژه عربی «شیء» جست‌وجو می‌شود. استاد با تکیه بر قانون اساسی حساب، ویژگی‌های اعداد اول و چگونگی تشکیل اعداد از ریشه‌های منحصربه‌فرد را تشری...

     محور اصلی بحث بر جذر و مجذور، اعداد گنگ (اصم) و تفاوت میان حساب و هندسه در نمایش مقادیر عددی استوار است. استاد با گریزی به آیات قرآن و روایات، به تبیین جایگاه عدد هفت و نسبت‌های موجود در اشکال هندسی مانند دایره و مثلث قائم‌الزاویه می‌پردازند. همچنین، پیون...

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

این جلسه به بررسی مفاهیم ریاضی و هندسی پیرامون جذور اعداد و نظریه مجموعه‌های نامتناهی می‌پردازد. استاد با مقایسه اعداد گویا و گنگ، توضیح می‌دهند که اگرچه نقاط روی محور اعداد معین هستند، اما بیان دقیق ریشه‌های دوم غیرکامل از طریق اعداد صحیح ناممکن است. در ادامه...

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

موضوع اصلی: بررسی اشکال سندی سید بر مستند روایی منکرین رویت قبل از زوال  موضوعات فرعی: روایت محمد بن عیسی، دلیل هفتم مانعین اعتبار رؤیت قبل از زوال تضعیف سندی روایت محمد بن عیسی توسط سید بحر العلوم