Libro disponible en 5 dias hábiles.

b'Este trabalho apresenta uma proposta relacionada ao ensino e pr\xe1tica do pensamento dedutivo formal em Matem\xe1tica. S\xe3o apresentados no \xe2mbito do conjunto dos n\xfameros Naturais tr\xeas temas essencialmente interligados: indu\xe7\xe3o/boa ordem, dedu\xe7\xe3o e esquemas de computa\xe7\xe3o representados pela m\xe1quina te\xf3rica de Turing. Os tr\xeas temas se amalgamam na teoria l\xf3gica de dedu\xe7\xe3o e tangem os fundamentos da Matem\xe1tica, sua pr\xf3pria indecidibilidade e extens\xf5es / limites de tudo que pode ser deduzido utilizando a l\xf3gica de Arist\xf3teles, caminho t\xe3o profundamente utilizado nos trabalhos de G\xf6del, Church, Turing, Robinson e outros. S\xe3o apresentados in\xfameros esquemas de dedu\xe7\xe3o referentes \xe0s f\xf3rmulas e Teoremas que permeiam o ensino fundamental e b\xe1sico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais pr\xf3prio pertinente \xe0 Matem\xe1tica.'