???item.export.label??? ???item.export.type.endnote??? ???item.export.type.bibtex???

Please use this identifier to cite or link to this item: https://tede2.pucsp.br/handle/handle/21265
Tipo do documento: Tese
Título: A teoria da computação de Alan Turing
Autor: 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
Área(s) do CNPq: CNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIAS
Idioma: por
País: Brasil
Instituição: Pontifícia Universidade Católica de São Paulo
Sigla da instituição: PUC-SP
Departamento: Faculdade de Ciências Exatas e Tecnologia
Programa: 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 de defesa: 3-Apr-2018
Appears in Collections:Programa de Estudos Pós-Graduados em História da Ciência

Files in This Item:
File Description SizeFormat 
Danilo Gustavo Bispo.pdf1,58 MBAdobe PDFThumbnail

Download/Open Preview


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.