Мир сегодня с "Юрий Подоляка"
Мир сегодня с "Юрий Подоляка"
Труха⚡️Україна
Труха⚡️Україна
Николаевский Ванёк
Николаевский Ванёк
Мир сегодня с "Юрий Подоляка"
Мир сегодня с "Юрий Подоляка"
Труха⚡️Україна
Труха⚡️Україна
Николаевский Ванёк
Николаевский Ванёк
انجمن علمی ژرفا avatar
انجمن علمی ژرفا
انجمن علمی ژرفا avatar
انجمن علمی ژرفا
21.04.202513:31
📝 «چراغی در دست، قدم در راهی ناشناخته: کرسی آزاداندیشی علمی»

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

🆔 @Zharfa90
12.04.202520:14
📌 اطلاعیه: به دلیل استقبال مخاطبان از برنامه، مهلت ثبت نام تا پایان روز دوشنبه ۲۵ فروردین‌ماه تمدید شد!

🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «عصر یادگیری ماشین»
  از مجموعه رویدادهای علمی نوروزی در موضوع «هوش مصنوعی»

با حضور جناب آقای سامان هادیان
👤 کارشناس ارشد هوش مصنوعی در کارگزاری مفید
📆 سه‌شنبه ۱۲ فروردین ۱۴۰۴ | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
27.03.202515:20
🔹 معنا در ماشین؛ پلی بین Syntax و Semantics

پیش‌مقدمه‌ای از این جلسه:
تحول هوش مصنوعی به سمت مدل‌های یادگیری‌محور، نوع جدیدی از بازنمایی (representation) مفاهیم را در قالب شبکه‌های عصبی عرضه کرده است. اما این نوع بازنمایی می‌تواند فراتر از کاربردهای معمولی AI باشد و با ابزارهای ریاضی مورد مطالعه قرار گیرد؛ تا جایی که شاید یکی از نقاطی باشد که syntax ما به توسعه semantics منجر می‌شود.

البته مسیر ساده‌ای نیست؛ چراکه مشکل اصلی در نمایش ریاضی semantics، تا حدی metamathematical بودن آن است. پیشرفت‌های اخیر در type theory، به‌ویژه بعد از univalent foundations، امکان ساخت زیرساخت‌های ریاضی در دل خود ریاضیات را فراهم کرده است. از طرفی، چون بازنمایی (representation) در برابر محاسبه (computation) قرار دارد، یکی از امیدبخش‌ترین مسیرها برای بررسی این موضوع، پیشبرد درک ما از Computational Trilogy است.

اما چالش اصلی در اینجاست: چطور می‌توان این فضاها را به ماشین‌های محاسباتی تعمیم داد؟ مسئله این است که این فضاها لزوماً متناهی نیستند. برای مثال، اگر بتوانیم از زیرشبکه‌های یک شبکه عصبی آموزش‌دیده، رفتار دینامیکی سیستم یادگرفته‌شده را به زبانی در این زیرساخت‌ها بازنمایی کنیم، گام مهمی برداشته‌ایم. اما تبدیل مستقیم شبکه‌های عصبی به چنین نمایشی هنوز یک مسئله حل‌نشده است که برای پیشرفتش به ریاضیات محض سنگینی نیاز داریم.
🆔 @Nano_YazdUni
🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «فاصله هوش مصنوعی ازواقعیت تا افسانه‌ها»
از مجموعه رویدادهای علمی نوروزی در موضوع «هوش مصنوعی»

با حضور جناب آقای مظفرپور
👤 مترجم کتاب «افسانه هوش مصنوعی»
📆 سه شنبه ۵ فروردین | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
نونگاه اول؛
🔰 «سودای منطق»
درآمدی بر دست‌یارهای اثبات

همراه با ارائه نسخه ایرانی
توسط توسعه‌دهندگان:
حمیدرضا کلباسی؛
دانشجوی رشته هوش مصنوعی دانشگاه شریف
ارشیا معینی؛
دانشجوی رشته ریاضی دانشگاه شریف

