Resultados da pesquisa

...nista]] mas pode ser justificada por meio de [[Construtivismo (matemática)|construtivismo]]. Existem muitas formulações equivalentes ao princípio de Markov. ...(''x'') é verdadeiro ou ''P''(''x'') é falso, o que nem sempre é o caso do construtivismo. ...

...u-se o objeto e, portanto, não é provada a sua existência, de acordo com o construtivismo. Este ponto de vista envolve uma interpretação verificacional do quantifica ...ndrey Markov (Soviet mathematician)|Markov]] e [[Errett Bishop|Bishop]]. O Construtivismo também inclui o estudo da [[constructive set theory|teoria dos conjuntos co ...

...e o domínio dos números naturais. A APR é geralmente tomada como o sistema matemático formal para teoria de provas, em particular para provas de consistência, co [[Categoria:Construtivismo matemático]] ...

...existencial]], tornando-a adequada para outras formas de [[construtivismo matemático]]. [[Categoria:Construtivismo matemático]] ...

...teoria de tipos intuicionista foi introduzida por [[Per Martin-Löf]], um [[matemático]] e [[filósofo]] [[Suécia|sueco]], em 1972. Martin-Löf modificou sua propos ...m de tipos é [[Decidibilidade|decidível]], mas a representação do conceito matemático padrão é complexa, já que a lógica de extensão requer o uso de igualdade de ...

[[Categoria:Construtivismo matemático]] ...

[[Categoria:Construtivismo matemático]] ...

Desde o [[século V a.C.]], começando com o matemático [[Matemática grega|grego]] [[Zenão de Eleia]] no [[ocidente]] e os primeiro ...sto como um dos fundadores do [[Construtivismo (matemática)|construtivismo matemático]], era contra. A teoria dos conjuntos cantoriana, afinal, tornou-se amplame ...

...lação ao infinito atual, como por exemplo no [[Construtivismo (matemática)|construtivismo]] da [[Escola Erlangen|Escola de Erlangen]]), de modo que apenas o infinito ...s naturais (que aqui pressupõe uma posição também chamada de "[[Platonismo matemático|platonismo]]" em relação a objetos matemáticos). A posição antirrealista (q ...