It will be shipped from our warehouse between Monday, August 05 and Wednesday, August 14.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Indu § £o Finita, Dedu § μes e Maquina de Turing (in Portuguese)
Almeida
Synopsis "Indu § £o Finita, Dedu § μes e Maquina de Turing (in Portuguese)"
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.
