{"id":7,"date":"2017-02-03T09:44:56","date_gmt":"2017-02-03T09:44:56","guid":{"rendered":"http:\/\/hilbert.dm.fct.unl.pt\/?page_id=7"},"modified":"2019-09-16T08:59:16","modified_gmt":"2019-09-16T08:59:16","slug":"home","status":"publish","type":"page","link":"https:\/\/hilbert.dm.fct.unl.pt\/","title":{"rendered":"Hilbert&#8217;s 24th Problem"},"content":{"rendered":"<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=60\">Presentation<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=34\">Team<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=53\">Activities<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=294\">Publications<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=9\">Contact<\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><!--\n \t\n\n<li>Links<\/li>\n\n\n--><\/p>\n<h3>Topics<\/h3>\n<ul>\n<li>Historical Traces<\/li>\n<li>Mathematical Examples<\/li>\n<li>H24 and Philosophy of Mathematics\n<ul>\n<li>Proof Theory<\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=192\">Purity of Method<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=332\">Explanation<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=137&amp;preview=true\">Combinatorial Proofs<\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<hr \/>\n<h2>In evidence:<\/h2>\n<ul>\n<li><strong><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=381\">Proof in Mathematical Education<\/a>, October 26, 2019; Lisboa<\/strong><\/li>\n<li><a href=\"http:\/\/w3.math.uminho.pt\/DiL2018\/index.html\">Days in Logic, Aveiro, 25-27 January, 2018<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?p=276\">WCA 2017 &#8211; Saturday 2 (9:30 am &#8211; 12:30) December, 2017<\/a><\/li>\n<li><a class=\"row-title\" href=\"https:\/\/hilbert.dm.fct.unl.pt\/?p=279\">Wilfried Sieg (Carnegie Mellon University): Mini-curse: \u201cThinking, Computing, Thinking\u201d, Oct 2017<\/a><\/li>\n<li><a href=\"http:\/\/eventos.fct.unl.pt\/aips17\" target=\"_blank\" rel=\"noopener noreferrer\">Axiomatic Thinking<\/a>, October 11-14, 2017; Lisbon<\/li>\n<li><a href=\"http:\/\/eventos.fct.unl.pt\/spar\" target=\"_blank\" rel=\"noopener noreferrer\">Simplicity of Proofs in Automated Reasoning<\/a>, July 6, 2017; Universidade Nova de Lisboa<\/li>\n<\/ul>\n<ul>\n<li>Kahle\/Pulcini. Purity, Impurity, and Hilbert\u2019s 24th Problem. Paper accepted at <a href=\"http:\/\/logika.flu.cas.cz\/en\/logica\" target=\"_blank\" rel=\"noopener noreferrer\">LOGICA 2017 Hejnice monastery, 19 \u2013 23 June 2017<\/a><\/li>\n<\/ul>\n<hr \/>\n<h4>For team members only<\/h4>\n<ul>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/?page_id=50\">Internal Pages<\/a><\/li>\n<li><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/wp-login.php\">Login<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<div class=\"entry-summary\">\nPresentation Team Activities Publications Contact Topics Historical Traces Mathematical Examples H24 and Philosophy of Mathematics Proof Theory Purity of Method&hellip;\n<\/div>\n<div class=\"link-more\"><a href=\"https:\/\/hilbert.dm.fct.unl.pt\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &ldquo;Hilbert&#8217;s 24th Problem&rdquo;<\/span>&hellip;<\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/7","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7"}],"version-history":[{"count":31,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":383,"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions\/383"}],"wp:attachment":[{"href":"https:\/\/hilbert.dm.fct.unl.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}