Recontando a computabilidade

Isabel Cafezeiro; Edward Hermann Haeusler; Henrique Luiz Cukierman; Ivan da Costa Marques

doi:10.53727/rbhc.v3i2.349

Authors

Isabel Cafezeiro Instituto de Computação (UFF)
Edward Hermann Haeusler Departamento de Informática (PUC-Rio)
Henrique Luiz Cukierman Programa 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)
Ivan da Costa Marques Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (UFRJ)

DOI:

https://doi.org/10.53727/rbhc.v3i2.349

Keywords:

computability, Hilbert’s program, studies of science, technology and society

Abstract

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.

Downloads

Download data is not yet available.

Author Biographies

Isabel Cafezeiro, Instituto de Computação (UFF)

Doutora em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, professora do Instituto de Computação da Universidade Federal Fluminense.

Edward Hermann Haeusler, Departamento de Informática (PUC-Rio)

Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, professor do Departamento de Informática – Pontifícia Universidade Católica do Rio de Janeiro.

Henrique Luiz Cukierman, Programa 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)

Doutor em Engenharia de Produção pela Universidade Federal do Rio de Janeiro, professor adjunto da UFRJ.

Ivan da Costa Marques, Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (UFRJ)

Mestre e doutor pela Universidade da Califórnia, Berkeley. Pós-doutorado no Departamento de História (History Studies Committee) da New School for Social Research, Nova York, como Visiting Research Fellow de 1990 a 1992. Só durante esse período começou a perceber que o espaço aparentemente misterioso e deserto entre as ciências naturais (colocando aí a matemática em destaque) e as ciências sociais pode ser entendido e habitado por mil entidades, mediante epistemologias e ontologias adequadas. Publicou em 1998 o livro O Brasil e a abertura dos mercados – o trabalho em questão, editado pela Contraponto (2ª edição). Professor Associado (DCC e HCTE / UFRJ).