اطلاعیۀ ثبت نام ششمین سمینار سالانه انجمن منطق ایران

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که ششمین همایش سالانۀ انجمن منطق ایران در روزهای 10-11 بهمن ماه در چهار نوبت (صبح و عصر روزهای چهارشنبه و پنج‌شنبه، 10 و 11 بهمن) در دانشگاه شهید بهشتی برگزار می‌شود. ... بیشتر بخوانید ...

نویسنده : انجمن منطق - 1397/02/26

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

انجمن منطق ایران برگزار می­کند

نظریة مدل: ریاضیات ساختارهای اهلی

Model theory: Metamathematics of Tame structures

دکتر مسعود پورمهدیان

دانشگاه صنعتی امیرکبیر


علی رغم شکست برنامه هیلبرت در اصل‌بندی سرتاسری ریاضیات، روش‌های صوری در  منطق ریاضی  در بسیاری از شاخه‌های  ریاضیات در شناخت ساختارهای مورد علاقه در این حوزه‌ها نقش موثر و بعضاً تاثیرگذاری را ایفا نموده است. نظریه مدل  بخشی از منطق است که تکفل  تحلیل ساختارهای  «اهلی» با ارایه فورمالیزم‌های منطقی  را عهده‌دار است. در این سخنرانی ضمن مروری گذرا بر قضایا و مفاهیم اساسی در این  حوزه پژوهشی، به تبیین ارتباط و تاثیرگذاری آن در شاخه های  دیگر ریاضی پرداخته می شود.

 

مکان:  تهران ، دانشگاه تهران، دانشکدۀ ریاضی، سالن هشترودی

زمان: چهارشنبه، 26 اردیبهشت 1397 ، ساعت 5 بعد از ظهر

نظرات کاربران
   
   
   

© Company 2013