📆 سه‌شنبه ۱۴ اسفند ۱۴۰۳ | ساعت ۱۳:۳۰
📍 دانشگاه صنعتی شریف، کلاس ۱ معاونت فرهنگی
🌐 پخش مجازی در اتاق مجازی ژرفا

🔸 چنانچه دانشجوی دانشگاه شریف نیستید اما مایل به حضور در برنامه هستید، لطفاً تا ساعت ۹ روز سه‌شنبه ۱۴ اسفند این فرم را تکمیل فرمایید.

🔻 توضیحات بیشتر

🆔 @Zharfa90
⁉️ «کرسی آزاداندیشی علمی»

با موضوع
🔸 "مسئله انتخاب مسئله"
یا
چگونه پژوهشگر مسئله پژوهشی خود را انتخاب می‌کند؟

👤 به میزبانی جناب آقای امیرحسین صنایعی، دبیر گروه مطالعات علوم دقیقه موسسه اشراق

📆 سه‌شنبه ۲ اردیبهشت، ساعت ۱۶:۳۰
📍 ساختمان معاونت فرهنگی، اتاق اشتراکی اول

🆔 @Zharfa90
05.04.202520:47
🎉 روزی خاص برای ذهن‌های کنجکاو؛ اطلاعات تکمیلی برنامه


🌟 قرار است فکر کنیم، بحث کنیم و چیزهای جدیدی تجربه کنیم.

📚 معرفی ایستگاه‌ها:

۱. آسمان شگفت‌انگیز بود!

آسمان شب همیشه ما را به تفکر واداشته است. وقتی می‌دانیم نور خورشید هشت دقیقه طول می‌کشد تا به ما برسد، در واقع داریم «تاریخ» را تماشا می‌کنیم! رنسانس دورانی بود که انسان دریافت باید این شگفتی‌ها را نه به عنوان پدیده‌هایی دور، بلکه در ارتباط با خود معنا کند. همان‌گونه که کانت می‌پرسید: «آسمان پرستاره بالای سر من چه نسبتی با جهان درون من دارد؟»


۲. نجات اندیشه 🤔💡

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


۳. شخصیت از منظر فلسفه 🌱

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

❗️توضیحات بیشتر در مورد ۳ ایستگاه بالا را می‌توانی در صفحه رویداد ببینی : اینجا !

❗هنوز تمام نشده! دو ایستگاه تعاملی هم داریم که در آنها چیزهایی را پررنگ‌تر تجربه می‌کنیم و یاد می‌گیریم!

▫️ به همراه مسابقه‌ و یک افتتاحیه و اختتامیه مهمون‌های خاص برای شما...

برای این رویداد باید ذهن خود رو حسابی آماده‌ی تفکر و گفت‌و‌گو کنید...


💳 هزینه ثبت نام را به دو شکل می‌توانید بپردازید:
۱۵۰ هزارتومن به همراه پذیرایی بدون ناهار.
۲۲۵ هزارتومن با پذیرایی و ناهار چلو جوجه کباب!


📌 برای ثبت‌نام می‌توانید از اینجا اقدام کنید:
🔗 پیوند
❗️ظرفیت محدود است!


◽آی‌دی پشتیبانی:
🆔 @SalamZharfa


منتظرتیم که با هم یه روز خاص و فراموش‌نشدنی رو بسازیم! 😍

🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «شرکت‌های دانش‌بنیان و توسعه فناوری»
  از مجموعه رویدادهای علمی نوروزی در موضوع «اقتصاد و اشتغال علوم پایه»

👤 با حضور جناب مهندس احمد مهدوی
عضو هیأت مدیره شرکت دانش‌بنیان پوشش‌های نانوساختار
📆 یک‌شنبه ۱۰ فروردین | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «هوش مصنوعی: از کاربرد به معنا»
  از مجموعه رویدادهای علمی نوروزی در موضوع «هوش مصنوعی»

