{"id":893160,"date":"2022-10-25T14:40:47","date_gmt":"2022-10-25T21:40:47","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/"},"modified":"2022-10-25T14:40:47","modified_gmt":"2022-10-25T21:40:47","slug":"spinoza-leibniz-kant-and-weyl","status":"publish","type":"msr-research-item","link":"https:\/\/www.microsoft.com\/en-us\/research\/publication\/spinoza-leibniz-kant-and-weyl\/","title":{"rendered":"Spinoza, Leibniz, Kant, and Weyl"},"content":{"rendered":"<p>I walk into a House of Worship and the guy up front is in the middle of an oration. I don\u2019t expect to stay but catch a few words, \u201c\u2026 so my friends, reach down and uplift thy less fortunate neighbor\u2014to the\u00a0<span class=\"katex\"><span class=\"katex-mathml\"><math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><semantics><annotation encoding=\"application\/x-tex\">\\frac{1}{2}<\/annotation><\/semantics><\/math><\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord\"><span class=\"mfrac\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"mtight reset-size6 size3 sizing\"><span class=\"mord mtight\">2<\/span><\/span><span class=\"mtight reset-size6 size3 sizing\"><span class=\"mord mtight\">1<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>-power, for so it is written, and so may it be derived.\u201d Startled, I take a seat; this sounds like theology on a wavelength I can receive. This was my experience meeting (virtually) Glen Weyl and reading his paper with Buterin and Hitzig [BHW19]<sup class=\"footnote-ref\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" id=\"fnref1\" href=\"https:\/\/www.radicalxchange.org\/media\/blog\/spinoza-leibniz-kant-and-weyl\/#fn1\">[1]<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/sup>. The paper describes a funding mechanism called\u00a0<em>Quadratic Finance<\/em>\u00a0(QF) and deploys a bit of calculus to show that within a very clean and simple linear model QF maximizes social utility. They differentiate the social utility function. The mathematical content of this note is that by taking one further derivative, one may also deduce that QF is the\u00a0<em>unique<\/em>\u00a0solution. But what drew me into this house of worship, is a line of reasoning in [BHW19]<sup class=\"footnote-ref\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" id=\"fnref1:1\" href=\"https:\/\/www.radicalxchange.org\/media\/blog\/spinoza-leibniz-kant-and-weyl\/#fn1\">[1:1]<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/sup>, made explicit in a phone call with Glen, that Kant\u2019s\u00a0<em>categorical imperative<\/em>\u00a0(CI), properly interpreted, becomes a differential equation uniquely solved by QF. It was this second derivation from Kant\u2019s \u201caxiom\u201d that caused me to take a seat, and for a very personal reason.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I walk into a House of Worship and the guy up front is in the middle of an oration. I don\u2019t expect to stay but catch a few words, \u201c\u2026 so my friends, reach down and uplift thy less fortunate neighbor\u2014to the\u00a0\\frac{1}{2}21\u200b-power, for so it is written, and so may it be derived.\u201d Startled, I [&hellip;]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"footnotes":""},"msr-content-type":[3],"msr-research-highlight":[],"research-area":[13548],"msr-publication-type":[193715],"msr-product-type":[],"msr-focus-area":[],"msr-platform":[],"msr-download-source":[],"msr-locale":[268875],"msr-field-of-study":[],"msr-conference":[],"msr-journal":[],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-893160","msr-research-item","type-msr-research-item","status-publish","hentry","msr-research-area-economics","msr-locale-en_us"],"msr_publishername":"","msr_edition":"","msr_affiliation":"","msr_published_date":"2022-7-6","msr_host":"","msr_duration":"","msr_version":"","msr_speaker":"","msr_other_contributors":"","msr_booktitle":"","msr_pages_string":"","msr_chapter":"","msr_isbn":"","msr_journal":"RadicalxChange","msr_volume":"","msr_number":"","msr_editors":"","msr_series":"","msr_issue":"","msr_organization":"","msr_how_published":"","msr_notes":"","msr_highlight_text":"","msr_release_tracker_id":"","msr_original_fields_of_study":"","msr_download_urls":"","msr_external_url":"","msr_secondary_video_url":"","msr_longbiography":"","msr_microsoftintellectualproperty":1,"msr_main_download":"","msr_publicationurl":"","msr_doi":"","msr_publication_uploader":[{"type":"url","viewUrl":"false","id":"false","title":"https:\/\/www.radicalxchange.org\/media\/blog\/spinoza-leibniz-kant-and-weyl\/","label_id":"243109","label":0}],"msr_related_uploader":"","msr_attachments":[],"msr-author-ordering":[{"type":"user_nicename","value":"Michael Freedman","user_id":32903,"rest_url":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/microsoft-research\/v1\/researchers?person=Michael Freedman"}],"msr_impact_theme":[],"msr_research_lab":[],"msr_event":[],"msr_group":[881565],"msr_project":[],"publication":[],"video":[],"download":[],"msr_publication_type":"article","_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-item\/893160"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-item"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-research-item"}],"version-history":[{"count":1,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-item\/893160\/revisions"}],"predecessor-version":[{"id":893169,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-item\/893160\/revisions\/893169"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=893160"}],"wp:term":[{"taxonomy":"msr-content-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-content-type?post=893160"},{"taxonomy":"msr-research-highlight","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-highlight?post=893160"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=893160"},{"taxonomy":"msr-publication-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-publication-type?post=893160"},{"taxonomy":"msr-product-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-product-type?post=893160"},{"taxonomy":"msr-focus-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-focus-area?post=893160"},{"taxonomy":"msr-platform","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-platform?post=893160"},{"taxonomy":"msr-download-source","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-download-source?post=893160"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=893160"},{"taxonomy":"msr-field-of-study","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-field-of-study?post=893160"},{"taxonomy":"msr-conference","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-conference?post=893160"},{"taxonomy":"msr-journal","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-journal?post=893160"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=893160"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=893160"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}