A prova original do teorema da codificação de Shannon tem um chute - mas está essencialmente correta. A prova de 1939, de Turing, da progressão de teorias, está cheia de gatos - mas as ideias básicas estão claras. A teoria de Seiberg-Witten é toda chutada - e deu medalha Fields.
Prefiro uma boa ideia, inda que chutada, a um rigor castrador. -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
