| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 253.61 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
Lógica Matemática Pensamento Dedutivo Máquina de Turing