A pedagogical proof of Arrow's Impossibility Theorem.
Valentino DardanoniPublished in: Soc. Choice Welf. (2001)
Keyphrases
- interactive theorem proving
- learning environment
- learning theory
- learning process
- learning activities
- e learning
- collaborative learning
- theorem proving
- data sets
- mathematical proofs
- real time
- learning design
- linear logic
- theorem prover
- serious games
- learning theories
- learning resources
- complete axiomatization
- neural network
- knowledge base