Não é nada científico, mas é interessante ver que Gödel aparece duas vez na lista dos 10 mais... E a lógica de Boole também está lá.
http://www.scottaaronson.com/blog/?p=608 CS timeline voting: the results are in!<http://www.scottaaronson.com/blog/?p=608> *The top ten:* 1. Euclid’s Elements: 116 votes 2. Turing’s “On Computable Numbers”: 110 votes 3. Gödel’s Incompleteness Theorem: 107 votes 4. Gödel’s P vs. NP Letter to von Neumann: 106 votes 5. George Boole’s Logic: 88 votes 6. Shor’s Algorithm: 88 votes 7. Wikipedia: 85 votes 8. Claude Shannon’s Digital Logic: 82 votes 9. PRIMES in P: 82 votes 10. Cook-Levin Theorem: 80 votes -- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
