Resultados da pesquisa

== Intuicionismo e lógica construtivista == ...

...[[expressão regular|expressões regulares]], e foi um líder na defesa do [[intuicionismo]]. ...ensão e seu ensino. Já o trabalho de 1965 com Vesley é uma introdução ao [[intuicionismo]] e à matemática. ...

Há muitas formas de construtivismo. Estes incluem o programa de [[intuicionismo]] fundado por [[Luitzen Egbertus Jan Brouwer | Brouwer]], o [[finitismo]] d ...uicionismo, embora intuicionismo seja apenas um programa construtivista. O intuicionismo sustenta que os fundamentos da matemática residem na intuição do matemático ...

...os de uma equação|LDE]] Σ para ser uma simples proposição ''C'' (que é o [[Intuicionismo| intuicionista ]] estilo de sequente); mas tudo o que se aplica igualmente ...

...a desenvolvido por [[Arend Heyting]] para prover uma base formal para o [[intuicionismo]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. O sistema preserva, também, Ela se baseia na hipótese que também vem do intuicionismo de que o conhecimento não é destruído, apenas construído. ...

..., ao passo que a forma mais forte os contradiz. Logo, pode ser derivado do intuicionismo, da realizabilidade e do [[racionalismo clássico]], em cada caso por difere ...

Esta fórmula é válida na [[lógica clássica]] e não é válida na [[intuicionismo|lógica intuicionista]] ou lógicas intermediárias. Pode-se mostrar que, na l ...

[[Categoria:Intuicionismo]] ...

[[Categoria:Intuicionismo]] ...

...com justificativa. Essa é (aproximadamente) a abordagem favorecida pelos [[Intuicionismo|intuicionistas]] tais como [[Michael Dummett]]. ...

...ten, phys.-math. Klasse'', 1930, S. 42-65.</ref> em 1930 para distinguir [[intuicionismo]] da negação clássica. Isto também aparece na tese de doutorado de Gerhard ...

...indutivos, axiomas recursivos, etc; ele também oferece uma defesa contra o Intuicionismo de L.E.J. Brouwer. Veja também os comentários e refutações de [[Hermann Wey ...

...pais_trabalhos=[[Conjectura de Poincaré]], [[Problema dos três corpos]], [[Intuicionismo]] ...mbém, considerado por muitos matemáticos, como o percursor das ideias do [[Intuicionismo]].<ref>[https://fr.wikipedia.org/wiki/Henri_Poincar%C3%A9 Fondements des ma ...

[[Categoria:Intuicionismo]] ...

...combinadores poderiam ser vistos como esquemas axiomáticos para a lógica [[intuicionismo|intuicionista]] implicacional. ...tipos]] pode ser transformado em algoritmos para decidir a probabilidade [[intuicionismo|intuicionista]]. ...

...intuicionística lógica também tem um recurso básico conectivo ⊤ do qual o intuicionismo ⊥: negação pode ser definida como {{nowrap|1=¬''A'' = (⊤ # ''A'')}}. ...ência e lógica intuicionista, incluindo uma explicação em que por que dual intuicionismo e lógica paraconsistente não coincidem, pode ser encontrado em Brunner e Ca ...

...cepção atualista é expressa em relação à infinidade dos números reais: o [[Intuicionismo|intuicionista]] [[Luitzen Egbertus Jan Brouwer]] considera o contínuo como ...utivismo), bem como a aceitação do infinito atual apenas para o continuum (intuicionismo), enquanto o [[Platonismo matemático|platonismo]] simplesmente aceita o inf ...

* A '''[[lógica intuicionista de primeira ordem]]''' utiliza o [[intuicionismo]] ao invés do [[cálculo proposicional|cálculo proposicional clássico]], por ...

...e (como as lógicas livres, modais, temporais, paraconsistentes, difusas, [[Intuicionismo|intuicionistas]], etc. ver: [[Lógica intuicionista]]), o que levanta novos ...