• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

A teoria da computação de Alan Turing

Bispo, Danilo Gustavo 03 April 2018 (has links)
Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-07-25T11:54:43Z No. of bitstreams: 1 Danilo Gustavo Bispo.pdf: 1616324 bytes, checksum: cbc43e66f323825f005da2c275dfa256 (MD5) / Made available in DSpace on 2018-07-25T11:54:43Z (GMT). No. of bitstreams: 1 Danilo Gustavo Bispo.pdf: 1616324 bytes, checksum: cbc43e66f323825f005da2c275dfa256 (MD5) Previous issue date: 2018-04-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / 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 / 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

Page generated in 0.1438 seconds