Media is too big
VIEW IN TELEGRAM
❗️چرا باید ریاضی بخوانیم؟؟
✅صحبتهای زیبای دکتر آل هفت تن در نمایشگاه هفته پژوهش
پ.ن: خیلی خیلی ممنونیم از دکتر آل هفت تن که دعوت ما رو پذیرفتن و وقتشونو در اختیار ما قرار دادند.
#زیبایی_ریاضیات
#هفته_پژوهش
#حمایت
@Math_jsu
✅صحبتهای زیبای دکتر آل هفت تن در نمایشگاه هفته پژوهش
پ.ن: خیلی خیلی ممنونیم از دکتر آل هفت تن که دعوت ما رو پذیرفتن و وقتشونو در اختیار ما قرار دادند.
#زیبایی_ریاضیات
#هفته_پژوهش
#حمایت
@Math_jsu
19_شیرینی_درس_ریاضی_در_زمین_فوتبال.pdf
661.7 KB
✅شیرینی درس ریاضی در زمین فوتبال
مقاله شماره ۱۶
#مقاله
#معرفی_کتاب
#زیبایی_ریاضیات
❗️علاقهمندان، معلمان و دانشآموزان به ریاضی را به کانال دعوت کنید.
@Math_jsu
مقاله شماره ۱۶
#مقاله
#معرفی_کتاب
#زیبایی_ریاضیات
❗️علاقهمندان، معلمان و دانشآموزان به ریاضی را به کانال دعوت کنید.
@Math_jsu
Media is too big
VIEW IN TELEGRAM
❗️سیر تکاملی ریاضیات!
✅مباحثهی زیبای دکتر عصاری و مهندس کثیری در نمایشگاه هفته پژوهش
پ.ن: خیلی خیلی ممنونیم از دکتر عصاری و مهندس کثیری که دعوت ما رو پذیرفتن و وقتشونو در اختیار ما قرار دادند.
#زیبایی_ریاضیات
#هفته_پژوهش
#حمایت
@Math_jsu
✅مباحثهی زیبای دکتر عصاری و مهندس کثیری در نمایشگاه هفته پژوهش
پ.ن: خیلی خیلی ممنونیم از دکتر عصاری و مهندس کثیری که دعوت ما رو پذیرفتن و وقتشونو در اختیار ما قرار دادند.
#زیبایی_ریاضیات
#هفته_پژوهش
#حمایت
@Math_jsu
با سلام
رییس دانشگاه جندی شاپور دزفول طی ابلاغ های جداگانهای آقایان "دکتر ظاهر زاده" را به سمت سرپرست معاونت آموزش و تحصیلات تکمیلی دانشگاه، "دکتر حلالی" به سمت رییس دانشکده علوم پایه منصوب کردند.
خدمت اساتید عزیز و پرتلاش گروه ریاضی جناب آقای دکتر حلالی و دکتر ظاهر زاده تبریک عرض میکنیم.
با آرزوی کسب موفقیتهای روزافزون در موقعیتهای جدید.
#خبری
@Math_jsu
رییس دانشگاه جندی شاپور دزفول طی ابلاغ های جداگانهای آقایان "دکتر ظاهر زاده" را به سمت سرپرست معاونت آموزش و تحصیلات تکمیلی دانشگاه، "دکتر حلالی" به سمت رییس دانشکده علوم پایه منصوب کردند.
خدمت اساتید عزیز و پرتلاش گروه ریاضی جناب آقای دکتر حلالی و دکتر ظاهر زاده تبریک عرض میکنیم.
با آرزوی کسب موفقیتهای روزافزون در موقعیتهای جدید.
#خبری
@Math_jsu
✅سیاره زحل یکی از زیباترین سیارات منظومه شمسی است. با حلقههای که در اطراف آن قرار دارد. و به شکل اسرار آمیزی در مدار خود به دور آن میچرخند. جنس این سیاره شبیه به مشتری از گازهای فشرده و متراکم هیدروژن و هلیم هست.و طوفانها و گردبادهای رنگارنگ عظیمی که بزرگی بعضی از آنها به اندازه کل سیاره زمین هست، در سطح آن دایما در حال چرخیدن و جابهجایی هست. اما نکته خیلی جالب و زیبا این هست که در قطب شمال این سیاره، از برخورد طوفانها و جریانهای بادی عظیم آن یک #شش_ضلعی_منتظم ایجاد میشود، به نام شش ضلعی زحل. دلیل اصلی این پدیده هنوز مشخص نشده است و نظریات مختلفی در مورد آن وجود دارد. با مدلسازی فیزیکی و با شبیه سازی ریاضی ارتعاش امواج و استفاده از نظریه سری فوریه میتوان توجیهات ریاضی مناسبی برای این پدیده بیان کرد.
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
✅ بوزجانی ریاضی دان و منجم برجسته ایرانی قرن چهارم هجری است که به سبب نوآوری ها و کوشش هایش در ریاضیات و نجوم و محاسبات منحصر به فرد به وی لقب حاسب و مهندس داده اند. وی بسیاری از مسائل دشوار و منحصر به فرد هندسی را حل کرده و تحقیقات زیادی در اصول ترسیمات هندسی انجام داده است. بوزجانی روش های باستانی مثلثات کروی را ساده کرده و قانون سینوس ها را برای مثلث های کروی کلی اثبات کرد. یکی از اولین اثباتهای قضیه کلی سینوس ها برای حل مثلثهای غیر قائم الزاویه، توسط بوزجانی ابداع گردید. وی اولین کسی است که مطالعات دقیقی درباره کره ماه انجام داد و به همین خاطر به افتخار او یکی از گودال های موجود در کره ماه به نام وی نامگذاری شده است.
#تاریخ_ریاضیات
#جمعههای_ریاضی
@Math_jsu
#تاریخ_ریاضیات
#جمعههای_ریاضی
@Math_jsu
Amadegi Baraye Emtehan Riazi 1 (Najafikhah) (Math75.iR).pdf
978.4 KB
✅آمادگی برای امتحان ریاضی عمومی ۱
نمونه سوالاتی امتحانی و عالی برای درس ریاضی۱
#اطلاعات_پایه
#جمعههای_ریاضی
@Math_jsu
نمونه سوالاتی امتحانی و عالی برای درس ریاضی۱
#اطلاعات_پایه
#جمعههای_ریاضی
@Math_jsu
✅تصویر زیبای #برج_آزادی توسط نمودارهای توابع ریاضی
توسط: #استاد_سید
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
توسط: #استاد_سید
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
4_5819080090738230805.pdf
3.1 MB
☑️تصویر زیبای #برج_آزادی توسط نمودارهای توابع ریاضی
توسط: #استاد_سید
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
توسط: #استاد_سید
#زیبایی_ریاضیات
#کاربرد_ریاضیات
#جمعههای_ریاضی
@Math_jsu
💐
یلدا یعنی یادمان باشد زندگی آنقدر کوتاه است که یک دقیقه بیشتر با هم بودن را باید جشن گرفت.
#زیبایی_ریاضیات
#شب_یلدا_مبارک_باد
#جمعههای_ریاضی
@Math_jsu
یلدا یعنی یادمان باشد زندگی آنقدر کوتاه است که یک دقیقه بیشتر با هم بودن را باید جشن گرفت.
#زیبایی_ریاضیات
#شب_یلدا_مبارک_باد
#جمعههای_ریاضی
@Math_jsu
Media is too big
VIEW IN TELEGRAM
✅مستند قصه ریاضی(مجموعه چهام آن سوی بینهایت)
#قسمت_سوم
#قصه_ریاضی
#زیبایی_ریاضیات
#جمعههای_ریاضی
✔️برای همه دوستانتون، آشناهاتون بفرستید، تا با ریاضیات و زیبایی ریاضی بیشتر آشنا شوند.
@Math_jsu
#قسمت_سوم
#قصه_ریاضی
#زیبایی_ریاضیات
#جمعههای_ریاضی
✔️برای همه دوستانتون، آشناهاتون بفرستید، تا با ریاضیات و زیبایی ریاضی بیشتر آشنا شوند.
@Math_jsu
Forwarded from رسول جعفریان
فضای ضد دانش در جوامع امروزی
امروزه نه فقط در جوامع عقب افتاده و نیمه توسعه یافته، که در کشورهای مترقی و پیشرفته هم، اظهارات به ظاهر عالمانه اما در اصل تهی از حقیقت، فراوان است. این مطالب، در حوزه های مختلف وجود دارد. از تاریخ گرفته تا پزشکی. علوم تربیتی حجم بالایی از این ادعاهای دروغ را در خود جای می دهد. رشته هایی که امکان سنجش گزاره های آنها به راحتی وجود ندارد، بیشتر درگیر این فاجعه ضد علمی هستند. مثلا در حوزه تاریخ، هر چه فضای تاریخی و جغرافیایی انتخاب شده بزرگتر باشد، دروغ گفتن راحت تر است. در تاریخ تمدنها، می شود ادعاهای عجیب کرد که شاید برای چند دهه بلکه بیشتر همه را سرکار می گذارد. اگر شما آدم مهمی شده باشید، مثلا به خاطر کلمات قصاری که مردم از شما بپسندند، به راحتی می توانید دروغ های شاخدار بگویید و به عنوان حقایق جاودان ثبت شود. مثلا فلان کس، با تبلیغات ناشی از یک فضای معین، تبدیل به پدر طب سنتی در ایران شده و حالا کلمات قصاری از وی شایع می شود که در هیچ لابراتواری سنجیده نشده اما مقبولیت عامه می یابد.. مردم، کف جامعه، نقش مهمی در پذیرش این معانی دارند و به راحتی آنها را نشر می دهند و فضا را از آنها پر می کنند. در حال حاضر دشمن علم همین ها هستند. در جوامعی که خطابه نقش مهمی دارد و در عوض کلاس و درس ضعیف برگزار می شود و تحقیقات بی اهمیت هستند، این مشکل بیشتر وجود دارد. در واقع، فرهنگ شفاهی اگر در جامعه ای مهم باشد، این دشواری در آن زیاد است. گفتن این که مثلا اسکندر چنین و چنان کرد، یا چنگیز یا برخی دیگر، ... بسته به این که قرنها چه تصویری از آنها در اذهان باشد، به راحتی مورد قبول قرار می گیرد. گاهی به نفع غرب گاهی شرق و گاهی افریقا. آدم ها بزرگ و کوچک می شوند و اغلب کسی سوال نمی کند که دلیل آن چیست. فقط ریاضیات است که از این مصیبت در امان است. آزمایش های سنگین در لابراتوراها نیز مانع مهمی بر سر راه ترویج دروغ هستند. در این قبیل جاها، داد و فریاد کردن، راه به جایی نمی برد. اما بسیاری از رشته های علمی دیگر در حوزه های انسانی و اجتماعی، به راحتی پذیرایی دروغ هستند، گاهی حتی بیش از میدان سیاست که در دروغگویی کم نظیر است. چه کسی ادبیات ضد علم را در رشته های مختلف بحث می کند و ضوابط و قوانین و روند آن را توضیح می دهد؟ امروز کتابچه ای دیدم با عنوان «ضد دانش» از تامپسون که تلاش کرده است برخی از زمینه های شیوع این قبیل اظهار نظرهای به ظاهر عالمانه اما در واقع ضد دانش را بحث کند. شهرت کاذب برخی از اشخاص، نقشی که رسانه ها در این باره دارند، ایجاد تشکل های دروغ در حمایت از معرفی نخبگان، و هزار و یک ابزار دیگر که نه دنبال علم، بلکه دنبال تجارت هستند، از ابزارهای ضد دانش تلقی می شوند. حالا که اینترنت آمده، دروغ گویی در حوزه علم، مثل خیلی از حوزه ها، زمینه رشد بهتری پیدا کرده است. فالورهای میلیونی، وبسایت های خبری بسیار پر طرفدار، ابزاری برای طرح دعاوی ضد علم در بسیاری از حوزه ها هستند. مردم سرگردان هم دایما در اینترنت جستجو می کنند و فریب می خورند و در ترویج بیشتر مطالب خلاف که کاملا در دسترس است، تلاش می کنند. تاکنون دولت ها و مراکز علمی شناخته شده، به درستی وارد این حوزه ها نشده و راههایی برای جلوگیری از روش های جدید در نشر مطالب ضد علم را باب نکرده اند. به نظرم، کتاب «ضد دانش» در این زمینه حساسیت خوبی را ایجاد می کند.
@jafarian1964
امروزه نه فقط در جوامع عقب افتاده و نیمه توسعه یافته، که در کشورهای مترقی و پیشرفته هم، اظهارات به ظاهر عالمانه اما در اصل تهی از حقیقت، فراوان است. این مطالب، در حوزه های مختلف وجود دارد. از تاریخ گرفته تا پزشکی. علوم تربیتی حجم بالایی از این ادعاهای دروغ را در خود جای می دهد. رشته هایی که امکان سنجش گزاره های آنها به راحتی وجود ندارد، بیشتر درگیر این فاجعه ضد علمی هستند. مثلا در حوزه تاریخ، هر چه فضای تاریخی و جغرافیایی انتخاب شده بزرگتر باشد، دروغ گفتن راحت تر است. در تاریخ تمدنها، می شود ادعاهای عجیب کرد که شاید برای چند دهه بلکه بیشتر همه را سرکار می گذارد. اگر شما آدم مهمی شده باشید، مثلا به خاطر کلمات قصاری که مردم از شما بپسندند، به راحتی می توانید دروغ های شاخدار بگویید و به عنوان حقایق جاودان ثبت شود. مثلا فلان کس، با تبلیغات ناشی از یک فضای معین، تبدیل به پدر طب سنتی در ایران شده و حالا کلمات قصاری از وی شایع می شود که در هیچ لابراتواری سنجیده نشده اما مقبولیت عامه می یابد.. مردم، کف جامعه، نقش مهمی در پذیرش این معانی دارند و به راحتی آنها را نشر می دهند و فضا را از آنها پر می کنند. در حال حاضر دشمن علم همین ها هستند. در جوامعی که خطابه نقش مهمی دارد و در عوض کلاس و درس ضعیف برگزار می شود و تحقیقات بی اهمیت هستند، این مشکل بیشتر وجود دارد. در واقع، فرهنگ شفاهی اگر در جامعه ای مهم باشد، این دشواری در آن زیاد است. گفتن این که مثلا اسکندر چنین و چنان کرد، یا چنگیز یا برخی دیگر، ... بسته به این که قرنها چه تصویری از آنها در اذهان باشد، به راحتی مورد قبول قرار می گیرد. گاهی به نفع غرب گاهی شرق و گاهی افریقا. آدم ها بزرگ و کوچک می شوند و اغلب کسی سوال نمی کند که دلیل آن چیست. فقط ریاضیات است که از این مصیبت در امان است. آزمایش های سنگین در لابراتوراها نیز مانع مهمی بر سر راه ترویج دروغ هستند. در این قبیل جاها، داد و فریاد کردن، راه به جایی نمی برد. اما بسیاری از رشته های علمی دیگر در حوزه های انسانی و اجتماعی، به راحتی پذیرایی دروغ هستند، گاهی حتی بیش از میدان سیاست که در دروغگویی کم نظیر است. چه کسی ادبیات ضد علم را در رشته های مختلف بحث می کند و ضوابط و قوانین و روند آن را توضیح می دهد؟ امروز کتابچه ای دیدم با عنوان «ضد دانش» از تامپسون که تلاش کرده است برخی از زمینه های شیوع این قبیل اظهار نظرهای به ظاهر عالمانه اما در واقع ضد دانش را بحث کند. شهرت کاذب برخی از اشخاص، نقشی که رسانه ها در این باره دارند، ایجاد تشکل های دروغ در حمایت از معرفی نخبگان، و هزار و یک ابزار دیگر که نه دنبال علم، بلکه دنبال تجارت هستند، از ابزارهای ضد دانش تلقی می شوند. حالا که اینترنت آمده، دروغ گویی در حوزه علم، مثل خیلی از حوزه ها، زمینه رشد بهتری پیدا کرده است. فالورهای میلیونی، وبسایت های خبری بسیار پر طرفدار، ابزاری برای طرح دعاوی ضد علم در بسیاری از حوزه ها هستند. مردم سرگردان هم دایما در اینترنت جستجو می کنند و فریب می خورند و در ترویج بیشتر مطالب خلاف که کاملا در دسترس است، تلاش می کنند. تاکنون دولت ها و مراکز علمی شناخته شده، به درستی وارد این حوزه ها نشده و راههایی برای جلوگیری از روش های جدید در نشر مطالب ضد علم را باب نکرده اند. به نظرم، کتاب «ضد دانش» در این زمینه حساسیت خوبی را ایجاد می کند.
@jafarian1964
20_استفاده_از_دستسازهها_در_آموزش.pdf
547.7 KB
✅استفاده از دست سازه ها در آموزش حجم
مقاله شماره ۱۷
#مقاله
#معرفی_کتاب
#زیبایی_ریاضیات
#جمعههای_ریاضی
❗️علاقهمندان، معلمان و دانشآموزان به ریاضی را به کانال دعوت کنید.
@Math_jsu
مقاله شماره ۱۷
#مقاله
#معرفی_کتاب
#زیبایی_ریاضیات
#جمعههای_ریاضی
❗️علاقهمندان، معلمان و دانشآموزان به ریاضی را به کانال دعوت کنید.
@Math_jsu
❗️قضیه ناتمامیت گودل و فلسفه ذهن❗️
1. معرفی قضايای ناتماميت گودل
در سال 1931 كورت گودل (78 ـ 1906) منطقدان اتريشی در مقالهای دوران سـاز و تـاريخي موفق به اثبات دو قضيه مهم در حوزه منطق رياضی گشت، كه به قضايای ناتماميت معـروف شدهاند. اين قضايا معمولاً به عنوان مهمترين دستاورد تاريخ منطق به حساب میآيند. اما ايـن قضايا از چه سخن میگويند؟
به طور كلی میتوان گفت اين قضايا به ذكر ويژگیهايی از يك نظـام صـوری بـه انـدازه كافی قوی كه شامل حساب مقدماتی اعداد بشود (براي مثال PA) میپردازد. در قضيه اول بـه جملهای در نظامهایـصوری اشاره میشود كه هر چند صادق است، قابل اثبـات نيسـت؛ بـه شرط آن كه نظام صوری سازگار باشد (G1). در قضـية دوم اثبـات ناپـذيری سـازگاری نظـام صوری مورد بحث اثبات میشود (G2). میتوان به اجمـال و بـه صـورت غيـر صـوری بـه چگونگی اين استدلال پرداخت:
گودل نظام صوری اصل موضوعی شدهای (F) را در نظر گرفت كه: 1ـ سازگار بوده و 2ـ به اندازه كافی برای بيان حساب مقدماتی اعداد قوی باشد (گودل خود، نظام صـوری اصـول رياضی وايتهد و راسل را مد نظر داشت). سپس با الهـام از جمـلات خود ارجـاعی همچـون جمله دروغگو «اين جمله كاذب است» به ساخت جمله «من اثبات ناپذيرم» ( كه از اين پـس با G(F) نمايش میدهيم) پرداخت. اين جمله در هر زبان صوری كه ويژگی دوم ذكر شده در بالا را داشته باشد قابليت صوری شدن دارد. حال گوئيم، اگـر جملـه G(F) در F اثبـات پـذير باشد، از آن جا كه F سازگار است، بنابراين بايد G(F) صادق باشد؛ يعنی «من اثبـات ناپـذيرم» صادق است و اين با اثبات پذيری آن در تناقض قـرار مـیگيـرد . امـا اگـر جملـه G(F) در F اثبات ناپذير باشد، آنگاه از آن جا كه خود نيز به اثبات ناپـذيری خـود اذعـان مـیكنـد، G(F) صادق خواهد بود. از آن جا كه برای صـدق جملـه G(F) سـازگاری ايـن نظـام را مفـروض گــرفتيم، مــیتــوانيم جملــه اثبــات شــده توســط ايــن نظــام را بــا
Con(F)G(F) (Consistent=Con)
نمايش دهيم.
از طرف ديگر، اگر G(F)¬ از اين نظام اثبات پـذير باشـد، آنگـاه بـا قـانون رفـع تـالی بـه ناسازگاری اين نظام میرسيم Con(F)¬، كه با فرض سازگاری نظام در تناقض اسـت . پـس درنظام F، هيچ يك از دو جملـه G(F) و G(F)¬ نيـز اثبـات پـذير نيسـتند. ايـن نتيجـة قضـية اول ناتماميت گودل است. از اين قضيه میتوان نتيجه گرفت كه Con(F) نيز اثبات پذير نيست. زيرا اگر فرض كنيم
Con (F)
در F اثبات پذير باشد، با اعمال قاعده وضع مقـدم، G(F) نيـز مـیبايـد در F اثبات پذير باشد؛ در حالی كه يكی از نتايج قضيه اول ناتماميت اين بود كـه G(F) و G(F)¬ در F اثبات پذير نيستند (تناقض)؛ پس Con(F) در F اثبات پذير نيست (قضيه دوم ناتماميت گودل).
پس از سال 1931 بحثهايی پيرامون تبعات فلسفی اين قضايا مطرح گشت؛ بخشی از اين مباحثات پيرامون فلسفههای رياضی مطرح در آن زمان بـود؛ پـس از چنـد دهـه، ايـن قضايا موجب مباحثی بسيار جدي در فلسفه ذهن و هوش مصنوعی شد. در بخشهای زير تنها به مباحثی كه در فلسفهی ذهن مطرح گشته میپردازيم.
#مقاله
#گودل
#کامران_قیومزاده
#فلسفه_ریاضی
#زیبایی_ریاضیات
#جمعههای_ریاضی
@Math_jsu
1. معرفی قضايای ناتماميت گودل
در سال 1931 كورت گودل (78 ـ 1906) منطقدان اتريشی در مقالهای دوران سـاز و تـاريخي موفق به اثبات دو قضيه مهم در حوزه منطق رياضی گشت، كه به قضايای ناتماميت معـروف شدهاند. اين قضايا معمولاً به عنوان مهمترين دستاورد تاريخ منطق به حساب میآيند. اما ايـن قضايا از چه سخن میگويند؟
به طور كلی میتوان گفت اين قضايا به ذكر ويژگیهايی از يك نظـام صـوری بـه انـدازه كافی قوی كه شامل حساب مقدماتی اعداد بشود (براي مثال PA) میپردازد. در قضيه اول بـه جملهای در نظامهایـصوری اشاره میشود كه هر چند صادق است، قابل اثبـات نيسـت؛ بـه شرط آن كه نظام صوری سازگار باشد (G1). در قضـية دوم اثبـات ناپـذيری سـازگاری نظـام صوری مورد بحث اثبات میشود (G2). میتوان به اجمـال و بـه صـورت غيـر صـوری بـه چگونگی اين استدلال پرداخت:
گودل نظام صوری اصل موضوعی شدهای (F) را در نظر گرفت كه: 1ـ سازگار بوده و 2ـ به اندازه كافی برای بيان حساب مقدماتی اعداد قوی باشد (گودل خود، نظام صـوری اصـول رياضی وايتهد و راسل را مد نظر داشت). سپس با الهـام از جمـلات خود ارجـاعی همچـون جمله دروغگو «اين جمله كاذب است» به ساخت جمله «من اثبات ناپذيرم» ( كه از اين پـس با G(F) نمايش میدهيم) پرداخت. اين جمله در هر زبان صوری كه ويژگی دوم ذكر شده در بالا را داشته باشد قابليت صوری شدن دارد. حال گوئيم، اگـر جملـه G(F) در F اثبـات پـذير باشد، از آن جا كه F سازگار است، بنابراين بايد G(F) صادق باشد؛ يعنی «من اثبـات ناپـذيرم» صادق است و اين با اثبات پذيری آن در تناقض قـرار مـیگيـرد . امـا اگـر جملـه G(F) در F اثبات ناپذير باشد، آنگاه از آن جا كه خود نيز به اثبات ناپـذيری خـود اذعـان مـیكنـد، G(F) صادق خواهد بود. از آن جا كه برای صـدق جملـه G(F) سـازگاری ايـن نظـام را مفـروض گــرفتيم، مــیتــوانيم جملــه اثبــات شــده توســط ايــن نظــام را بــا
Con(F)G(F) (Consistent=Con)
نمايش دهيم.
از طرف ديگر، اگر G(F)¬ از اين نظام اثبات پـذير باشـد، آنگـاه بـا قـانون رفـع تـالی بـه ناسازگاری اين نظام میرسيم Con(F)¬، كه با فرض سازگاری نظام در تناقض اسـت . پـس درنظام F، هيچ يك از دو جملـه G(F) و G(F)¬ نيـز اثبـات پـذير نيسـتند. ايـن نتيجـة قضـية اول ناتماميت گودل است. از اين قضيه میتوان نتيجه گرفت كه Con(F) نيز اثبات پذير نيست. زيرا اگر فرض كنيم
Con (F)
در F اثبات پذير باشد، با اعمال قاعده وضع مقـدم، G(F) نيـز مـیبايـد در F اثبات پذير باشد؛ در حالی كه يكی از نتايج قضيه اول ناتماميت اين بود كـه G(F) و G(F)¬ در F اثبات پذير نيستند (تناقض)؛ پس Con(F) در F اثبات پذير نيست (قضيه دوم ناتماميت گودل).
پس از سال 1931 بحثهايی پيرامون تبعات فلسفی اين قضايا مطرح گشت؛ بخشی از اين مباحثات پيرامون فلسفههای رياضی مطرح در آن زمان بـود؛ پـس از چنـد دهـه، ايـن قضايا موجب مباحثی بسيار جدي در فلسفه ذهن و هوش مصنوعی شد. در بخشهای زير تنها به مباحثی كه در فلسفهی ذهن مطرح گشته میپردازيم.
#مقاله
#گودل
#کامران_قیومزاده
#فلسفه_ریاضی
#زیبایی_ریاضیات
#جمعههای_ریاضی
@Math_jsu
✅گذری کوتاه بر زندگی ریاضیدان نروژی هنریک آبل...!
♨️آبل: اگر حالات بسیار ساده را کنار بگذاریم، در تمام ریاضیات هیچ سری نامتناهی مشخصی وجود ندارد که مقدار آن دقیقا تعیین شده باشد.
✔️حتما این مطلب زیبا رو در اینستگرام مطالعه بکنید.
#تاریخ_ریاضیات
#زیبایی_ریاضیات
#جمعههای_ریاضی
❗️در اینستگرام مشاهد کنید.❗️
@Math_jsu
ادرس 📷 اینستاگرام: 👇👇👇
instagram.com/Math_jsu
♨️آبل: اگر حالات بسیار ساده را کنار بگذاریم، در تمام ریاضیات هیچ سری نامتناهی مشخصی وجود ندارد که مقدار آن دقیقا تعیین شده باشد.
✔️حتما این مطلب زیبا رو در اینستگرام مطالعه بکنید.
#تاریخ_ریاضیات
#زیبایی_ریاضیات
#جمعههای_ریاضی
❗️در اینستگرام مشاهد کنید.❗️
@Math_jsu
ادرس 📷 اینستاگرام: 👇👇👇
instagram.com/Math_jsu
Blessings
@music_lights -Parijat
یک موسیقی خاص، متفکرانه و خوش ساخت از موزیسین آلمانی"پاریات" که از اساتید موسیقی مدیتیشن و ریلکسیشن است.
شب آرامی داشته باشید و لذت ببرید..
#زیبایی_ریاضیات
#آرامش
@Math_jsu
شب آرامی داشته باشید و لذت ببرید..
#زیبایی_ریاضیات
#آرامش
@Math_jsu
گروه ریاضی دانشگاه جندی شاپور دزفول
✔️۲۲ دسامبر سالروز تولد ریاضیدان بزرگ هندی سرینیواسا رامانوجان. #تاریخ_ریاضیات @Math_jsu
✅رامانوجان در ارود، تامیل نادو در هند در یک خانوادهٔ فقیر برهمایی به دنیا آمد. وی برای اولین بار در۱۰ سالگی با ریاضیدانهای معمولی آشنا میشود و از خود استعداد و توانایی زیادی را در این زمینه نشان میدهد، برای همین یک کتاب پیشرفتهٔ مثلثات نوشتهٔ لونی، به او میدهند.
✅او تا ۱۲ سالگی بر این کتاب مسلط میشود و حتی چند قضیه را نیز خود به تنهایی پیدا میکند مانندتساوی اویلر که او آن را به تنهایی و کاملاً مستقل بدست میآورد. او در دوران مدرسه، استعداد شگفت-انگیز و کمتر دیده شدهای از خود نشان میدهد و مورد ستایش دیگران قرار میگیرد و بسیاری از جایزههای ریاضی را برنده میشود.
✅در ۱۷ سالگی به تنهایی شروع به تحقیق دربارهٔ اعداد برنولی و ثابت اویلر میکند. بورس تحصیلی کالج دولتی در کومباکونام را برنده میشود ولی چون نمیتواند در درسهای غیر ریاضی خود موفق شود به ناچار این امتیاز تحصیلی را ازدست میدهد. او به کالج دیگری میرود تا بتواند تحقیقات انفرادی خود در ریاضی را ادامه دهد و همزمان به عنوان کارمند حسابدار در مَدرس شروع به کار میکند تا بتواند هزینههای زندگی خود را تأمین کند.
✅در سالهای ۱۹۱۲ تا ۱۹۱۳ چند نمونه از تلاشهای خود در ریاضی را برای سه نفر از استادان دانشگاه کمبریج میفرستد. هاردی متوجه استعداد ویژهٔ رامانوجان در ریاضی میشود و او را به کمبریج دعوت میکند. به عضویت انجمن سلطنتی و کالج ترینیتی کمبریج در میآید. اما به دلیل ابتلا به بیماری سل در سال ۱۹۲۰ در ۳۲ سالگی از دنیا میرود.
✅لیتِلوود دربارهٔ او گفتهاست که: «هر یک از اعداد صحیح مثبت یکی از دوستان صمیمی او هستند.» هاردی در خاطرات خود نوشتهاست: «روزی که برای عیادت او که در پتنی بستری بود سوار تاکسی شدم که شمارهٔ آن ۱۷۲۹ بود، وقتی او را دیدم گفتم که این عدد هیچ خاصیت جالبی ندارد. او بلافاصله گفت: نه، اینطور نیست. این عدد کوچکترین عددی است که میتوان به دو راه متفاوت آنرا به صورت مجموع دو مکعب کامل نوشت.»
#تاریخ_ریاضیات
@Math_jsu
✅او تا ۱۲ سالگی بر این کتاب مسلط میشود و حتی چند قضیه را نیز خود به تنهایی پیدا میکند مانندتساوی اویلر که او آن را به تنهایی و کاملاً مستقل بدست میآورد. او در دوران مدرسه، استعداد شگفت-انگیز و کمتر دیده شدهای از خود نشان میدهد و مورد ستایش دیگران قرار میگیرد و بسیاری از جایزههای ریاضی را برنده میشود.
✅در ۱۷ سالگی به تنهایی شروع به تحقیق دربارهٔ اعداد برنولی و ثابت اویلر میکند. بورس تحصیلی کالج دولتی در کومباکونام را برنده میشود ولی چون نمیتواند در درسهای غیر ریاضی خود موفق شود به ناچار این امتیاز تحصیلی را ازدست میدهد. او به کالج دیگری میرود تا بتواند تحقیقات انفرادی خود در ریاضی را ادامه دهد و همزمان به عنوان کارمند حسابدار در مَدرس شروع به کار میکند تا بتواند هزینههای زندگی خود را تأمین کند.
✅در سالهای ۱۹۱۲ تا ۱۹۱۳ چند نمونه از تلاشهای خود در ریاضی را برای سه نفر از استادان دانشگاه کمبریج میفرستد. هاردی متوجه استعداد ویژهٔ رامانوجان در ریاضی میشود و او را به کمبریج دعوت میکند. به عضویت انجمن سلطنتی و کالج ترینیتی کمبریج در میآید. اما به دلیل ابتلا به بیماری سل در سال ۱۹۲۰ در ۳۲ سالگی از دنیا میرود.
✅لیتِلوود دربارهٔ او گفتهاست که: «هر یک از اعداد صحیح مثبت یکی از دوستان صمیمی او هستند.» هاردی در خاطرات خود نوشتهاست: «روزی که برای عیادت او که در پتنی بستری بود سوار تاکسی شدم که شمارهٔ آن ۱۷۲۹ بود، وقتی او را دیدم گفتم که این عدد هیچ خاصیت جالبی ندارد. او بلافاصله گفت: نه، اینطور نیست. این عدد کوچکترین عددی است که میتوان به دو راه متفاوت آنرا به صورت مجموع دو مکعب کامل نوشت.»
#تاریخ_ریاضیات
@Math_jsu