Publieke Werken -- Freudenthal's Som en productraadsel

Het `som en product' probleem werd door Hans Freudenthal geponeerd in 1969 in het Nieuw Archief. 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'. In 2005 werd in NAW een lezersoproep geplaatst om de herkomst en de verspreiding van het raadsel te achterhalen. In deze bijdrage berichten we over de resultaten van deze oproep en plaatsen de analyse van het raadsel in de actualiteit van kennislogica en `model checking'.