O Envolvimento da Matemática com a Criação dos Computadores: Um Caso de Estudo da Lógica Matemática à Máquina Universal de Turing

• Autor(a) principal: Chagas, Elza Figueiredo
• Data de Publicação: 2002
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10400.19/634
• topic: Lógica Matemática; Pensamento Dedutivo; Máquina de Turing

Embora não nos apercebamos, o mundo em que vivemos hoje depende fundamentalmente da Matemática. A computação que revoluciona a vida moderna não poderia fugir a regra: foi desenvolvida inicialmente (em seus aspectos teóricos) por matemáticos como Von Neuman e Alan Turing. Nesse sentido, o trabalho aqui apresentado tem como principal finalidade mostrar a importância de conceitos matemáticos na criação de modelos de máquinas automática, em especial, a criação dos computadores, tendo como base o modelo da Máquina de Turing. Em especial, nos interessa abordar a questão do pensamento dedutivo e matemático, seus limites e o problema da relativa mecanização do pensamento quantitativo.