کاربرد ریاضی در شهر سازی 14 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 14

بسم الله الرحمن الرحیم

پیشگفتار

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

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

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

رهبران بزرگ – مانند ابن یونس ، ابن هیثم ، بیرونی ، ابن سینا ، علی بن عیسی ، کرخی ، لبن جبرول ( همه مسلمانند و آخری یهودی ) – چندان فراوان بودند که دست کم برای لحظه ای مورخ را مبهوت می سازد . گرچه همه اینان مردانی ممتاز به شمار می رفتند ، دو تن از همه برتر بودند ، بیرونی و ابن سینا و به خاطر اینان بود که این عصر چنین درخشان و برجسته می نمود . این دو تن به طریقی با هم فرق بسیار داشتند ، بیرونی مبین روحی پرتکاپو و نقاد بود و ابن سینا دارای روحی ترکیبی . بیرونی بیشتر کاشف بود و از این لحاظ به آرمان علمی جدید نزدیکتر شد. ابن سینا ذاتا یک سازمان دهنده جامع العلوم و فیلسوف محسوب می شد . و هر دو در وهله اول به یک اندازه اهل علم بودند. ..... نخستین اثر بزرگ بیرونی مقارن سال 1000 میلادی پدیدار شد و تا سال 1048 زندگی کرد و ما در نامیدن این فصل به نام عصر بیرونی کاملا محق هستیم .))

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

برای مثال در علم نجوم و مثلثات مسلمین پیشرفت شایانی داشتند و این موضوع در قرون 17 و 18 و 19 نادیده گرفته می شد . مثلا رابطه معروف سینوس ها در مثلثات و مثلثات کروی به کپر نسبت می دادند . در سال 1270 هجری شمسی (1891 میلادی ) کتاب کشف القناع عن اسرار شکل القطاع تالیف خواجه نصیر الدین طوسی (672- 597 هجری ، قمری ، 1274- 1201 میلادی ) در قسطنطنیه چاپ و منتشر شد . انتشار این کتاب به زبان فرانسوی و آشنایی دانشمندان وقت با آن موجب شهرت جهانی برای این کتاب گردید . اروپاییان دریافتند که بسیاری از قضایای مثلثات را مسلمانان چهار صد سال جلوتر از آنها کشف کرده و مورد استفاده قرار داده اند ، از این رو در این موضوع متحدالقول شدند که کتاب کشف القناع خواجه نصیر الدین طوسی نخستین کتاب است که منحصرا در علم مثلثات جدا از سایر کتب نجوم نگاشته شده است . اروپاییان بسیاری از قظایا را که در این کتاب دیدند ، به خواجه نسبت دادند . چند سال پیش نسخه منحصر به فردی از کتاب مقالید علم الهیئه مایحدث فی سطح بسیط الکره تالیف ابوریحان بیرونی (440- 360 هجری قمری ) در کتابخانه مدرسه شهید مطهری به دست آمد که اروپاییان اطلاع کافی از آن ندارند ، تنها دکتر کندی با ترجمه مقدمه آن و فهرست خلاصه ای در مجله " journal of near Eeastern studies , vol.30,1971 " آن را به جهانیان معرفی کرد . استاد ابولقاسم قربانی در فصل هفتم کتاب وزین بیرونی نامه خود این کتاب 44 صفحه ای را که می توان اولین کتاب مثلثاث مستقل موجود دانست ، معرفی می نمایند . در این کتاب ابوریحان اشاره می کند که استادش ابونصر عراقی رابطه سینوس ها در مثلثات کروی را به صورت

Sina = sin b =sin c

Sin c sin b sin a

بیان می کند . ابوریحان می پرسد که آیا می توان این رابطه را برای مثلثات در صفحه ، نیز ثابت نمود ؟ چند روز بعد ابونصر ، اثبات این را در مثلثات مسطحه بیان می کند . ابوریحان این طریقه اثبات را در این کتاب آورده و خودش نیز برای اثبات این رابطه روشی را بیان می نماید . حال ملاحظه می شود که تاریخ نویسان اروپایی می بایست تاریخ اثبات این رابطه را به 600 سال جلوتر از کپلر یعنی به ابونصر عراقی استاد ابوریحان نسبت دهند .

زمینه های علمی فراوان دیگری می توان نشان داد که مسلمین در این دوران به آن نائل آمده ،

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

پروژه ریاضی mas 33 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 33

مقدمه:

این پروژه برچهار فصل به شرح زیر می باشد.

فصل اول شامل مطالب ومفاهیم مقدماتی درزمینه حلقه ها می باشدکه درفصل بعد ازآن استفاده خواهدشد.

درفصل دوم حلقه های کسری تعریف شده و خواص آنها مورد بررسی قرارمی گیرد.

درفصل سوم ایده آل حلقه های کسری و خواص آنها موردبررسی قرار می گیرد

درفصل چهارم نیزحلقه های موضعی سازی را معرفی خواهیم کرد.

فهرست مندرجات

فصل اول: مقدمات و پیش نیازها............................................. (3)

