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

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

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

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

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

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

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

غیاث‌الدین جمشید کاشانی آخرین ریاضیدان دورۀ باشکوه تمدن اسلامی است که تأثیر زیادی بر‏ آموزش ریاضیات‏، ریاضیات محاسباتی و به‌خصوص ریاضیات معماری گذاشته است. در این مقاله، روش کاشانی در محاسبۀ سینوس °1، محاسبۀ عدد π، استخراج ریشۀ nام و مقایسۀ آن با روش استوین، مسائل مرتبط با ارث مطابق شرع مقدس اسلام و قضیۀ اعداد متحابه در نوشته‌های او مورد بررسی قرار گرفته است. مهم‌ترین نکتۀ مقاله، تأکید بر نقش پ...

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

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