Sunday , November 18 2018
Home / Casey Mulligan: Supply and Demand / Robots: Leibniz’ dream is coming true in economics

Robots: Leibniz’ dream is coming true in economics

Summary:
Gottfried Leibniz, one of the legends in the history of mathematics, envisioned that human reasoning would one day be automated, thereby resolving a great many disputes among experts. He wrote (translated from German at WikiQuote from his 1688 "The characteristics of the art in order to make science fair"):[...] if controversies were to arise, there would be be no more need of disputation between two philosophers than between two calculators. For it would suffice for them to take their pencils in their hands and to sit down at the abacus, and say to each other (and if they so wish also to a friend called to help): Let us calculate.More recently, Obama administration economists Furman and Summers claimed that only a fraction of the revenue loss from a corporate-income tax cut benefits

Topics:
[email protected] (Casey B. Mulligan) considers the following as important: , , ,

This could be interesting, too:

[email protected] (Casey B. Mulligan) writes Mathematica advertising economics tools

[email protected] (Casey B. Mulligan) writes How Can I Get Introduced to Automated Reasoning for Economics and Statistics?

[email protected] (Casey B. Mulligan) writes Monopolies are unhealthy, but high taxes make the disease worse

[email protected] (Casey B. Mulligan) writes NYTimes Packs Five Ungrounded Economic Opinions in Two Sentences

Gottfried Leibniz, one of the legends in the history of mathematics, envisioned that human reasoning would one day be automated, thereby resolving a great many disputes among experts. He wrote (translated from German at WikiQuote from his 1688 "The characteristics of the art in order to make science fair"):

[.. if controversies were to arise, there would be be no more need of disputation between two philosophers than between two calculators. For it would suffice for them to take their pencils in their hands and to sit down at the abacus, and say to each other (and if they so wish also to a friend called to help): Let us calculate.
Robots: Leibniz' dream is coming true in economics
More recently, Obama administration economists Furman and Summers claimed that only a fraction of the revenue loss from a corporate-income tax cut benefits labor. But the standard supply and demand model says the opposite.

Summers, as well as Nobel Laureate Paul Krugman, rejected this result, asserting that it depends on "what share of the capital stock is even affected by the corporate tax rate."

The supply and demand model readily accommodates the fact that the statutory corporate rate does not apply to much of the nation's capital. Now a machine has proven the supply-demand result, without assuming any functional form for the aggregate production function, and without restricting the share of capital that is subject to the tax (except that the share cannot be zero or negative).

You can view the proof in pdf here, or as an executable Mathematica notebook here.

For another economics dispute between Krugman and I that was resolved by machine, see here.

(Regarding their claim that "monopoly" also overturns the result, see discussions here and here. I will post more on the monopoly excuse soon.)

Leave a Reply

Your email address will not be published. Required fields are marked *