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

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

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

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

داستان علمی - تخیلی ریاضی درباره مباحث فلسفی در ریاضیات

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

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

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

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

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