Theoryguru: A Mathematic Package to Apply Quantifier Elimination Technology to Economics

10 Pages Posted: 10 May 2018

See all articles by Casey B. Mulligan

Casey B. Mulligan

University of Chicago; National Bureau of Economic Research (NBER)

Date Written: May 10, 2018

Abstract

We consider the use of Quanti fier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent automatically via QE. However, economists who this technology could bene t are usually unfamiliar with QE, and the use of mathematical software generally. This motivated the development of a Mathematica Package TheoryGuru, whose purpose is to lower the costs of applying QE to economics. We describe the package's functionality and give examples of its use.

Keywords: Quantifier Elimination, Economics Reasoning

Suggested Citation

Mulligan, Casey B., Theoryguru: A Mathematic Package to Apply Quantifier Elimination Technology to Economics (May 10, 2018). Becker Friedman Institute for Research in Economics Working Paper No. 2018-31. Available at SSRN: https://ssrn.com/abstract=3176645 or http://dx.doi.org/10.2139/ssrn.3176645

Casey B. Mulligan (Contact Author)

University of Chicago ( email )

1126 East 59th Street
Chicago, IL 60637
United States
773-702-9017 (Phone)
773-702-8490 (Fax)

National Bureau of Economic Research (NBER)

1050 Massachusetts Avenue
Cambridge, MA 02138
United States

Register to save articles to
your library

Register

Paper statistics

Downloads
42
Abstract Views
268
PlumX Metrics