João Almeida
Indução Finita, deduções e Máquina de Turing
uma dissertação de mestrado em Matemática orientada por Luciano Barbanti
Dialética

Impresión bajo demanda. Llega en 14 dias.

Páginas: 64
Formato:
Peso: 0.111 kgs.
ISBN: 9786525227610

Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentados inúmeros esquemas de dedução referentes às fórmulas e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática.