پابه‌پای محققان در دنیای منطق
به گزارش روابط‌عمومی بنیاد ملی علم ایران (INSF)، ریاضی و دنیای پر رمزوراز آن همواره جز علاقه کندی محققان برای تحقیق و پژوهش بوده و بنیاد ملی علم ایران هم از طرح‌های تحقیقاتی در این زمینه حمایت کرده است.
«بررسی همجوشی و حدس انشعاب پایدار با استفاده از ساختار‌های هروشفسکی» عنوان طرح پژوهشی مسعود پورمهدیان رئیس پژوهشکده ریاضیات پژوهشگاه دانش‌های بنیادی است که با حمایت بنیاد ملی علم ایران به پایان رسانده است.
پورمهدیان با مدرک دکتری تخصصی ریاضی - منطق ریاضی از دانشگاه آکسفورد انگلستان درباره این طرح توضیح داد: در سال‌های اخیر تحقیقات متنوعی بر پایه ساختار‌های هروشفسکی انجام شده است. از مهمترین این پژوهش‌ها بررسی همجوشی تئوری‌های به‌طور قوی کمینه با خاصیت تعریف‌پذیری درجه است.
وی ادامه داد: اهداف این طرح بر دو بخش است. یکی از اهداف مهم و کاربردی نقض حدس انشعاب پایدار با استفاده از روش هروشفسکی است که منجر به قطع یکی از مهمترین ارتباطات بین تئوری‌های ساده و تئوری‌های پایدار می‌شود. در سایه نقض این حدس نیز نتایج دیگری حاصل می‌شود.
این محقق و پژوهشگر در ادامه بیان کرد: اما هدف مهم و اصلی دیگر این طرح ترکیب دو تئوری است که بر اساس این تئوری به بررسی وجود یا عدم وجود خاصیت استقلال و ویژگی درختی نوع دو پرداخته شد.
وی تصریح کرد: با توجه به مسائل بیان شده در صورت حصول نتیجه در هر دو بخش طرح، نتایج بسیار مهمی در زمینه مدل تئوری ساختار‌های پایدار و ساده و خواص مدل تئوریتیک برای تئوری حاصل از همجوشی به دست آمد.
پورمهدیان در پایان خاطر نشان کرد: انجام این طرح به تولید دانش در راستای تحقیقات ریاضیدانان درباره ساختار‌های هروشفسکی و کاربرد‌های آن کمک می‌کند. چراکه، استفاده از روش هروشفسکی به‌طور معمول منجر به یک تئوری جدید با ویژگی‌ها و خواص منحصربه‌فرد یا نقض حدس‌های بسیار بزرگ شده است.