با حضور جناب آقای احمدرضا عبدی
👤 کارشناس و پژوهش‌گر ریاضیات و هوش مصنوعی
📆 پنجشنبه ۷ فروردین | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «چشم‌انداز توسعه و محدودیت‌های هوش مصنوعی از نظر فلسفی»
از مجموعه رویدادهای علمی نوروزی در موضوع «هوش مصنوعی»

با حضور
👤 حجت الاسلام والمسلمین الهی‌راد
مدرس و پژوهش‌گر حوزه الهیات و فلسفه ذهن
📆 دوشنبه ۴ فروردین | ساعت ۱۴
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
28.02.202513:05
✍ یادداشت جناب آقای مقصودی درباره موضوع جلسه:
   آزمایش ذهنی سطل نیوتن از شناخته‌شده‌ترین آزمایش‌های ذهنی در فیزیک است که عموماً به‌عنوان دفاعیه‌ای از جوهرگرایی درخصوص فضا-زمان در نظر گرفته می‌شود. مناقشۀ میان جوهرگرایی و نسبت‌گرایی دربارۀ چیستی فضا-زمان از مهم‌ترین مسائل فلسفۀ فضا-زمان است. به بیانی نه چندان دقیق، جوهرگرایی این است که فضازمان هویت‌ مادیِ مستقلی است، مستقل از سایر هویات. در مقابل، نسبت‌گرایی این است که فضا-زمان به‌خودی‌خود هویت مستقلی نیست و مستقل از هویات مادی وجود ندارد. نسبت‌گرایی با ظهور تفکر ماخی جان تازه‌ای گرفت و تصور بر این است که نسبیت عام نیز در هماهنگی با اصول فلسفی ماخ ساخته شده است.
   در این ارائه جوهرگرایی، نسبت‌گرایی و انگیزه‌های ماخی ورای نسبیت عام را می‌کاویم و آزمایش ذهنی سطل نیوتن را در دو چهارچوب غیرنسبیتی و نسبیت عامی موردبحث قرار خواهیم داد تا به نتیجه‌ای غیرمنتظره برسیم: ظاهراً در سناریوی نسبیت عامیِ سطل نیوتن گریزی از پذیرش موضع جوهرگرایانه نیست.


‌🆔 @shorayemoton
🆔 @Zharfa90
📍 مسیر رسیدن به محل پذیرش رویداد از سردر اصلی دانشگاه

📌 مشاهده در نقشه

🆔 @Zharfa90
🏛 انجمن علمی ژرفا برگزار می‌کند:

💭 روز تفکر؛ فرصتی برای اندیشیدن

ویژه دانشجویان و دانش‌آموزان دختر دوره دوم متوسطه


🗓 تاریخ برگزاری: پنج‌شنبه ۲۸ فروردین ۱۴۰۴
🕰 ساعت: ۸:۳۰ تا ۱۸
🏢 محل برگزاری: دانشگاه صنعتی شریف

⏳ مهلت ثبت‌نام: تا ۲۳ فروردین
پایان روز دوشنبه ۲۵ فروردین
📍 با توجه به ظرفیت محدود، اولویت با افرادی است که زودتر ثبت‌نام کنند.

📌 برای ثبت‌نام روی پیوند مقابل بزنید: 🔗 پیوند

◽️آی‌دی پشتیبانی:
🆔 @SalamZharfa
🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «استاندارد: ظرفیت‌ها و چالش‌ها»
  از مجموعه رویدادهای علمی نوروزی در موضوع «اقتصاد و اشتغال علوم پایه»

👤 با حضور جناب دکتر حمید مطهری
عضو هیأت علمی دانشگاه یزد
📆 شنبه ۹ فروردین | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
26.03.202516:43
🔻 ضمن عذرخواهی، به دلیل شرایط نامساعد سخنران این گفتگو لغو و به زمان دیگری موکول خواهد شد.

