Quant Way

🎥 تیراندازی در حین سخنرانی انتخاباتی ترامپ 🔹دونالد ترامپ، کاندیدای جمهوری‌خواه، حین سخنرانی انتخاباتی در جمع طرفدارانش در پنسیلوانیا مورد سوءقصد قرار گرفت و زخمی شد. 🔹علاوه بر فرد تیرانداز، یک نفر دیگر نیز هدف شلیک قرار گرفته و کشته شده است. /ایسنا 📌پایگاه اصفهان خبر @khabar_isf

کورت گودل؛ نتایج اثبات قضایای گودل #برگی_از_کتاب «نتایج اثبات قضایای گودل» 📚در اوایل قرن بیستم یکی از ریاضی‌دانان مشهور به نام دیوید هیلبرت، با جلب همکاری بعضی از بزرگترین ریاضی‌دانان جهان، به این مهم اهتمام کرد که از طریق طرح یک برنامه تحقیق وسیع، سازگاری درونی منطق ریاضی و نظریه مجموعه‌ها را اثبات کند. اثبات سازگاری درونی نظریه مجموعه‌ها از این نظر مهم بود که از نظریه مجموعه‌ها، پس از دستاوردهای جرج کانتور و دیگران، به صورت پایه جدیدی برای تبیین ریاضیات استفاده می‌شد. لیکن قبل از اینکه برنامه تحقیقی هیلبرت به طور وسیع آغاز شود یک ریاضی‌دان جوان گمنام به نام کورت گودل مقاله‌ای نوشت و در آن دو قضیه مهم را اثبات کرد. به زبان ساده نتیجه اثبات وی را می‌توان چنین بیان کرد: اول اینکه اگر نظریه مجموعه‌ها صحیح باشد آنگاه در ریاضی گزاره‌های صحیحی هست که هرگز نه می‌توان آن‌ها را اثبات و نه رد کرد. این امر که قضیه‌هایی وجود دارند که غیرقابل اثبات یا رد هستند به مسأله عدم امکان تصمیم‌گیری مشهور است. دومین قضیه‌ای که اثبات کرد این بود که اگر یک سیستم ریاضی رسمی را در نظر بگیریم که تکمیل باشد، آن‌گاه سازگاری درونی آن نقض می‌شود. اثبات وی در مورد هر سیستم منطقی که به صورت رسمی قابل صورت‌بندی باشد قابل تعمیم است. این اثبات مجدداً یادآور یک ویژگی و محدودیت ذاتی ذهن انسان است که در مورد صحت هیچ چیز نمی‌تواند کاملاً مطمئن باشد. این قضیه‌ها که به اثبات گودل معروف است گرچه در ابتدا به نظر می‌رسید که پایه‌های اساسی منطق و روش منطقی انسان که ریاضیات است و طی قرون طولانی تکمیل شده را با تزلزل جدی روبه‌رو کرد، لیکن در واقع با روشن کردن نقاط ضعف بالقوه، در نفس خود به یک دستاورد مهم تبدیل شد؛ زیرا یک نتیجه جانبی این اثبات این بود که هیچ ساختار منطقی (مانند یک رشته علمی) را نمی‌توان بر اساس اصول اولیه‌ای پایه‌گذاری کرد که از داخل همان ساختار کسب شده و از اثبات‌های همان ساختار فکری یا رشته علمی حاصل شده باشد. علی‌رغم هر صورت‌بندی که از منطق انجام می‌دهیم ملاحظه و نگرانی در مورد تضمین سازگاری درونی در چارچوب صورت‌بندی همان تئوری علمی ضروری است. کتاب «روش علم» اثر محمد طبیبیان نشر دنیای اقتصاد

این ویدیوی فوق العاده رو از دست ندید! درسته که طولانیه ولی دیدتون نسبت به ریاضیات، منطق و علم رو برای همیشه تغییر میده موضوع ویدیو قضیه ناتمامیت گودل و برخی جزئیاتش هستش https://www.youtube.com/watch?v=HeQX2HjkcNo

