⏳ Disponible en 10 días.
Despacho diferido: este producto se envía cuando ingresa stock.

Ficha técnica
• Autor: João Almeida
• Páginas: 64
• Formato: 23 x 15,5 cm
• Encuadernación: Tapa blanda
• ISBN: 9786525227610

Sinopsis
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.