A teoria da computação de Alan Turing

Detalhes bibliográficos
Autor(a) principal: Bispo, Danilo Gustavo
Data de Publicação: 2018
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da PUC_SP
Texto Completo: https://tede2.pucsp.br/handle/handle/21265
Resumo: 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
id PUC_SP-1_5300fcbc1975ba949e7de094a701b8cb
oai_identifier_str oai:repositorio.pucsp.br:handle/21265
network_acronym_str PUC_SP-1
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_SP
repository_id_str
spelling Goldfarb, Jose Luizhttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4965337H2Bispo, Danilo Gustavo2018-07-25T11:54:43Z2018-04-03Bispo, 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.https://tede2.pucsp.br/handle/handle/21265The 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 modelO 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 digitalCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESapplication/pdfhttp://tede2.pucsp.br/tede/retrieve/46199/Danilo%20Gustavo%20Bispo.pdf.jpgporPontifícia Universidade Católica de São PauloPrograma de Estudos Pós-Graduados em História da CiênciaPUC-SPBrasilFaculdade de Ciências Exatas e TecnologiaGeometria não-EuclidianaComputação - MatemáticaTuring, Alan Mathison [1912-1954]Geometry, Non-EuclideanComputer – MathematicsFoundations of MathematicCNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIASA teoria da computação de Alan Turinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_SPinstname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPTEXTDanilo Gustavo Bispo.pdf.txtDanilo Gustavo Bispo.pdf.txtExtracted texttext/plain221170https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/4/Danilo%20Gustavo%20Bispo.pdf.txt7a4a76d8e6c1eacb8dbcf971b849f966MD54LICENSElicense.txtlicense.txttext/plain; charset=utf-82165https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/1/license.txtbd3efa91386c1718a7f26a329fdcb468MD51ORIGINALDanilo Gustavo Bispo.pdfDanilo Gustavo Bispo.pdfapplication/pdf1616324https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/2/Danilo%20Gustavo%20Bispo.pdfcbc43e66f323825f005da2c275dfa256MD52THUMBNAILDanilo Gustavo Bispo.pdf.jpgDanilo Gustavo Bispo.pdf.jpgGenerated Thumbnailimage/jpeg3095https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/3/Danilo%20Gustavo%20Bispo.pdf.jpg7feff16de80be04f0d1771bdcd4bb612MD53handle/212652022-04-28 14:50:10.555oai:repositorio.pucsp.br:handle/21265Tk9UQTogQ09MT1FVRSBBUVVJIEEgU1VBIFBSw5NQUklBIExJQ0VOw4dBCkVzdGEgbGljZW7Dp2EgZGUgZXhlbXBsbyDDqSBmb3JuZWNpZGEgYXBlbmFzIHBhcmEgZmlucyBpbmZvcm1hdGl2b3MuCgpMSUNFTsOHQSBERSBESVNUUklCVUnDh8ODTyBOw4NPLUVYQ0xVU0lWQQoKQ29tIGEgYXByZXNlbnRhw6fDo28gZGVzdGEgbGljZW7Dp2EsIHZvY8OqIChvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvcikgY29uY2VkZSDDoCBVbml2ZXJzaWRhZGUgClhYWCAoU2lnbGEgZGEgVW5pdmVyc2lkYWRlKSBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgIHRyYWR1emlyIChjb25mb3JtZSBkZWZpbmlkbyBhYmFpeG8pLCBlL291IApkaXN0cmlidWlyIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyAoaW5jbHVpbmRvIG8gcmVzdW1vKSBwb3IgdG9kbyBvIG11bmRvIG5vIGZvcm1hdG8gaW1wcmVzc28gZSBlbGV0csO0bmljbyBlIAplbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8gb3MgZm9ybWF0b3Mgw6F1ZGlvIG91IHbDrWRlby4KClZvY8OqIGNvbmNvcmRhIHF1ZSBhIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhbnNwb3IgYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIApwYXJhIHF1YWxxdWVyIG1laW8gb3UgZm9ybWF0byBwYXJhIGZpbnMgZGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIHRhbWLDqW0gY29uY29yZGEgcXVlIGEgU2lnbGEgZGUgVW5pdmVyc2lkYWRlIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBhIHN1YSB0ZXNlIG91IApkaXNzZXJ0YcOnw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIGRlY2xhcmEgcXVlIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqiB0ZW0gbyBwb2RlciBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyAKbmVzdGEgbGljZW7Dp2EuIFZvY8OqIHRhbWLDqW0gZGVjbGFyYSBxdWUgbyBkZXDDs3NpdG8gZGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBuw6NvLCBxdWUgc2VqYSBkZSBzZXUgCmNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiAKZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBwYXJhIGNvbmNlZGVyIMOgIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSAKb3MgZGlyZWl0b3MgYXByZXNlbnRhZG9zIG5lc3RhIGxpY2Vuw6dhLCBlIHF1ZSBlc3NlIG1hdGVyaWFsIGRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIAppZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdSBubyBjb250ZcO6ZG8gZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG9yYSBkZXBvc2l0YWRhLgoKQ0FTTyBBIFRFU0UgT1UgRElTU0VSVEHDh8ODTyBPUkEgREVQT1NJVEFEQSBURU5IQSBTSURPIFJFU1VMVEFETyBERSBVTSBQQVRST0PDjU5JTyBPVSAKQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PIFFVRSBOw4NPIFNFSkEgQSBTSUdMQSBERSAKVU5JVkVSU0lEQURFLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyAKVEFNQsOJTSBBUyBERU1BSVMgT0JSSUdBw4fDlUVTIEVYSUdJREFTIFBPUiBDT05UUkFUTyBPVSBBQ09SRE8uCgpBIFNpZ2xhIGRlIFVuaXZlcnNpZGFkZSBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lIChzKSBvdSBvKHMpIG5vbWUocykgZG8ocykgCmRldGVudG9yKGVzKSBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIGFsw6ltIGRhcXVlbGFzIApjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgo=Biblioteca Digital de Teses e Dissertaçõeshttps://sapientia.pucsp.br/https://sapientia.pucsp.br/oai/requestbngkatende@pucsp.br||rapassi@pucsp.bropendoar:2022-04-28T17:50:10Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.por.fl_str_mv A teoria da computação de Alan Turing
title A teoria da computação de Alan Turing
spellingShingle A teoria da computação de Alan Turing
Bispo, Danilo Gustavo
Geometria não-Euclidiana
Computação - Matemática
Turing, Alan Mathison [1912-1954]
Geometry, Non-Euclidean
Computer – Mathematics
Foundations of Mathematic
CNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIAS
title_short A teoria da computação de Alan Turing
title_full A teoria da computação de Alan Turing
title_fullStr A teoria da computação de Alan Turing
title_full_unstemmed A teoria da computação de Alan Turing
title_sort A teoria da computação de Alan Turing
author Bispo, Danilo Gustavo
author_facet Bispo, Danilo Gustavo
author_role author
dc.contributor.advisor1.fl_str_mv Goldfarb, Jose Luiz
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4965337H2
dc.contributor.author.fl_str_mv Bispo, Danilo Gustavo
contributor_str_mv Goldfarb, Jose Luiz
dc.subject.por.fl_str_mv Geometria não-Euclidiana
Computação - Matemática
Turing, Alan Mathison [1912-1954]
topic Geometria não-Euclidiana
Computação - Matemática
Turing, Alan Mathison [1912-1954]
Geometry, Non-Euclidean
Computer – Mathematics
Foundations of Mathematic
CNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIAS
dc.subject.eng.fl_str_mv Geometry, Non-Euclidean
Computer – Mathematics
Foundations of Mathematic
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::HISTORIA::HISTORIA DAS CIENCIAS
description 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
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-07-25T11:54:43Z
dc.date.issued.fl_str_mv 2018-04-03
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv https://tede2.pucsp.br/handle/handle/21265
identifier_str_mv 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.
url https://tede2.pucsp.br/handle/handle/21265
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.publisher.program.fl_str_mv Programa de Estudos Pós-Graduados em História da Ciência
dc.publisher.initials.fl_str_mv PUC-SP
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Faculdade de Ciências Exatas e Tecnologia
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_SP
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_SP
collection Biblioteca Digital de Teses e Dissertações da PUC_SP
bitstream.url.fl_str_mv https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/4/Danilo%20Gustavo%20Bispo.pdf.txt
https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/1/license.txt
https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/2/Danilo%20Gustavo%20Bispo.pdf
https://repositorio.pucsp.br/xmlui/bitstream/handle/21265/3/Danilo%20Gustavo%20Bispo.pdf.jpg
bitstream.checksum.fl_str_mv 7a4a76d8e6c1eacb8dbcf971b849f966
bd3efa91386c1718a7f26a329fdcb468
cbc43e66f323825f005da2c275dfa256
7feff16de80be04f0d1771bdcd4bb612
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv bngkatende@pucsp.br||rapassi@pucsp.br
_version_ 1791080701649485824