首页 | 本学科首页   官方微博 | 高级检索  
     检索      


An introduction to mechanized reasoning
Institution:1. School of Computer Science, University of Birmingham, UK;2. Fraunhofer IAIS and University of Bonn, Germany;3. Department of Economics, University of Birmingham, Edgbaston B15 2TT, UK
Abstract: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.
Keywords:Mechanized reasoning  Formal methods  Social choice theory  Auction theory
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号