دانلود پاورپوینت ارزیابی علم ریاضی  از دیدگاه فلسفه

\n

آشنایی با فلسفه ریاضی

\n

\n

عنوان های پاورپوینت  :

\nفصل یک   :  ماهیت فلسفه\n\nفصل دو    :  روش جدید ریاضی\n\nفصل سه   :  منطق نمادی\n\nفصل چهار  : بحرانهای تاریخی در مبانی ریاضیات\n\nفصل پنج   :  فلسفه های ریاضی\n\nفصل شش  :  ذوات ریاضی\n\nفصل هفت  :  بحثی فلسفی در باب اصل موضوع انتخاب\n\nفصل هشت :  آشنایی با اعداد اصلی\n\nفصل نه     :  رواقیون\n\n \n\n \n\n

---

\n\nقسمت ها و تکه های اتفاقی از فایل\n\n \n\nراسل ریاضیات را به عنوان گردایه همه توابع دکترین فرضیه ای می انگارد.\n\nوی می گوید :\n\n”  ریاضیات را میتوان موضوعی تلقی کرد که درآن ما هرگز نمی دانیم درباره چه چیزی صحبت می کنیم ونمی دانیم آنچه که می گوییم درست است یا نادرست ”.\n\nاین تعبیربا گفته هانری پوانکاره مطابقت دارد که می گوید\n\n” ریاضیات عبارتست ازآنکه به چیزهای مختلف نام یکسان بدهیم ”\n\nمی توان این شاخه ریاضی را درمجموعه ای متشکل از چهارنفر بکار برد: یک مرد، پدر آن مرد، پدر پدرآن مرد ، پدرپدر پدرآن مرد . R به معنی سلف می باشد. متضاد سلف را خلف می نامند. بااین تفسیریک مدل بدست می آید وقضیه ها وتعاریف فوق دراین مورداحکامی درست هستند بیان قضایا دراین مدل عبارتنداز\n\nاگر K متشکل ازچهار نقطه متمایزواقع بریک خط باشد و R  به معنی ” سمت چپ ” باشد بازهم بنداشتها برقرار بوده وشاخه دومی از ریاضیات کاربردی حاصل می شود. این یک مدل هندسی است. رابطه   Dبه معنی”  سمت راست ”  ورابطه  F  به معنی ” نقطه بعدی K سمت چپ ”  ورابطه   Gبه معنی ” دومین نقطه K سمت چپ” می باشد.\n\nاکنون این سئوال پیش می آید که ازمیان دوسیسنم بنداشتی کدامیک بهتراست ؟\n\nشایدهیچ ضابطه ای وجود نداشته باشد.\n\nبه نظرمی آید آن سیستمی که تعداد عبارتهای اولیه وبنداشتهای کمتری دارد بهتراست .\n\nاما به آسانی می توان دریافت که کاهش تعداد بنداشتها به یک حد اقل،\n\nقدری تصنعی است. حتی می توان همه بنداشتهای یک مجموعه را\n\nدریک بنداشت بزرگ اما پیچیده جمع کنیم.\n\nمثالی از کاهش بنداشتها\n\nحکم ساده\n\n” یک و فقط یک x هست که در g(x) صدق کند ”\n\nرا میتوان با پنج حکم زیر تعویض کرد :\n\n1- تعداد x هایی که در g(x) صدق می کند فرد است\n\n2- تعداد x هایی که در g(x) صدق می کند کمتر از 8 است\n\n3- تعداد x هایی که در g(x) صدق می کند برابر  7 نیست\n\n4- تعداد x هایی که در g(x) صدق می کند  برابر 5 نیست\n\n5- تعداد x هایی که در g(x) صدق می کند برابر 3 نیست\n\nاثبات سازگاری به روش مدلها یک اثبات غیرمستقیم است.\n\nهیلبرت مساله اثبات سازگاری اعداد حقیقی رابه روش مستقیم مورد مطالعه قرار داد، ولی موفقیت چندانی بدست نیاورد. زیرااین روش به قواعد استنتاج منطقی بستگی دارد وهرتغییری دراین قواعد میتواند اثبات سازگاری ازاین نوع رادگرگون سازد\n\nسازگاری نسبی ابزاری از روی ناچاری\n\nبرای اثبات هندسه مسطحه لباچفسکی ازایده سازگاری نسبی استفاده می شود (هندسه لباچفسکی سازگاراست اگر هندسه اقلیدسی سازگارباشد ) بطوریکه مفاهیم خاصی را ازهندسه اقلیدسی به کار گرفته ومدل ایده آلی ازهندسه لباچفسکی را که به مدل پوانکاره مشهوراست به دست می آوریم سپس نشان می دهیم هندسه لباچفسکی سازگاراست اگرهندسه اقلیدسی سازگار باشد\n\nروش ساخت : با تعداداندکی ازاتحادهای منطقی بقیه آنها بر طبق قواعد مشخص قواعد منطقی به دست می آیند . در این روش اتحادها به وسیله محاسبات نمادی بدست می آیند. در این روش اندکی ازمجموعه همه اتحادها به عنوان بنداشت انتخاب شده وسپس برطبق قواعد صوری دیگر اتحادهای منطقی به دست می آیند. این قواعدهمان نقشی رادرگسترش حساب گزاره ها دارندکه نتیجه گیری منطقی درگسترش هر   تئوری ریاضی.\n\nبرای عامه مردم باورکردنی نیست که شق دیگری ازقوانین منطقی، بجزآنچه ارسطو درقرن چهارم قبل ازمیلاد بیان کرده است وجود داشته باشد.\n\nاحساس عمومی براین است که قوانین منطق ارسطو به گونه ای با ساختار جهان و لذا با طبیعت استدلال انسانها در آمیخته اند.\n\nاین منطق گرایی منطقی سرانجام درسال 1921 فروریخت\n\n30 تا 70 درصد پروژه | پاورپوینت | سمینار | طرح های کارآفرینی و  توجیهی |  پایان-نامه |  پی دی اف  مقاله ( کتاب ) | نقشه | پلان طراحی |  های آماده به صورت رایگان میباشد ( word | pdf | docx | doc )