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

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

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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

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

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

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

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