3,598 research outputs found
Naming the largest number: Exploring the boundary between mathematics and the philosophy of mathematics
What is the largest number accessible to the human imagination? The question
is neither entirely mathematical nor entirely philosophical. Mathematical
formulations of the problem fall into two classes: those that fail to fully
capture the spirit of the problem, and those that turn it back into a
philosophical problem
An Introduction to Mechanized Reasoning
Mechanized reasoning uses computers to verify proofs and to help discover new
theorems. Computer scientists have applied mechanized reasoning to economic
problems but -- to date -- this work has not yet been properly presented in
economics journals. We introduce mechanized reasoning to economists in three
ways. First, we introduce mechanized reasoning in general, describing both the
techniques and their successful applications. Second, we explain how mechanized
reasoning has been applied to economic problems, concentrating on the two
domains that have attracted the most attention: social choice theory and
auction theory. Finally, we present a detailed example of mechanized reasoning
in practice by means of a proof of Vickrey's familiar theorem on second-price
auctions
- …