Palestra “Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing”

Palestra: “Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing”

Prof. Ruy de Queiroz
Dia: 15/outubro/2012
Hora: 13;30h
Local: Auditório Campus Porto / Anglo

Alan Turing (1912-1954), matemático, lógico, criptoanalista e cientista da computação britânico, foi fundamental no desenvolvimento da ciência da computação e proporcionou uma formalização do conceito de algoritmo e computação através do modelo matemático idealizado da “máquina de Turing”. Tendo desempenhado importante papel na quebra do código da máquina ENIGMA utilizada pelo exército alemão na Segunda Guerra, passou de herói de guerra a um fora-da-lei sujeito a tratamento quimico-hormonal forçado devido a sua homossexualidade. Em homenagem ao centenário de seu nascimento, a intenção aqui é fazer uma reflexão sobre o legado desse que foi, ao mesmo tempo, herói nacional e uma ameaça ao estado britânico: de fundamental importância na consolidação da ciência da computação, da noção de máquina universal, assim como da teoria da decidibilidade de problemas matemáticos, Turing abriu caminho para a demonstração de que certos problemas da Matemática são indecidíveis, a exemplo do décimo problema de Hilbert. Alguns subprodutos de sua investigação teórica, tais como o computador de propósito geral e a noção de inteligência artificial, serviram de base para os que muitos chamam de “Quarta Revolução Tecnológica – A Revolução da Informação”.

Até o momento a palestra já foi apresentada na UFPE, na UNIVASF, na UFAL, na UFRN, na UnB. Em Salvador, na UFBA, e na UEFS. Em Agosto, a UFC, em Setembro a UFPI, e a partir de Outubro estarei na UFRGS e outras tantas como USP, UFF, UFCG, UFPB, UFMA, UFPA, UFAM, UFG e UFS.