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,…

algoritmos, suas aplicações e de sua implementação, na forma de software, para execução em computadores eletrônicos. Desempenha um papel importante, na área de ciência da computação, a formalização matemática de algoritmos, como forma de representar problemas decidíveis, i.e., os que são susceptíveis de redução a operações elementares básicas, capazes de serem reproduzidas através de um qualquer dispositivo mecânico/eletrônico capaz de armazenar e manipular dados. Um destes…

1936 com um trabalho sobre a Teoria das Probabilidades, Turing se enveredou pela área da computação. Sua preocupação era saber o que efetivamente a computação poderia fazer. As respostas vieram sob a forma teórica com a projeção da Turing Universal Machine, que de acordo com um sistema formal, faria operações computacionais. Mostrou como um simples sistema automático poderia manipular símbolos de um sistema de regras próprias. A máquina teórica de Turing pode indicar que sistemas…

algoritmos, suas aplicações e de sua implementação, na forma de software, para execução em computadores eletrônicos. Desempenha um papel importante, na área de ciência da computação, a formalização matemática de algoritmos, como forma de representar problemas decidíveis, i.e., os que são susceptíveis de redução a operações elementares básicas, capazes de serem reproduzidas através de um qualquer dispositivo mecânico/eletrônico capaz de armazenar e manipular dados. Um destes dispositivos…

A primeira ferramenta conhecida para a computação foi o ábaco1 , cuja invenção é atribuída a habitantes da Mesopotâmia, em torno de 2700–2300 a.C.. Seu uso original era desenhar linhas na areia com rochas. Versões mais modernas do ábaco ainda são usadas como instrumento de cálculo. No século VII a.C., na antiga Índia, o gramático Pānini formulou a gramática de Sânscrito usando 3959 regras conhecidas como Ashtadhyāyi, de forma bastante sistemática e técnica. Pānini usou transformações e…

fundamental importância para a área de ciência da computação são as metodologias e técnicas ligadas à 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…

Descrição informal Uma máquina de Turing consiste em: Uma fita que é dividida em células, uma adjacente à outra. Cada célula contém um símbolo de algum alfabeto finito. O alfabeto contém um símbolo especial branco (aqui escrito como ¬) e um ou mais símbolos adicionais. Assume-se que a fita é arbitrariamente extensível para a esquerda e para a direita, isto é, a máquina de Turing possui tanta fita quanto é necessário para a computação. Assume-se também que células que ainda não…

Microprocessador___________________________________10 Dos Microprocessadores aos Microcontroladores_________13 Microcontrolador___________________________________14 Bibliografia_______________________________________15 Introdução Desde a mais remota antiguidade que o ser humano procura e desenvolvem meios e máquinas para realizar cálculos, do mais simples ao mais complexo, com o mínimo de…

algoritmo e computação com a máquina de Turing, desempenhando um papel importante na criação do moderno computador. A maior parte de seu trabalho foi desenvolvida na área de espionagem e, por isso, somente em 1975, com a publicação do livro de Andrew Hodges: Alan Turing: The Enigma of Intelligence, nos anos 80, foi que seu brilhante trabalho teórico com os primeiros computadores britânicos só foi reconhecido após a de sua biografia. A partir dela foi possível saber por que Turing, um…