{"id":5646,"date":"2018-08-23T09:00:59","date_gmt":"2018-08-23T00:00:59","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=5646"},"modified":"2018-08-29T16:01:59","modified_gmt":"2018-08-29T07:01:59","slug":"__trashed-2-2","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2018\/08\/23\/5646\/","title":{"rendered":"WIAS\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc:  &#8220;The epsilon calculus with equality predicate and Herbrand complexity&#8221; (9\/10)"},"content":{"rendered":"<h4>WIAS\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc :<br \/>\n&#8220;The epsilon calculus with equality predicate and Herbrand complexity&#8221;\u00a0 (9\/10)<\/h4>\n<h5>\u8b1b\u6f14\u8005 \/ Speaker<\/h5>\n<p><a href=\"http:\/\/cl-informatik.uibk.ac.at\/members\/kmiyamoto\/\">\u5bae\u672c \u8ce2\u6cbb<\/a> \uff08\u30a4\u30f3\u30b9\u30d6\u30eb\u30af\u5927\u5b66\u3000\u535a\u58eb\u7814\u7a76\u54e1\uff09<\/p>\n<h5>\u65e5\u3000\u6642 \/ Date &amp; Time<\/h5>\n<p>2018\u5e749\u670810\u65e5\uff08\u6708\uff09 16:00\uff5e17:30<\/p>\n<h5>\u4f1a\u3000\u5834 \/ Venue<\/h5>\n<p><a href=\"https:\/\/www.waseda.jp\/top\/access\/waseda-campus\">\u65e9\u7a32\u7530\u5927\u5b66 \u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 9\u53f7\u9928 5\u968e \u7b2c1\u4f1a\u8b70\u5ba4<\/a><\/p>\n<h5>\u4e3b\u3000\u65e8 \/ Outline<\/h5>\n<p>\u8a3c\u660e\u8ad6\u3084\u8a08\u7b97\u7406\u8ad6\u306b\u95a2\u308f\u308b\u5148\u7aef\u7814\u7a76\u3092\u3057\u3066\u3044\u308b\u5bae\u672c\u8ce2\u6cbb\u6c0f (\u30a4\u30f3\u30b9\u30d6\u30eb\u30af\u5927\u5b66\uff0c\u535a\u58eb\u7814\u7a76\u54e1)\u306b\u3054\u81ea\u8eab\u306e\u7814\u7a76\u306b\u95a2\u3059\u308b\u8b1b\u6f14\u3092\u3057\u3066\u3044\u305f\u3060\u304f\u3053\u3068\u306b\u3088\u308a\uff0c\u5f53\u8a72\u5206\u91ce\u306e\u7814\u7a76\u8005\u9593\u306e\u7814\u7a76\u4ea4\u6d41\u3092\u56f3\u308b\u3068\u5171\u306b\uff0c\u56fd\u5185\u3067\u95a2\u9023\u5206\u91ce\u3092\u5b66\u3076\u4eba\u3005(\u5927\u5b66\u9662\u751f\u7b49)\u306b\u5148\u7aef\u7814\u7a76\u3092\u77e5\u308b\u6a5f\u4f1a\u3092\u63d0\u4f9b\u3059\u308b\uff0e<\/p>\n<h5>\u30d7\u30ed\u30b0\u30e9\u30e0 \/ Schedule<\/h5>\n<p>16:00\uff5e17:00 \u8b1b\u6f14 \uff08*\u82f1\u8a9e\u3067\u884c\u3044\u307e\u3059\uff09<br \/>\n17:00\uff5e17:30 \u8cea\u7591\u5fdc\u7b54<\/p>\n<p>(Abstract)<\/p>\n<p style=\"text-align: justify;\">Hilbert&#8217;s epsilon-calculus is based on an extension of the language of\u00a0predicate logic by a term-forming operator $\\varepsilon$ [1]. \u00a0Two fundamental results about the epsilon-calculus, the first and second\u00a0epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. \u00a0In particular, Herbrand&#8217;s Theorem\u00a0is a consequence of the epsilon theorems. \u00a0Moser and Zach study the epsilon theorems and the complexity of the elimination procedure\u00a0underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure [2].We extend their results to epsilon-calculus with equality predicate.\u00a0This is joint work with Georg Moser.<\/p>\n<p>[1] D. Hilbert and P. Bernays,\u00a0Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939.<br \/>\n[2] G. Moser and R. Zach,\u00a0The epsilon calculus and Herbrand complexity,\u00a0Studia Logica, vol. 82 (2006), no. 1, pp. 133&#8211;155.<\/p>\n<h5>\u30b3\u30fc\u30c7\u30a3\u30cd\u30fc\u30bf\u30fc \/ Coordinator<\/h5>\n<p><a href=\"https:\/\/www.waseda.jp\/inst\/wias\/other\/2016\/04\/01\/1864\/\">\u85e4\u539f \u8aa0<\/a> \uff08\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240\u00a0 \u8b1b\u5e2b\uff09<\/p>\n<h5>\u8a00\u3000\u8a9e \/ Language<\/h5>\n<p>\u82f1\u8a9e<\/p>\n<h5>\u5bfe\u3000\u8c61 \/ Prospected Audience<\/h5>\n<p>\u5927\u5b66\u9662\u751f\u30fb\u6559\u8077\u54e1<\/p>\n<h5>\u4e3b\u3000\u50ac \/ Organizer<\/h5>\n<p>\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240<\/p>\n<h5>\u7533\u8fbc\u307f \/ Registration<\/h5>\n<p>\u4e8b\u524d\u7533\u8fbc\u307f\u4e0d\u8981\u3067\u3059\u3002\u76f4\u63a5\u4f1a\u5834\u306b\u304a\u8d8a\u3057\u304f\u3060\u3055\u3044\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>WIAS\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc : &#8220;The epsilon calculus with equality predicate and Herbrand complexity&#8221;\u00a0 (9\/10) \u8b1b\u6f14\u8005 \/  [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":2765,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[24,26,28],"class_list":["post-5646","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-events","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/5646","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=5646"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/5646\/revisions"}],"predecessor-version":[{"id":5653,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/5646\/revisions\/5653"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/2765"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=5646"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=5646"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=5646"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}