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

در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.

«تئوری همگرایی» در شکل اولیه پیش بینی می کند که درآمد سرانه و بهره وری نیروی کار در بین کشورهای مختلف جهان همگرا می شوند. امøا در واقعیت با چند قطبی شدن اقتصادهای جهان٬ پیش بینی این تئوری تحقق نیافت. در نتیجه تئوری اولیه به تئوری همگرایی شرطی و تئوری جهش اقتصادی تغییر و تعدیل یافت. این مقاله نشان می دهد که کل کشورهای جهان دو نقطه همگرایی کشورهای ثروتمند و کشورهای کم درآمد دارند. به نظر می رسد ا...

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

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

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

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

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

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