🆔 @Zharfa90
انجمن علمی ژرفا با همکاری انجمن علمی نانو دانشگاه یزد برگزار می‌کنند:
🔰 «شب‌نشینی‌های علمی نوروزی»

🔻 در موضوعات
➖ هوش‌مصنوعی و علوم پایه
➖اقتصاد و کارآفرینی علوم پایه
➖ پروژه‌های علمی پژوهشی
➖ روایت علم
➖ کتاب خوانی

📆 از ۴ الی ۱۴ فروردین‌ماه ۱۴۰۴
⏰ به صورت مجازی در اتاق مجازی ژرفا

جزئیات بیشتر درباره میهمانان و زمان برگزاری هر برنامه متعاقباً اعلام خواهد شد.

🆔 @Nano_YazdUni
🆔 @Zharfa90
ژرفا معرفی و پیشنهاد می‌کند:

📚 سلسله نشست‌های درباره‌ی #آزمایش‌های_فکری
جلسه نخست:‌
«آزمایش ذهنی سطل نیوتن و سیاهچاله مک‌ویتی»

🔹 با ارائه‌ی محمدابراهیم مقصودی، پژوهشگر فلسفه فیزیک
🔸 به میزبانیِ علیرضا شفاه

📆 شنبه ۱۱ اسفند | ساعت ۱۰:۳۰ الی ۱۲
📍 بزرگراه کردستان، پژوهشگاه علوم انسانی و مطالعات فرهنگی

🆔 @shorayemoton
🆔 @Zharfa90
16.04.202517:17
📍 محل ورود به دانشگاه و مکان پذیرش رویداد روز تفکر

برای شرکت در رویداد «روز تفکر»، پذیرش شرکت‌کنندگان از رأس ساعت ۸:۳۰ تا ۸:۴۵ انجام می‌شود. برای ورود به دانشگاه از سردر اصلی دانشگاه صنعتی شریف اقدام نمایید:
📍 مشاهده مکان در نقشه

◽ محل پذیرش گروه فلسفه علم و تکنولوژی است که محل آن را نیز در پیوند زیر می‌توانید ملاحظه کنید:
📍 مشاهده مکان در نقشه

🔹 لطفاً راس ساعت در مکان حضور داشته باشید تا فرآیند پذیرش به‌راحتی و بدون تأخیر انجام شود.
منتظر دیدار شما هستیم! 😊
03.04.202504:30
📚 جلسات هفتگی معرفی کتاب؛
🔸 «فیزیک و طبیعت»
👤 ورنر هایزنبرگ

گفته‌اند که دیدگاه انسان معاصر به طبیعت آن‌قدر نسبت به گذشته دگرگون شده است که تمامی روابط ما با طبیعت، حتی روابط هنرمندان با آن، باید بر اصول جدیدی استوار شود. در قرون پیشین، فلسفۀ طبیعیِ جمع‌وجوری دیدگاه‌های انسان را بیان می‌کرد، اما امروزه، نظرگاه انسان عمدتاً با علوم جدید و فناوری نوین معین می‌شود. به همین دلیل، بررسی مفهوم طبیعت در علم معاصر و به‌خصوص در فیزیک معاصر، نه‌تنها برای محققان علم، بلکه برای همه مهم است. دگرگونی‌های بنیادین دانش‌های نوین را باید نشانۀ تغییر در محوۀ زیست خود بدانیم و همین بر تمامی جنبه‌های زندگی ما اثر دارد.

ورنر هایزنبرگ، یکی از بزرگ‌ترین فیزیکدان‌های تاریخ بشر، در کتاب «فیزیک و طبیعت» تحول دیدگاه فیزیک مدرن نسبت به طبیعت را روایت می‌کند، از علیت و تفکر فلسفی می‌گوید، مفهوم طبیعت را در تاریخ علم پی می‌گیرد و به آراء پیشگامان فیزیک مدرن می‌پردازد. او معتقد است که فیزیک مدرن با کشفیات کپلر و گالیله و نیوتن تولد یافت؛ کشفیاتی که مؤلفهٔ بنیادی‌شان قطع رابطه با تصویر قرون وسطایی از طبیعت بود.