فصل دوم: حلقه های کسری...................................................... (10)

فصل سوم: ایده آل حلقه های کسری ...................................... (22)

فصل چهارم: حلقه های موضعی سازی...................................... (29)

منابع ومراجع ............................................................................ (32)

فصل اول

مقدماتی

و

پیش نیازها

تعریف حلقه :یک حلقه مجموعه ای است ناتهی مانند همراه بادوعمل دوتایی

(که معمولابه صورت جمع (+)وضرب(.) نموده می شوند) بطوریکه :

یک گروه آبلی است.

به ازای هر , ( ضرب شرکت پذیراست)

و (قوانین بخش پذیری ازچپ وازراست)

هرگاه علاوه براین :

به ازای هر¸ آنگاه گوئیم یک حلقه تعویض پذیراست.

هرگاه شامل عنصری مانند باشد. بطوریکه:

به ازای هر a

آنگاه گوئیم یک حلقه یکدار است.

مجموعه ها در ریاضی 12 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 15

نوع دادة مجموعه

مجموعه ها : متغیرهای ساخت یافته ای هستند که حاوی لیستی از اعداد صحیح ، کارکترها و یا مقادیری از نوع شمارشی هستند. یک مجموعه شبیه آرایه أی است که می تواند گروهی از اعضای ساده را در خود جای دهد . البته اعضای یک مجموعه شبیه یک آرایه تعریف نمی شود.

تعریف مجموعه ها :

یک مجموعه یا متغیر مجموعه درست همانطور که انواع ساخت یافتة دیگر را تعریف می کنیم ، تعریف می شود .

تعاریف :

type

digitset = set of 0..9; (set type of integer elements)

var

odds,Evens,Middle,Mixed:Digitset: (4sets)

‌نوع مجموعه digitset و چهار متغیر Mixed,Middle,Evens,Odds را تعریف می کنند. هر متغیر مجموعه از نوع digitset می تواند حاوی اعداد صحیح 0 تا 9 باشد. اگرچه برای چهار مجموعه حافظه تخصیص داده می شود. ولی محتویات آنها نامعین است. برای اینکه بتوانیم با یک مجموع کار کنیم، باید آن را با استفاده از یک انتصاب مجموعه تعیین کنیم.

تعریف نوع مجموعه

شکل استفاده

type

set type= set of base type

مثال :

type

letter set = set of ‘A’ .. ‘z’ :

شرح : شناسة set type از روی مقادیر مشخص شده و در base type تعیین می شود. یک متغیر که از نوع set type تعریف می شود ، مجموعه أی است که اعضای آن از مقادیر base type انتخاب می شوند. البته base type باید از نوع ترتیبی باشد.

تذکر : در بیشتر پیاده سازی ها تعداد مقادیر base type از یک مجموعه محدود می شود. به همین دلیل می تواند set of char را به عنوان یک مجموعه تعیین کنید. با وجود این محدودیت نمی توانید از نوع داده Integer به عنوان یک base type استفاده کنید ، اما می توانید زیر بازه های از نوع Integer را تا 128 یا 256 مقدار به کار مقادیری را به دو متغیر مجموعه که در مثال فوق تعریف شده اند ، نسبت می دهد.

لیستی از مقادیر از نوع اصلی مجموعه هستند که در داخل دو کروشه محصور شده اند. بعد از این انتسابها مجموعة odds حاوی ارقام فرد 0 تا 9 است و مجموعة Evens حاوی ارقام زوج این بازه است. می توانیم از این دو مجموعه برای تعیین اینکه یک متغیر دارای ارقام فرد یا زوج است ، استفاده کنیم.

