حالا کی درست میگه کی نادرست؟

@mazboohane

در منطق ریاضی، قضایای ناتمامیت گودل، توسط کورت گودل در سال ۱۹۳۱ ثابت شدند. این قضایا در منطق ریاضی و فلسفهٔ ریاضی از اهمیت بسزایی برخوردارند
پس از روش صوری کانت در تبیین ریاضیات، می‌شد مطمئن بود اگر واحدهای ریاضی را با یکسری ضابطه به کامپیوترها بدهیم، آن‌ها هم می‌توانند مثل بهترین ریاضی‌دا‌ن‌ها آن‌ها را به هزاران صورت تجزیه و ترکیب کنند. اما کورت گودل عنصری را وارد این معادله کرد که زمین بازی را به هم می‌ریخت: معنا. آیا اگر پای معنا، و درنتیجه ناتمامیت، به اعمال ریاضی باز شود، آیا باز هم می‌توان از مکانیکی‌بودن آن‌ها حرف زد؟ ماشین‌ها معنا نمی‌فهمند و همین ما را مجبور می‌کند به سادگیِ تبیین سنتی از ریاضیات قانع نشویم.
هرچند گودل در ۱۴ژانویه ۱۹۷۸ چشم از این جهان فروبست، اما نتیجه دستاوردهای او در تغییر بنیادهای تفکر انسان، هنوز دوران تولد خود را می گذراند. آلن تورینگ- ریاضیدان برجسته انگلیسی و پیشگام نظریه هوش مصنوعی، با به کارگیری قضیه ناکامل بودن گودل در نظریه محاسبات نشان داد که یک کامپیوتر یا روبات هیچ گاه نخواهد توانست تمام کارهایی را که انسان قادر به انجام آن است، انجام دهد (و این در حالی بود که برخی، انسان را صرفا یک ماشین بسیار پیچیده می دانستند). جالب تر از آن، دریافت اخیر استفن هاوکینگ از دستاورد فکری گودل است.

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

@mazboohane

گفتم تو را دوست دارم
صدای مرا نقاشی کن
دلتنگ توام اندوهِ مرا نقاشی کن
به تو می اندیشم در غم
پندارِ مرا نقاشی کن
گفتی در خلایی که هوا نیست
نه من تو را می خوانم
نه تو مرا می شناسی
برایم چراغی بیاور
بی نور
چگونه نقاشی کنم؟

#محمد_ابراهیم_جعفری

یه وب سایت عالی که بیش از ۱۰۰۰ تا بهترین ابزار های هوش مصنوعی رو یک جا جمع کرده که می تونید بین اون ها جستجو کنید و ابزار مورد نیاز رو پیدا کنید.
Ai Library

@lython

مجموعه سم های دنیای برنامه نویسی در یک ویدیوی ۱۵ دقیقه ای:
https://youtu.be/iHz6wiYh44M

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

https://youtu.be/sS858FE5xoc

ناسا می‌خواهد از تلفن‌های همراه شما برای شناسایی یوفوها استفاده کند
به این شکل که گفتن اگه فضایی هارو دیدید ازشون ویدیو بگیرید وبرای ما بفرستید
هرچقدر تلاش کردم ببینم واقعا خبر طنز هست ولی جدی بود
https://www.businessinsider.com/nasa-use-your-cellphones-help-identify-ufos-2023-5
@geekalerts