Revista Brasileira de História da Ciência (Dec 2010)
Recontando a computabilidade
Abstract
Este texto reconta a história da computabilidade no período de 1900 a 1936 sob a luz dos estudos de Ciência-Tecnologia- Sociedade. A narrativa enfoca as contingências presentes no estabelecimento do programa de Hilbert, e o desenrolar dos acontecimentos até a apresentação dos teoremas de Gödel e a formulação da tese de Church. Adota uma abordagem interdisciplinar, que aplica, experimenta e discute diversas estratégias de acompanhamento da construção dos conhecimentos científicos tendo a computabilidade como foco.
Keywords
