Aspectos da Tese de Church

Aspectos da tese de Church-Turing Arleison Meira Rocha Lacerda1, Iran Freitas Ribeiro1, Jearleson Lacerda, José Pedro Cavalcante Maioli Menezes1, Rafael Cardoso Oliveira1, 1Curso de Ciência da Computação Universidade Estadual do Sudoeste da Bahia (UESB) – Vitória da Conquista, BA - Brazil arleison@ymail.com, ifreitasribeiro@hotmail.com, jearleson@hotmail.com, maioli@live.nl, rafaelcohot@hotmail.com Abstract. This article presents some of the aspects of the Church-Turing thesis, explaining your impact in the scientific community and exemplifying yours applications. During the of intrduction, a brief resum about the life the of two scientific is showed. Next, the explaining of the thesis itself. Resumo. Este artigo aborda a tese de Church-Turing, explicando seu impacto na comunidade científica e exemplificando suas aplicações. No decorrer da introdução, um breve resumo sobre a vida dos dois cientistas é apresentado. Em seguida, a explicação da tese propriamente dita. 1.Introdução Alonzo Church foi um matemático e filósofo estado-unidense, nascido em Washington, D.C., e exerceu atividades acadêmicas nas universidades de Princeton e Califórnia, Los Angeles (UCLA). Foi membro da Academia Nacional de Ciências dos EUA. No rol de suas contribuições para a comunidade científica está a famosa Tese de Church (1936). Morreu em Hudson, Ohio aos 92 anos. Matemático britânico nascido em 1912, Alan Mathison Turing formou-se nas universidades de Princeton e Cambridge, sendo…

Aspectos da tese de Church-Turing Arleison Meira Rocha Lacerda1, Iran Freitas Ribeiro1, Jearleson Lacerda, José Pedro Cavalcante Maioli Menezes1, Rafael Cardoso Oliveira1, 1Curso de Ciência da Computação Universidade Estadual do Sudoeste da Bahia (UESB) – Vitória da Conquista, BA - Brazil arleison@ymail.com, ifreitasribeiro@hotmail.com, jearleson@hotmail.com, maioli@live.nl, rafaelcohot@hotmail.com Abstract. This article presents some of the aspects of the Church-Turing thesis,…

problemas P e NP e decidibilidade. Conjuntos, Relações e Linguagens Conjuntos Um conjunto é uma coleção de objetos. Por exemplo, a coleção das quatro letras a, b, c, d é um conjunto, que podemos chamar de L; escrevemos L = {a, b, c, d}. Os objetos pertencentes ao conjunto são chamados de elementos ou membros. No exemplo acima, b é um elemento de L, e podemos escrever b E L. Em um conjunto, não distinguimos repetições de elementos. Portanto, o conjunto L = {a, b, a} é o mesmo que o…

História da Máquina Turing Breve Histórico: 1936: Alan Turing propôs um modelo conhecido como Máquina de Turing. Máquina de Turing é a formalização de um procedimento (seqüência finita de instruções), que pode ser realizado mecanicamente em tempo finito. → Alonzo Church apresentou Hipótese de Church: “Qualquer procedimento pode ser descrito por uma Máquina de Turing”. → Qualquer computação que pode ser descrita por uma Máquina de Turing pode ser executada mecanicamente ou…

Crestani Videira – SC 2012 INTRODUÇÃO A ciência da Computação ainda é uma ciência que está em seu início, ainda tem muito que ser estudado sobre ela. Alguns campos foram criados dentro desse tema, um deles é a teoria da computação. Pensadores no inicio do século XX conseguiram desenvolver teorias referentes a esse assunto, porém sofreram com a etapa da evolução do pensamento matemático ocorrido entre 1874 e 1936. Para elaborar suas teses os pensadores dessas épocas se basearam em…

5. Maquinas de Turing 5.1 Introdução As maquinas de Turing são uma proposta de formalização da noção de procedimento efetivo (programa executado num computador que sempre fornece uma resposta) A maquina de Turing não é nada mais do que um autômato finito determinístico com uma fita, onde será escrita a palavra a processar, e uma cabeça de leitura que pode se movimentar tanto a direita quanto a esquerda. Com a cabeça de leitura podemos então ler e escrever símbolos do alfabeto…

implementação de software que abordam a especificação, modelagem, codificação, teste e avaliação de sistemas de software. Os estudos oriundos da ciência da computação podem ser aplicados em qualquer área do conhecimento humano em que seja possível definir métodos de resolução de problemas baseados em repetições previamente observadas. Avanços recentes na ciência da computação tem impactado fortemente a sociedade contemporânea, em particular as aplicações relacionadas às áreas de redes…

Trabalho, problematizar, polemizar e mesmo contestar as teses que defendiam o fim da centralidade do trabalho no mundo capitalista contemporâneo. Teses que tiveram várias conseqüências e repercussões no interior das universidades, das esquerdas, dos movimentos sociais, dos sindicatos e do próprio movimento dos trabalhadores, uma vez que, implícita ou explicitamente, alguns de seus principais formuladores recusavam-se, no fundo, a reconhecer o papel central…

demais funcionalidades do corpo, pois estão paralelamente condicionados um ao outro. A Mente é um conceito bastante utilizado para descrever as funções superiores do cérebro humano relacionadas à cognição e comportamento. O termo também descreve a personalidade e costuma designar capacidades humanas, ou mesmo, empregado para designar capacidades de seres sobrenaturais. A Natureza da mente pode ser classificada simplificadamente e à grosso modo, em três posições. Os dualistas defendem a…

A NOVA MÁQUINA DE MORAR: UM HARDWARE DE MORAR? Ernani Maia O PROGRAMA HABITACIONAL CONTEMPORÂNEO SOB A PERSPECTIVA DAS NOVAS FERRAMENTAS ARQUITETÔNICAS DIGITAIS. •A tecnologia se tornou peça fundamental também para o meio arquitetônico; •Informações visuais precisam ter qualidade; •Habitações Contemporâneas seguem dois rumos: - moradias voltadas para o mercado imobiliário; - moradias destinadas a um público alvo; •Estrutura social assumiu caráter mais complexo; …