| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 253.61 KB | Adobe PDF |
Authors
Advisor(s)
Abstract(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.
Description
Keywords
Lógica Matemática Pensamento Dedutivo Máquina de Turing