Título del documento: Recontando a computabilidade
Revue: Revista Brasileira de História da Ciência
Base de datos:
Número de sistema: 000552207
ISSN: 2176-3275
Autores: 1
2
3
4
Instituciones: 1Instituto de Computação (UFF),
2Departamento de Informática (PUC-Rio),
3Programa de Engenharia de Sistemas e Computação – COPPE/UFRJ Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (UFRJ); Escola Politécnica (UFRJ),
4Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (UFRJ),
Año:
Volumen: 3
Número: 2
Paginación: 231-251
País: Brasil
Idioma: Portugués
Resumen en inglés This article retells the history of computabilty in the period from 1900 to 1936 under the light of the Science and Technology Studies. The narrative focuses on the contingencies at the time of the establishment of Hilbert"s Program, and follows the unfolding of the events until Gödel"s Theorem and the formulation of the Church Thesis. It takes an interdisciplinary approach, which applies, experiments and discusses different strategies to follow the construction of scientific knowledges having computability as its focus.
Resumen en portugués 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.
Keyword: computability, Hilbert’s program,
studies of science,
technology and society
Texte intégral: Texto completo (Ver PDF)