{"version":"1.0","provider_name":"Florida Philosophical Review","provider_url":"https:\/\/cah.ucf.edu\/fpr","author_name":"Florida Philosophical Review","author_url":"https:\/\/cah.ucf.edu\/fpr","title":"On a Perceived Expressive Inadequacy of  Principia Mathematica  - Florida Philosophical Review","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"QJpMiikbEz\"><a href=\"https:\/\/cah.ucf.edu\/fpr\/article\/on-a-perceived-expressive-inadequacy-of-principia-mathematica\/\">On a Perceived Expressive Inadequacy of <em> Principia Mathematica <\/em><\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/cah.ucf.edu\/fpr\/article\/on-a-perceived-expressive-inadequacy-of-principia-mathematica\/embed\/#?secret=QJpMiikbEz\" width=\"600\" height=\"338\" title=\"&#8220;On a Perceived Expressive Inadequacy of &lt;em&gt; Principia Mathematica &lt;\/em&gt;&#8221; &#8212; Florida Philosophical Review\" data-secret=\"QJpMiikbEz\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script type=\"text\/javascript\">\n\/* <![CDATA[ *\/\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/cah.ucf.edu\/fpr\/wp-includes\/js\/wp-embed.min.js\n\/* ]]> *\/\n<\/script>\n","description":"Burkay T. \u00d6zt\u00fcrk, University of Illinois at Chicago 1. Introduction Formalists of the early 20th century such as David Hilbert hoped to construct formal deductive systems where one can express and prove all truths of pure mathematics by manipulating a set of axioms according to logically sound inference rules. G\u00f6del\u2019s First Incompleteness Theorem showed that [&hellip;]","thumbnail_url":"https:\/\/cah.ucf.edu\/fpr\/wp-content\/uploads\/sites\/3\/2019\/11\/Screen-Shot-2019-11-06-at-4.36.50-PM.png"}