لیترال مجموعه أی [ ‘0’ '9’ ,’+’ ‘-‘ , ‘E’ ‘.’ ] مجموعه أی از کاراکترهاست که می توانند در یک عدد حقیقی وجود داشته باشند. این مجموعه حاوی 14 عضو است. در اینجا از نماد زیر بازه "0" .. "9" استفاده کرده ایم که بهتر از این است که 10 کاراکتر رقمی را به طور جداگانه بنویسیم.

لیترال مجموعه ای

شکل استفاده :

List of elements

[ ‘+’, ‘-‘ , ‘*’ , ‘/’ , ‘<’ , ‘>’ , ‘=’]

شرح : یک مجموعه به این صورت تعریف می شود که اعضای آن یعنی List of elements در دو کروشه محصور شوند. اعضای یک مجموعه باید از نوع ترتیبی یکسان باشند و یا از انواع ترتیبی سازگار باشد. کاماها اعضای List of elements را از هم جدا می کنند. گروهی از اعضا ممکن است با نماد زیر بازه مشخص شوند. (یعنی به صورت minavalue.maxvalue باشند که maxvalue , minvale عباراتی از نوع سازگار با هم هستند و

تحقیق فلسفه وجودی آموزش ریاضی

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 27

فلسفه وجودی آموزش ریاضی

مقدمه

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

برنامه‌ریزی، تغییر کتب ریاضی، تغییر روش‌ها و متد تدریس از مهم‌ترین ارکان تدریس و نهادینه ساختن، مفاهیم ریاضی در دوره ابتدایی هستند که در این مقاله به آن‌ها می‌پردازیم.

اصول و اهمیت فلسفه وجودی درس آموزش ریاضی در برنامه ریزی دوره ابتدایی

اولین دوره آموزش و تربیت برای هر انسانی به طور رسمی، آموزش ابتدایی است. بعد از آموزش‌هایی که فرد در محیط خانواده فرا می‌گیرد، آموزش‌های رسمی به عنوان آموزش دوره‌ عمومی شروع می‌شود. کودکان از سن 5 سالگی وارد عرصه تعلیم و تربیت رسمی می‌شوند و پس از طی 6 سال آموزش و تربیت به دوره بعدی یعنی راهنمایی تحصیلی وارد می‌شوند. کودکان لازم التعلیم هر کشور با کشور دیگری در ورود به مدارس ابتدایی تفاوت دارند. کشورهایی که فقر فرهنگی دارند، معمولاً بسیاری از کودکان لازم التعلیم آن‌ها از تحصیل و آموزش محروم می‌شوند. دوره‌ ابتدایی با توجه به حرکت جدیدی که در زمینه توسعه برنامه علوم ریاضی در قرن اخیر ایجاد شده است به آموزش ابتدایی اهمیت زیادی قائل شده‌اند. قدرت یادگیری دانش‌آموزان دوره ابتدایی بیش از میزانی است، که در برنامه‌های درسی استاندارد مدارس منظور شده است.

آموزش‌های دروس مختلف، در دوره ابتدایی کودکان را با جهان و پدیده‌های آن آشنا می‌سازند. آموزش ریاضی در دوره ابتدایی یکی از این دروس است. آموزش سنتی ریاضی ابتدایی جواب گوی نیازهای دانش‌آموزان امروز نخواهد بود. تغییر و دگرگونی در برنامه‌های دوره ابتدایی و کتب ریاضی و همچنین تغییر اساسی روش‌های تدریس در دوره‌ ابتدایی نقش به سزایی در آموزش و فراگیری مفاهیم ریاضی دارد.

هر چند برنامه‌ها و کتب درسی ریاضی در ابتدایی تغییر یافت ولی نتایج آموزش‌ها چندان مطلوب نشد. در طرح کلیات نظام آموزش و پرورش جمهوری ایران شیوه آموزش ریاضی به دو روش فعال و غیرفعال تدوین شده است که صفت فعال متوجه تلاش یاد گیرنده در یادگیری است.

نظر دانشمندان درباره آموزش ابتدایی(مبانی نظری)

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

فلسفه ریاضی 22 ص

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 22

فلسفه ریاضی

مقدمه :

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

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

چکیده

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

حاصل آنکه در این بخش سعی بر آن است تا حد امکان به تحلیل و بسط ایده هایی که در اندیشه متفکران معاصر ایران آمده است، پرداخته شود.

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

نظراتی درباره فلاسفه :

فلسفه معمولا بعنوان یک فعالیت و نیز بعنوان موضوعی ذهنی تعریف می‌شود. فلاسفه پیرو "رواقیون" آن را به فیزیک ، اخلاق و منطق تقسیم می‌کردند، برخی دیگر از فلاسفه در سال‌های اخیر برای آن تقسیم‌بندی ما بعدالطبیعه یا متافیزیک معرفت‌شناسی ، منطق و ارزش‌شناسی پیشنهاد کرده‌اند.

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

"فلسفه ماموریت دارد به انسان در تفکر عمیق‌تر به نتایج اعمال روزانه‌اش کمک کند تا انسان بتواند با حکمتی بیشتر ، آن نتایجی را برگزیند که به همه انسانها کمک می‌کند تا تفکرشان را عمیق‌تر سازند."

یک فلسفه را می‌توان توضیحی دانست که در آن کوشش می‌شود تا از مجموعه‌ای طبعا پراکنده از تجربیات یک معنی استخراج کند. کار یک فلسفه مشتمل بر تنظیم تجربیات و ارزش‌ها است. فلسفه در جستجوی روابط در میان اشیایی است که معمولا منفک از هم بشمار می‌آیند.

در اینجا به فلسفه‌های معاصر ریاضی پرداخته شده است. فلسفه‌هایی که پیشرفت‌های اخیر ریاضی را بشمار آورده و متاثر از بحران‌های جاری این علوم می‌باشند. سه فلسفه اصلی معاصر از ریاضیات وجود دارد که هر یک از گروه متنابهی از ریاضیدانان و فلاسفه را جذب و هر یک دانش عظیمی از فرهنگ خاص خود را توسعه و گسترش داده است. این فلسفه‌ها عبارتند از: فلسفه منطق‌گرایی که راسل و وایتهد ارائه‌دهندگان اصلی آن هستند. فلسفه شهودگرایی که توسط براور رهنمون می‌شود؛ و فلسفه صورت‌گرایی که توسط هیلبرت رشد و گسترش یافته است.

فلسفه منطق گرایی

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

فلسفه شهودگرایان :

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