Use este identificador para citar ou linkar para este item:
https://repositorio.pucsp.br/jspui/handle/handle/21265| Tipo: | Tese |
| Título: | A teoria da computação de Alan Turing |
| Autor(es): | Bispo, Danilo Gustavo |
| Primeiro Orientador: | Goldfarb, Jose Luiz |
| Resumo: | O presente trabalho tem como objetivo expor o estudo de alguns aspectos que permearam o surgimento da Teoria da Computação de Alan Mathison Turing no início do século XX. De acordo com pesquisa, sugere-se que isso tenha ocorrido em parte, devido a uma consequência teórica do desenvolvimento da matemática. No final do século XIX houve um esforço despendido por parte de alguns pensadores cujo o intuito estava em clarificar a natureza da verdade em matemática, problema posto em aguda evidência pela turbulenta etapa no desenvolvimento do pensamento matemático ocorrido entre aproximadamente 1870 e 1940 com o surgimento de novos tipos de geometria. Esta etapa também pode ser interpretada como "a crise dos fundamentos" e visualizada como o desfecho da fase de desenvolvimento correspondente ao surgimento da ciência contemporânea. Dentro deste contexto, a ideia será agora ampliar a investigação procurando identificar detalhes dos projetos que não foram bem-sucedidos, mas que também tiveram sua contribuição ou influenciaram de algum modo o surgimento da teoria que estabeleceu conceitos chave para o modelo do computador digital |
| Abstract: | The present work aims to expose the study of some aspects that permeated the emergence of Computing Theory of Alan Mathison Turing at the beginning of the 20th century. According to previous research, it is suggested that this occurred in part, due to a theoretical consequence of the development of mathematics. At the end of the nineteenth century there was an effort expended by some thinkers whose aim was to clarify the nature of truth in mathematics, a problem put in sharp evidence by the turbulent stage in the development of mathematical thinking between about 1870 and 1940 with the emergence of new types of geometry. This stage can also be interpreted as "the crisis of fundamentals" and visualized as the outcome of the development phase corresponding to the emergence of contemporary science. Within this context, the idea will now be to broaden the research to identify details of the projects that were not successful but that also had their contribution or influenced in some way the emergence of the theory that established key concepts for the digital computer model |
| Palavras-chave: | Geometria não-Euclidiana Computação - Matemática Turing, Alan Mathison [1912-1954] Geometry, Non-Euclidean Computer – Mathematics Foundations of Mathematic |
| CNPq: | CNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIAS |
| Idioma: | por |
| País: | Brasil |
| Editor: | Pontifícia Universidade Católica de São Paulo |
| Sigla da Instituição: | PUC-SP |
| metadata.dc.publisher.department: | Faculdade de Ciências Exatas e Tecnologia |
| metadata.dc.publisher.program: | Programa de Estudos Pós-Graduados em História da Ciência |
| Citação: | Bispo, Danilo Gustavo. A teoria da computação de Alan Turing. 2018. 115 f. Tese (Doutorado em História da Ciência) – Programa de Estudos Pós-Graduados em História da Ciência, Pontifícia Universidade Católica de São Paulo, São Paulo, 2018. |
| Tipo de Acesso: | Acesso Aberto |
| URI: | https://tede2.pucsp.br/handle/handle/21265 |
| Data do documento: | 3-Abr-2018 |
| Aparece nas coleções: | Programa de Estudos Pós-Graduados em História da Ciência |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Danilo Gustavo Bispo.pdf | 1,58 MB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.