ستاره خلیج فارس به عنوان بزرگترین پالایشگاه میعانات گازی جهان در بورس تهران پذیرش شد مدیرعامل بورس تهران خبر داد: ستاره خلیج فارس به عنوان بزرگترین پالایشگاه میعانات گازی جهان در بورس تهران پذیرش شد. محمود گودرزی، مدیرعامل شرکت بورس با اعلام خبر فوق گفت: این پالایشگاه مدرن‌ترین پالایشگاه خاورمیانه است که با مساحتی حدود 730 هکتار در 25 کیلومتری غرب بندرعباس واقع شده است. گودرزی ستاره خلیج فارس را دارای جایگاه استراتژیک در توازن انرژی کشور عنوان کرد و اظهار داشت: ستاره خلیج فارس به عنوان بزرگترین پالایشگاه میعانات گازی جهان هم اکنون جایگاهی استراتژیک در توازن انرژی کشور و منطقه ایفا می‌کند و توانسته است ایران را از وارد کننده بنزین به صادرکننده بالقوه‌ این محصول استراتژیک تبدیل کند. وی با تاکید بر لزوم حفاظت از محیط زیست توسط ناشران بورسی افزود: ابرپالایشگاه ستاره خلیج فارس به منظور حفظ و استمرار عملیات برداشت گاز از میدان مشترک پارس جنوبی و کاهش آلاینده های زیست محیطی و تضمین خودکفایی کشور در تامین فراورده‌های استراتژیک انرژی مانند بنزین و نفت‌گاز ایجاد شده و فرآورده هایی همچنون گاز مایع، هیدروژن، گوگرد، سوخت جت و انواع حلال ها را تولید می‌کند. مدیرعامل بورس تهران به تولید یک سوم بنزین کشور توسط ستاره خلیج فارس اشاره کرد و گفت: این پالایشگاه در سال رونق تولید و پس از افتتاح فاز سوم پالایشگاه ستاره خلیج فارس و تثبیت تولید 41 میلیون لیتر بنزین در روز، بالغ بر یک سوم از بنزین مصرفی کشور را تامین می نماید. گودرزی در پایان تصریح کرد: با توجه به اندازه ستاره خلیج فارس، این شرکت جزو ۵ شرکت اول بورس تهران از نظر ارزش بازار و میزان فروش خواهد بود./ شرکت بورس

🔻آغاز فراخوان ثبت‌نام خودروهای فرسوده از امروز رئیس ستاد نوسازی ناوگان حمل‌ونقل: ▪️مالکان خودروهای فرسوده می‌توانند از امروز (شنبه) با مراجعه به سامانه nnhk.ir ثبت‌نام کنند تا در اولویت طرح‌های جایگزینی خودروسازان یا اعطای تسهیلات جایگزینی قرار بگیرند. ▪️سن فرسودگی خودروهای شخصی بنزینی، گازسوز، دوگانه سوز و دیزلی ۲۰ سال، هیبریدی ۲۳ سال و برقی ۲۵ سال است. ▪️همچنین این سن برای خودروهای عمومی بنزینی، گازسوز، دوگانه‌سوز و دیزلی ۱۲ سال، هیبریدی ۱۵ سال و برقی ۲۰ سال است.| ایسنا @tejaratnews

دلار #نیما شنبه 23 تیر 1403 435060

قیمت‌گذاری دستوری ممنوع شد! فولادگر عضو شورای عالی اجرای سیاست‌های کلی اصل ۴۴ قانون اساسی اعلام کرد: ابلاغ برنامه هفتم توسعه، راهگشای مسایل اقتصادی در دولت چهاردهم/ قیمت‌گذاری دستوری ممنوع شد حمیدرضا فولادگر گفت: با توجه به شروع ابلاغ برنامه هفتم توسعه و آغاز فعالیت دولت چهاردهم می‌توان نسبت به راهگشایی برخی از مسایل اقتصادی امیدوار بود. در ماده ۴۸ قانون برنامه هفتم توسعه به قیمت‌گذاری دستوری اشاره شده که در این ماده #قیمت‌گذاری_دستوری به استثنای کالاهای اساسی، یارانه‌ای، کالا و خدمات انحصاری و دولتی در دیگر کالاها ممنوع بوده و این موارد در سه تبصره تعریف شده است. | سنا

ماموریت غیر ممکنه ایکس 😂

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

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

اولین حکم پزشکیان برای ظریف صادر شد محمد جواد ظریف وزیر خارجه اسبق،از سوی رئیس_جمهور منتخب به عنوان رئیس شورای_راهبری دوره انتقال دولت چهاردهم منصوب شد.

📸 پیام تبریک رئیس صندوق بین‌المللی پول به پزشکیان به مناسبت جلب اعتماد مردم در انتخابات اخیر ریاست جمهوری و تاکید بر تعهد صندوق بین‌المللی پول برای توسعه همکاری‌ها با ایران | دنیای اقتصاد @tejaratnews

ببینیم و تعریف کنیم کسی می تونه جلوی رانت خواری اینا رو بگیره یا نه 😂

طیب نیا مشاور اقتصادی پزشکیان: 🔸همه ارز های زیر قیمت 60 هزار تومان حذف خواهد شد. قیمت دلار همان قیمت بازار (60 هزار تومان) است

مراسم تنفیذ و اعطای حکم چهاردهمین دوره‌ی ریاست جمهوری اسلامی ایران و آغاز به‌کار رسمی رئیس جمهور منتخب، یکشنبه ۷ مرداد ۱۴۰۳ با حضور رهبر انقلاب اسلامی و جمعی از مسئولان و کارگزاران نظام در حسینیه‌ی امام خمینی(ره) برگزار می‌شود.