[logic-ml] =?gb2312?B?UmU6IEFybm9sZCBCZWNrbWFubr3MytrWdtHdu+E=?=

[=?gb2312?B?yb3QztmH1q4=?=]

½Ô¤µ¤Þ¡¢®b¾tÑФÎɽÐΤÈÉꤷ¤Þ¤¹¡£Beckmann½ÌÊÚ¤ÎÖvÑÝ»áˆö¤Ë¤Ä¤¤¤ÆÓ†Õý¤¬¤´¤¶¤¤¤Þ¤¹¡£

ˆöËù£º®b¾tÑÐévÎ÷¥»¥ó¥¿©` C-3—1ëA, µÚ10»á×hÊÒ

»á×hÊҤΈöËù¤¬Õ`¤Ã¤Æ¤ª¤ê¤Þ¤·¤¿¡£´ó‰äʧÀñ¤·¤Þ¤·¤¿¡£

________________________________________
²î³öÈË: Logic-ml <logic-ml-bounces at fos.kuis.kyoto-u.ac.jp> ¤¬ ɽÐÎÙ‡Ö® <yoriyuki.yamagata at aist.go.jp> ¤Î´úÀí¤ÇËÍÐÅ
ËÍÐÅÈÕ•r: 2019Äê11ÔÂ28ÈÕ 13:31
ÍðÏÈ: logic-ml at fos.kuis.kyoto-u.ac.jp; kisoron-ml at fos.kuis.kyoto-u.ac.jp
¼þÃû: [logic-ml] Arnold Beckmann½ÌÊÚÖvÑÝ»á

½Ô˜”¡¢®b¾tÑФÎɽÐΤÈÉꤷ¤Þ¤¹¡£Swansea´óѧ¤ÎArnold Beckmann½ÌÊÚ¤ÎÖvÑÝ»á¤òÏÂÓ›¤Îͨ¤êé_´ß¤¤¤¿¤·¤Þ¤¹¡£Beckmann½ÌÊÚ¤ÏÏÞ¶¨ËãÐg¡¢Ô^Ã÷Ñ}ëj¶È¤ª¤è¤Ó¤½¤ì¤é¤ÈÓ‹ËãÑ}ëj¶È¤È¤Îév‚S¤Ê¤É¤òÑо¿¤µ¤ì¤Æ¤¤¤Þ¤¹¡£

È똋¤ËÊÂÇ°µÇåh¤¬±ØÒª¤Ê¤¿¤á¡¢²Î¼Ó¤´Ï£Íû¤Î·½¤Ï12ÔÂ12ÈÕÕýÎç¤Þ¤Ç¤ËɽÐΤޤǡ¢¤ªÃûÇ°¤ÈËùÊô¤ò¤ªÖª¤é¤»¤¯¤À¤µ¤¤¡£²Î¼Ó¤´Ï£Íû¤Î·½¤Ï±Ø¤ºÊÂÇ°¤ËßB½j¤·¤Æ¤¤¤¿¤À¤¯¤è¤¦¤ªîŠ¤¤¤·¤Þ¤¹¡£

ÖvÑÝÈÕ•r£º12ÔÂ13ÈÕ14:00-15:00
ˆöËù£º®b¾tÑÐévÎ÷¥»¥ó¥¿©` C-6—2ëAµÚ16»á×hÊÒ
https://goo.gl/maps/ZJzcgE1agWLxypsk7

*************************

Arnold Beckmann: Consistency of equational theories and the separation
problem for bounded arithmetic

Abstract: The separation problem for bounded arithmetic is one of the
most important problems in the area due to its tight connections to the
question whether computational complexity classes can be separated, the
Millennium problem whether P equals NP or not being the most well-known
one.  Well studied candidates for separating theories of bounded
arithmetic are consistency statements of formal theories, building on
Kurt Goedel's famous incompleteness theorems.  The most promising
consistency statements are given by those of certain equational
theories.  In our talk, we will review the results on consistency of
equational theories in the context of the separation problem for bounded
arithmetic.  We explain the progress that has been made over recent
years to advance this problem, and state the research programme that has
resulted from it.

*************************

¤è¤í¤·¤¯¤´²Î¼¯¤¯¤À¤µ¤¤¡£


¡ª
ɽÐÎÙ‡Ö®
¹úÁ¢Ñо¿é_°k·¨ÈË ®b˜I¼¼Ðg¾tºÏÑо¿Ëù Ö÷ÈÎÑо¿†T
http://staff.aist.go.jp/yoriyuki.yamagata/

_______________________________________________
Logic-ml mailing list
Logic-ml at fos.kuis.kyoto-u.ac.jp
http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml