Abstract
In 1969 poneerde Hans Freudenthal in Nieuw Archief het som-en-productprobleem [4–5]. Dit
probleem heeft daarna de academische gemoederen nogal beroerd. In 2002 kwam het in NAW
nogmaals over tafel, in het kader van een ander raadsel, het zeven-kaartenprobleem [14]. In
2005 werd in NAW een lezersoproep geplaatst om de herkomst en de verspreiding van het
raadsel te achterhalen. In deze bijdrage berichten de auteurs over de resultaten van deze
oproep en plaatsen de analyse van het raadsel in de actualiteit van kennislogica en model
checking.
probleem heeft daarna de academische gemoederen nogal beroerd. In 2002 kwam het in NAW
nogmaals over tafel, in het kader van een ander raadsel, het zeven-kaartenprobleem [14]. In
2005 werd in NAW een lezersoproep geplaatst om de herkomst en de verspreiding van het
raadsel te achterhalen. In deze bijdrage berichten de auteurs over de resultaten van deze
oproep en plaatsen de analyse van het raadsel in de actualiteit van kennislogica en model
checking.
| Original language | Dutch |
|---|---|
| Pages (from-to) | 126-131 |
| Journal | Nieuw archief voor wiskunde. Serie 5 |
| Volume | 10 |
| Issue number | 2 |
| Publication status | Published - Jun 2009 |