análise não-clássica - Non-classical analysis
Em matemática , a análise não-clássica é qualquer sistema de análise, que não seja clássica análise real e complexa, vetor, tensor, etc., a análise baseada nela.
Tais sistemas incluem:
- Abstract dualidade de Stone, um programa de re-axiomatise topologia geral diretamente , em vez de usar a teoria dos conjuntos . É formulado no estilo da teoria dos tipos e é, em princípio computável. Ele está atualmente capaz de caracterizar a categoria de (não necessariamente Hausdorff) computably baseada espaços localmente compactos. Ele permite o desenvolvimento de uma forma de análise real construtiva usando topológica em vez de métricas argumentos.
- Geometria Chainlet , um desenvolvimento recente da teoria integração geométrico que incorpora infinitesimais e permite o cálculo resultante de ser aplicado a domínios contínuos sem estrutura euclidiana local, bem como domínios discretos.
- Análise construtiva , que é construído sobre um alicerce de construtiva , ao invés de clássica, a lógica e teoria dos conjuntos.
- Análise Intuitionistic , que é desenvolvido a partir da lógica construtiva como análise construtiva, mas também incorpora seqüências de escolha .
- análise p-adic .
- Análise paraconsistente , que é construído sobre um alicerce de paraconsistente , ao invés de clássica, a lógica e teoria dos conjuntos.
- Análise infinitesimal lisa , que é desenvolvido em um topos suaves.
Análise não padronizada eo cálculo envolve, cálculo não padronizado , são considerados parte de matemática clássica (ie O conceito de " número hiper-real " que ele usa, pode ser construído no âmbito de Zermelo-Fraenkel ).
Cálculo não-newtoniano é também uma parte da matemática clássica .
Referências
Esta análise matemática artigo -relacionados é um esboço . Você pode ajudar a Wikipédia expandindo-o . |