Mekaniserat resonemang använder datorer för att verifiera bevis och för att hjälpa till att upptäcka nya teorem. Dataforskare har tillämpat mekaniserat resonemang på ekonomiska problem, men - hittills - detta arbete har ännu inte presenterats korrekt i ekonomiska tidskrifter. Vi introducerar mekaniserat resonemang för ekonomer på tre sätt. För det första introducerar vi mekaniserat resonemang i allmänhet, som beskriver både teknikerna och deras framgångsrika tillämpningar. För det andra förklarar vi hur mekaniserat resonemang har tillämpats på ekonomiska problem, med fokus på de två områden som har fått mest uppmärksamhet: social valteori och auktionsteori. Slutligen presenterar vi ett detaljerat exempel på mekaniserat resonemang i praktiken med hjälp av ett bevis på Vickreys välkända teorem på andraprisauktioner.
Tillämpningen av teorematiska bevis i nationalekonomi diskuteras i REF, med fokus på två områden: social valteori och auktionsteori.
An Introduction to Mechanized Reasoning
{'venue': 'Mathematical Economics 66, pp. 26-39. Elsevier, October 2016', 'journal': None, 'mag_field_of_study': ['Economics', 'Computer Science']}