This post originated from an RSS feed registered with .NET Buzz
by Adrian Florea.
Original Post: Un amico citato da Knuth!
Feed Title: Web Log di Adrian Florea
Feed URL: /error.aspx?aspxerrorpath=/adrian/Rss.aspx
Feed Description: "You know you've achieved perfection in design, not when you have nothing more to add, but when you have nothing more to take away." Antoine de Saint-Exupery
Che bello trovare una tua conoscenza citata nel più importante libro di computer science che sia mai scritto, parlo del leggendario "The Art of Computer Programming"!
Con Gabriel Istrate partecipai quasi vent'anni fa (8 giugno 1986...) alla fase provinciale di un concorso di articoli di matematica. Lui vinse il primo premio, io il secondo. E adesso lo trovo citato dal Prof. Donald E. Knuth, vero mostro sacro dell'informatica, alla pagina 59 della bozza del pre-fascicolo 0b ("Boolean Basics") che entrerà nel volume 4A ("Enumeration and Backtracking"). Il risultato di Gabriel tratta delle clausole di Horn - incontrate sicuramente di chi ha studiato Prolog.