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

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

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

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

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

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

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

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

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