{"id":123,"date":"2017-02-06T00:27:10","date_gmt":"2017-02-05T23:27:10","guid":{"rendered":"http:\/\/owlofminerva.net\/kubota\/?p=123"},"modified":"2017-02-06T00:34:21","modified_gmt":"2017-02-05T23:34:21","slug":"recommendations-on-mathematical-scientific-literature","status":"publish","type":"post","link":"https:\/\/owlofminerva.net\/kubota\/recommendations-on-mathematical-scientific-literature\/","title":{"rendered":"Recommendations on Mathematical Scientific Literature"},"content":{"rendered":"<p>From time to time, I receive requests from mathematicians for recommendations on scientific literature. My\u00a0recommendation is always chapter 5 of Andrews&#8217; 2002 textbook, in which\u00a0the higher-order logic Q<span style=\"font-size: 70%; vertical-align: sub;\">0<\/span> is presented [Andrews, 2002, pp. 210\u2013215], and elementary logic developed (e.g., the derivation of the rule of <em>Modus Ponens<\/em>\u00a0[p. 224]). For the full reference, please see the <a href=\"http:\/\/doi.org\/10.4444\/100.111\">overview<\/a>.<\/p>\n<h5>Further Resources<\/h5>\n<ul>\n<li>Ken Kubota: <a href=\"http:\/\/doi.org\/10.4444\/100.111\">Foundations of Mathematics (Genealogy and Overview)<\/a><\/li>\n<li>Peter B. Andrews:\u00a0<a href=\"http:\/\/plato.stanford.edu\/entries\/type-theory-church\/#ForBasEqu\" target=\"_blank\">Q<span style=\"font-size: 70%; vertical-align: sub;\">0<\/span>\u00a0(&#8220;A Formulation Based on Equality&#8221;)<\/a><\/li>\n<li>Ken Kubota: <a href=\"http:\/\/doi.org\/10.4444\/100.10\">R<span style=\"font-size: 70%; vertical-align: sub;\">0<\/span><\/a> (polymorphic and dependent type theory, a further development of the higher-order logic\u00a0<a href=\"https:\/\/lists.cam.ac.uk\/pipermail\/cl-isabelle-users\/2015-July\/msg00147.html\" target=\"_blank\">Q<span style=\"font-size: 70%; vertical-align: sub;\">0<\/span><\/a>)<\/li>\n<li>Homepage of\u00a0<a href=\"http:\/\/gtps.math.cmu.edu\/andrews.html\" target=\"_blank\">Peter B. Andrews<\/a><\/li>\n<li>Homepage of\u00a0<a href=\"http:\/\/doi.org\/10.4444\/100\">Ken Kubota<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>From time to time, I receive requests from mathematicians for recommendations on scientific literature. My\u00a0recommendation is always chapter 5 of Andrews&#8217; 2002 textbook, in which\u00a0the higher-order logic Q0 is presented [Andrews, 2002, pp. 210\u2013215], and elementary logic developed (e.g., the derivation of the rule of Modus Ponens\u00a0[p. 224]). For the full reference, please see the [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[5],"tags":[],"class_list":["post-123","post","type-post","status-publish","format-standard","hentry","category-news","post-preview"],"_links":{"self":[{"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/posts\/123","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/comments?post=123"}],"version-history":[{"count":2,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/posts\/123\/revisions"}],"predecessor-version":[{"id":126,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/posts\/123\/revisions\/126"}],"wp:attachment":[{"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/media?parent=123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/categories?post=123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/owlofminerva.net\/kubota\/wp-json\/wp\/v2\/tags?post=123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}