Abstract
This paper suggests that Herbert Simon’s concept of proof and predictions, in the solution of problems by human’s, considered as Information Processing Agents subject to boundedly rational behaviour and satisficing objectives, is to be interpreted in terms of constructive mathematics.
| Original language | English |
|---|---|
| Pages (from-to) | 935-947 |
| Number of pages | 13 |
| Journal | Computational Economics |
| Volume | 57 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - Mar 2021 |
Keywords
- Chess
- Constructive mathematics
- GO
- Herbert Simon
- Jordan curve theorem
- Predictions
- Proofs