♦️مقایسه ابعاد کهکشان‌ها با کهکشان راه شیری به کانال خانه نجوم بپیوندید: @khanehnojum

انجمن علمی فلسفه فیزیک برگزار می‌کند: عنوان نشست: «تاملی در تعریف مادی و مجرد» 🔸چکیده: احصاء و محصور کردن دایره موضوعات مسائل در هر علمی برای درک بهتر موضوعات و سازمان‌دهی آن‌ها و پیشگیری از خلط روشهای تحقیق و دقت نتایج به دست آمده از ضروریات است. در حکمت نظری نیز تقسیم موجودات از اولین و اساسی ترین وظایف است. تقسیم مطلق وجود به مادی و مجرد از قدیمی ترین تقسیمات است. هر چند این تقسیمی عقلی است اما روشن است که در گذشته این تقسیم بندی با توجه به طبیعیات همان زمان و مشاهدات موجودات مادی انجام شده است. به نظر می رسد با توجه به پیشرفتهای جدید در علم فیزیک هم ثنایی بودن این تقسیم و تعریف مادی و مجرد قابل باز بینی است. در این ارائه این دو مسئله مورد بررسی و باز بینی قرار می گیرد. 🔹ارائه دهنده: حجت الاسلام و المسلمین دکتر مهدی افتخار 🔹زمان: پنج‌شنبه، 1403.12.02 ساعت 13:30 🔹مکان: دانشگاه باقرالعلوم علیه السلام 🔹از کلیه علاقه‌مندان به این حوزه دعوت می‌شود در این نشست شرکت نمایند. 🔗 لینک ورود به جلسه مجازی: http://dte.bz/pop 🌱|انجمن علمی فلسفه فیزیک|🌱 @Bou_phil_of_phys

🔸 ادعای علم‌گرایان افراطی و فیزیکالیستها این است که فقط و فقط دانش فیزیک میتواند "واقعیت های جهان" را تبیین کند. 🔸 آیا دانش فیزیک، مجموعه تلاشهای فیزیکدانهایی است که هدفشان کشف واقعیتهای فیزیکِ جهان است؟ 🔸 خاطره ی جالبی را در این باره از زبان دکتر گلشنی بشنوید. 🔸 آدرس کانال: https://eitaa.com/joinchat/4151312776C40b546a933 🔸 انتقادات و پرسش ها را به آیدی زیر ارسال بفرمایید. @Reza_zia_tohidi

هانسبرگر کتاب از اردوش تا کی یف مسئله یک

نونگاه اول؛ 🔰 «سودای منطق» درآمدی بر دست‌یارهای اثبات همراه با ارائه نسخه ایرانی توسط توسعه‌دهندگان: حمیدرضا کلباسی؛ دانشجوی رشته هوش مصنوعی دانشگاه شریف ارشیا معینی؛ دانشجوی رشته ریاضی دانشگاه شریف 📆 سه‌شنبه ۱۴ اسفند ۱۴۰۳ | ساعت ۱۳:۳۰ 📍 دانشگاه صنعتی شریف، کلاس ۱ معاونت فرهنگی 🌐 پخش مجازی در اتاق مجازی ژرفا 🔸 چنانچه دانشجوی دانشگاه شریف نیستید اما مایل به حضور در برنامه هستید، لطفاً تا ساعت ۹ روز سه‌شنبه ۱۴ اسفند این فرم را تکمیل فرمایید. 🔻 توضیحات بیشتر 🆔 @Zharfa90

🔸 درباره «نونگاه» برخلاف آنچه که عموماً کتب درسی از تاریخ علم روایت می‌کنند، جریان علم هیچ‌گاه به صورت خطی در جهان رشد نکرده است؛ بدین معنی که در هر نقطه‌ای از زمان، آراء و اندیشه‌های علمی گوناگونی در سرتاسر کره خاکی ما پیرامون مسائل علمی مشابه در جریان بوده‌اند. از این بین اما، برخی اندیشه‌ها فرصت آن را داشتند که راه خود را در ساختارهای علمی حاکم پیدا کنند و برخی دیگر از حافظه تاریخی علم کنار رفته‌اند. پژوهش‌های تاریخی تمدن‌های قدیم، مثال‌های متعددی برای این اتفاق آشکار می‌کنند؛ پاره‌هایی نیآزموده از علم که فرصتی برای بازخوانی نیافته‌اند. مجموعه جلسات نونگاه، با هدف بازخوانی و ارائه آراء و طرح‌های ارزشمند اما کمتر شناخته شده در سطح ملی و بین‌المللی شکل گرفته است. وجه مشترک این پژوهش‌ها، که شامل طرح‌های بنیادین و کاربردی خواهد بود، ارائه راهی مستعد برای حل مسائل نظری و عملی، یا روشن ساختن بینشی نو درباره آن‌هاست. چنانچه با طرح یا موضوعی متناسب با رویکرد بیان شده آشنایی دارید یا خود بر پژوهش مشابهی فعالیت می‌کنید، سپاس‌گزار خواهیم بود اگر نظرات و پیشنهادات خود را با ما در میان بگذارید. 🔹 درباره «سودای منطق» سودای منطق، نام اولین جلسه از مجموعه جلسات نونگاه است که به موضوع دست‌یارهای اثبات می‌پردازد. در طول تاریخ، دانشمندان گوناگونی در تلاش برای استوار ساختن پایه‌های علم بودند. برای مثال لایبنیتس در تلاش بود تا علوم طبیعی را بر پایه ریاضیات بنا کند، چرا که ریاضیات را علم استواری می‌دانست. (این تلاش‌ها در برهه‌ای به توسعه حساب منتهی شد) اما مدتی بعد، استواری ریاضیات نیز مورد سوال گروهی از دانشمندان شد. اواخر قرن نوزدهم و اوایل قرن بیستم، تلاش وسیعی صورت گرفت تا بنای ریاضیات بر پایه منطق استوار گردد. این تلاش که به منطق‌گرایی شناخته می‌شود، در ترکیب با آراء پیشینیان، منطق را به مبنایی برای تمام علوم طبیعی بدل می‌کرد. لازمه این اتفاق، سامان بخشیدن به خود منطق در گام نخست بود. این سامان‌بخشی به صورت ضمنی بینش مکانیکی به منطق، و به تبع آن به ریاضیات، و در نتیجه آن به کل علم را تقویت می‌کرد؛ چرا که فعالیت علمی را در استفاده مجموعه‌ای از قواعد منطقی برای پرورش فرض‌ها و اصول موضوعه خلاصه می‌کرد. ظهور چنین نگاهی به علم، زمینه را برای اندیشیدن به آن‌که زمانی ماشین بتواند علم‌ورزی را مشابه یا حتی بهتر از انسان انجام بدهد ممکن ساخت. اندیشه‌ای که خیلی زود به دستگاه‌های اثبات خودکار یا دست‌یارهای اثبات منتهی شد. در این ارائه، توسعه‌دهندگان نسخه ایرانی یک دست‌یار اثبات، درباره مفهوم اثبات، چگونگی کارکرد این سامانه و دیگر ظرفیت‌های آن سخن خواهند گفت. 🆔 @Zharfa90

الإلهيات والفيزياء المؤلف: الدكتور سيد روح الله الموسوي عدد الصفحات: 377 alfeker.net/library.php?id=6387

الإلهيات و الفيزياء المؤلف: الدكتور سيد روح الله الموسوي عدد الصفحات: 377