Pesquisas

Disciplina: Téoria da Computação

 Índice
• Alan Turing
• Tese de Church
• Pensadores de Maquinas Universais
• Conferêcia de Paris
• Crise Matimática
 Alan Turing
Alan Turing
Historia
Alan Mathison Turing, foi um grande matemático ,
cientista da computacão, lógico, criptonalista, filosófo e
biólogo teórico Britrânico, cosiderado um dos pais da
Computacão (1912-1954), os seus feitos contribuiram para
o encurtamento da segunda gerra mundial e vitoria para o
seu país através da sua criação que o mesmo denominou
de Maquina de Turing.
Os seus feitos tiveram grande impacto na sociedade
contribuindo assim para a criaçã da inteligência artificial.
 Tese De Church
Segundo a tese de Church, se um cálculo pode ser feito de forma
automatizada por um dado método com passos finito então também
pode ser feito por uma màquina de Turing, onde o valor será
parcialmente recursivo.
Nesta tese são destacados aspectos importante como a decibilidade,
indecibilidade e o problema de parada.
 Pensadores De Máquinas Universais
Uma máquina universal é a denominação utilizada para caracterizar
um determinada máquina que é capaz de representar qualquer
algoritmo sob forma de programa.
Os seus principais idealizadores dessas foram os cientistas Herbet
Simon, Allen Newell, John McCarthy, Warren McCulloch, walter pitts e
Marvin Minsky, John Van Neumann , através das pesquisas desses
cientistas temos a possibilidade de ter as màquinas e a IA que hoje
existem.
 Conferência de Paris
Também conhecida como Conferência de Paz de Paris ocorreu em 1919
após o fim da primeira Gerra Mundial, onde participaram os lideres das
nações vitoriosas e foi realizada para discutir o tratado de paz com as
nações derrotadas.
 Crise Matemática
Esta crise surge quando a matemática é aplicada usando sistemas de
inteligência artificial podendo incluir questões éticas como a
responsabilidade das máquinas por suas ações, a privacidade, a
segurança dos dados, questões de confiabilidade e interpretação de
algoritmos que serão utilizados.
 Conclusão

Em suma a criação e as pesquisas feitas po Alan Turing, Church e outros

outros pesquisadores contribuiram criação para criação de màquinas
que hoje conhecemos, e surgiram algumas algumas questões
levantadas no ramo da matemática para reflexão de certos assuntos
ligados a privacidade e a conservação de dados.