Arrow's Impossibility Theorem är ett av de viktigaste resultaten i social valteori. Under åren sedan Theorem visades 1950 har en hel del alternativa bevis lagts fram. I detta dokument föreslår vi ytterligare ett alternativt bevis på teorem. Grundidén är att använda induktion för att reducera teorem till basfallet med 3 alternativ och 2 agenter och sedan använda datorer för att verifiera basfallet. Detta visar sig vara en effektiv metod för att bevisa andra omöjlighet teorem som Sen och Muller-Satterthwaite teorem också. Dessutom anser vi att detta nya bevis öppnar en spännande möjlighet att använda datorer för att upptäcka liknande omöjlighet eller till och med möjliga resultat.
Tang och Lin REF har utökat sitt tillvägagångssätt till att bevisa Arrow's Theorem också till Muller-Satterthwaite Theorem och till Sen's Theorem.
Computer-aided proofs of Arrow’s and other impossibility theorems
{'venue': 'Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}