La strega della verità

C'era una volta... un ingegnere che si divertiva ad inventare e raccontare una fiaba ai suoi figli, ogni sera, prima che i bambini si addormentassero. Per il suo lavoro quell'ingegnere doveva conoscere e studiare la "logica formale", disciplina antica di millenni, ma indispensabile per la progettazione di "circuiti logici" e moderni sistemi automatici. Ecco quindi che in queste sue fiabe ispirate alla logica capita che due diavoli restino bloccati a causa del "principio del terzo escluso", un coniglio magico abbia bisogno dei giusti "quantificatori" per esaudire i desideri... ed altre situazioni simili. Il libro trascina bambini e adulti in mondi fantastici e fa scoprire la logica, i suoi paradossi e la sua storia. Ogni fiaba è seguita dalla spiegazione del principio logico a cui si ispira, non bisogna quindi avere grandi conoscenze in materia. Per ogni favola sono stati anche sviluppati giochi e attività che conciliano il momento dell'apprendimento con quello del divertimento. È quindi un libro per tutti, grandi e piccini!