Publieke werken: Freudenthal’s som-en-productraadsel

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.