Muitos dos problemas que têm sido assinalados nessa discussão sobre Nelson resultam de um fato simples: sistemas axiomáticos como os usuais (consistentes, incluem bastante aritmética, possuem um conjunto r.e. de teoremas, têm por linguagem a lógica clássica) não se prestam à teoria da computação: muitos fatos simples e intuitivamente claros resultam, na versão formal, em sentenças indecidíveis. Me parece que a teoria da computação exige algum tipo de regra infinitária na sua axiomatização, se desejarmos que nossas intuições a respeito se reflitam em teoremas da teoria.
-- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