نکتهٔ بسیار مهم دیگری که هایزنبرگ بر آن تأکید دارد اهمیت آگاهی از فرهنگ کلاسیک و مطالعهٔ فلسفه و تاریخ اندیشهٔ غربی در آموزش دانشمندانی ا‌ست که فقط متخصص نیستند و می‌خواهند تبعات عملی و نظری کار خود را در بستر مجموعهٔ گستردهٔ فعالیت‌های بشری بسنجند.

🗣 به میزبانی دکتر سعید پاک‌طینت
📆 پنج‌شنبه ۱۴ فروردین ۱۴۰۳ | ساعت ۲۱
🔗 اتاق مجازی ژرفا

🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «از جبر لی تا سی‌تی؛ دردسرهای یک فیزیک‌پیشه معمولی»
  از مجموعه رویدادهای علمی نوروزی در موضوع «اقتصاد و اشتغال علوم پایه»

👤 با حضور جناب دکتر حمیدرضا صفری
از شرکت آرمان موج فناور
📆 جمعه ۸ فروردین | ساعت ۲۱
📍 اتاق مجازی ژرفا

🆔 @Nano_YazdUni
🆔 @Zharfa90
انجمن علمی نانو دانشگاه یزد و انجمن علمی ژرفا دانشگاه صنعتی شریف برگزار می‌کنند:

🔰 «عصر یادگیری ماشین»
  از مجموعه رویدادهای علمی نوروزی در موضوع «هوش مصنوعی»

با حضور جناب آقای سامان هادیان
👤 کارشناس ارشد هوش مصنوعی در کارگزاری مفید
📆 چهارشنبه ۶ فروردین | ساعت ۲۱
⚠️ این برنامه لغو و به زمان دیگری موکول شد.
📍 اتاق مجازی ژرفا

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

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

🆔 @Zharfa90
15.02.202519:48
🔰 «خانه علم»
یکی از وظایف عمده دانشگاه‌ها ارتقای سطح دانش و فرهنگ علمی جامعه پیرامون خود است. برای دستیابی به این هدف، دانشگاه باید در ارتباط مستمر و نزدیک با آحاد جامعه به‌ویژه نسل جوان از قبیل دانش‌آموزان و دانشجویان بوده و در این راستا تعامل مناسبی داشته باشد.

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

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

📸 تصویر زیر، عکس روز ۲۷ بهمن‌ماه با نام «خورشید‌های کاذب در آبیسکو» است. درباره این عکس نوشته اند:
به نظر می‌رسد سه خورشید در این منظره زمستانی ماورایی، افق را در آغوش گرفته‌اند.
اما این صحنه هیجان‌انگیز در کاوش با ماشین برفی در ۳ فوریه در منطقه کوهستانی اطراف پارک ملی آبیسکو در شمال سوئد ثبت شد.
دو نقطه درخشان در دو طرف خورشید زمین، خورشیدهای کاذب هستند که به عنوان خورشیدهای ساختگی یا سگ‌های خورشیدی نیز شناخته می‌شوند.
خورشیدهای کاذب توسط بلورهای یخ شش‌ضلعی معلق در جو مه‌آلود ایجاد می‌شوند که نور خورشید را منعکس و منکسر می‌کنند.
خورشیدهای کاذب درخشان که معمولاً در زمستان و در عرض‌های جغرافیایی بالا دیده می‌شوند، در امتداد هاله یخی ۲۲ درجه‌ای خورشید قرار دارند


🆔 @Zharfa90
Показано 1 - 24 из 38
Войдите, чтобы разблокировать больше функциональности.