Il teorema di Böhm-Jacopini

Manco a dirlo, pure il più importante teorema sulla programmazione strutturata, su cui si basa praticamente tutta l'informatica moderna (questo) è stato formulato a Pisa, da Bohm, mentre giocava a Bingo con Vanneschi.