Abstract. A small project in which I encoded a proof of Arrow’s theorem— probably the most famous results in the economics field of social choice theory—in the computer using the Mizar system is presented here. The details of this specific project, as well as the process of formalization (encoding proofs in the computer) in general are discussed
Arrow’s and the Gibbard-Satterthwaite theorems are proved using a common proof strategy based on a d...
International audienceKenneth J. Arrow’s contributions to knowledge in the twentieth century can onl...
Głównym zagadnieniem pracy są twierdzenie Arrowa oraz twierdzenie Gibbarda-Satterthwaite’a. Praca zo...
We give a categorical account of Arrow's theorem, a seminal result in social choice theory
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years...
Arrow's impossibility theorem is one of the landmark results in social choice theory. Over the years...
Arrow's Impossibility Theorem is one of the landmark results in social choice theory. Over the years...
AbstractArrow's impossibility theorem is one of the landmark results in social choice theory. Over t...
These are the sheets of a presentation on June 8 2018, at the conference of Dutch and Flemish politi...
AbstractThis paper describes an example of the successful formalization of quite advanced and new ma...
We show how to formalise Arrow's Theorem on the impossibility of devising a method for preference ag...
In a recent paper (Okasha 2011), Samir Okasha uses Arrow's theorem to raise a challenge for the rati...
Theorem discovery, with the help of computer, presents at least two steps of challenges. The first c...
Eckert D, Herzberg F. The birth of social choice theory from the spirit of mathematical logic: Arrow...
In this note I consider a simple proof of Arrow's Impossibility Theorem (Arrow 1963). I start with t...
Arrow’s and the Gibbard-Satterthwaite theorems are proved using a common proof strategy based on a d...
International audienceKenneth J. Arrow’s contributions to knowledge in the twentieth century can onl...
Głównym zagadnieniem pracy są twierdzenie Arrowa oraz twierdzenie Gibbarda-Satterthwaite’a. Praca zo...
We give a categorical account of Arrow's theorem, a seminal result in social choice theory
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years...
Arrow's impossibility theorem is one of the landmark results in social choice theory. Over the years...
Arrow's Impossibility Theorem is one of the landmark results in social choice theory. Over the years...
AbstractArrow's impossibility theorem is one of the landmark results in social choice theory. Over t...
These are the sheets of a presentation on June 8 2018, at the conference of Dutch and Flemish politi...
AbstractThis paper describes an example of the successful formalization of quite advanced and new ma...
We show how to formalise Arrow's Theorem on the impossibility of devising a method for preference ag...
In a recent paper (Okasha 2011), Samir Okasha uses Arrow's theorem to raise a challenge for the rati...
Theorem discovery, with the help of computer, presents at least two steps of challenges. The first c...
Eckert D, Herzberg F. The birth of social choice theory from the spirit of mathematical logic: Arrow...
In this note I consider a simple proof of Arrow's Impossibility Theorem (Arrow 1963). I start with t...
Arrow’s and the Gibbard-Satterthwaite theorems are proved using a common proof strategy based on a d...
International audienceKenneth J. Arrow’s contributions to knowledge in the twentieth century can onl...
Głównym zagadnieniem pracy są twierdzenie Arrowa oraz twierdzenie Gibbarda-Satterthwaite’a. Praca zo...
DOI
Add to ORKG