Indução finita, deduções e máquina de Turing

Detalhes bibliográficos
Autor(a) principal: Almeida, João Paulo da Cruz [UNESP]
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/151718
Resumo: 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 apresentadas 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.
id UNSP_35b604a17e6512513ac6115e46220b0d
oai_identifier_str oai:repositorio.unesp.br:11449/151718
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Indução finita, deduções e máquina de TuringFinite induction, deductions and Turing machineNúmeros naturaisAxiomas de peanoInduçãoPrimeiro elemento dos naturaisMáquinas de TuringTese de Turing-ChurchNatural numbersPeano's axiomsInductionThe first natural elementTuring machinesTuring-Church thesisEste 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 apresentadas 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.This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics.Universidade Estadual Paulista (Unesp)Barbanti, Luciano [UNESP]Universidade Estadual Paulista (Unesp)Almeida, João Paulo da Cruz [UNESP]2017-09-28T12:58:50Z2017-09-28T12:58:50Z2017-06-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/11449/15171800089249531075010001P2porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESP2024-01-13T06:29:26Zoai:repositorio.unesp.br:11449/151718Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-01-13T06:29:26Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Indução finita, deduções e máquina de Turing
Finite induction, deductions and Turing machine
title Indução finita, deduções e máquina de Turing
spellingShingle Indução finita, deduções e máquina de Turing
Almeida, João Paulo da Cruz [UNESP]
Números naturais
Axiomas de peano
Indução
Primeiro elemento dos naturais
Máquinas de Turing
Tese de Turing-Church
Natural numbers
Peano's axioms
Induction
The first natural element
Turing machines
Turing-Church thesis
title_short Indução finita, deduções e máquina de Turing
title_full Indução finita, deduções e máquina de Turing
title_fullStr Indução finita, deduções e máquina de Turing
title_full_unstemmed Indução finita, deduções e máquina de Turing
title_sort Indução finita, deduções e máquina de Turing
author Almeida, João Paulo da Cruz [UNESP]
author_facet Almeida, João Paulo da Cruz [UNESP]
author_role author
dc.contributor.none.fl_str_mv Barbanti, Luciano [UNESP]
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Almeida, João Paulo da Cruz [UNESP]
dc.subject.por.fl_str_mv Números naturais
Axiomas de peano
Indução
Primeiro elemento dos naturais
Máquinas de Turing
Tese de Turing-Church
Natural numbers
Peano's axioms
Induction
The first natural element
Turing machines
Turing-Church thesis
topic Números naturais
Axiomas de peano
Indução
Primeiro elemento dos naturais
Máquinas de Turing
Tese de Turing-Church
Natural numbers
Peano's axioms
Induction
The first natural element
Turing machines
Turing-Church thesis
description 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 apresentadas 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-09-28T12:58:50Z
2017-09-28T12:58:50Z
2017-06-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11449/151718
000892495
31075010001P2
url http://hdl.handle.net/11449/151718
identifier_str_mv 000892495
31075010001P2
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.source.none.fl_str_mv reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1792962325021458432