matemática clássica - Classical mathematics
Nos fundamentos da matemática , matemática clássica refere-se geralmente com a abordagem convencional para a matemática , que se baseia na lógica clássica e ZFC teoria dos conjuntos . Ela está em contraste com outros tipos de matemática como matemática construtivas ou matemática predicativos . Na prática, os sistemas não-clássicos mais comuns são usados em matemática construtivas.
Matemática clássica é às vezes atacados por motivos filosóficos, devido à construtivistas objeções e outros para a lógica, a teoria dos conjuntos, etc., escolhidos como seus fundamentos, tais como foram expressas por LEJ Brouwer . Quase toda a matemática, no entanto, é feito na tradição clássica, ou de formas compatíveis com ele.
Defensores da matemática clássica, como David Hilbert , têm argumentado que é mais fácil de trabalhar, e é mais frutífera; embora reconheçam a matemática não-clássicas às vezes tem levado a resultados frutíferos que a matemática clássica não poderia (ou não podia tão facilmente) atingir, eles argumentam que, no conjunto, é o contrário.
Veja também
- Constructivismo (matemática)
- finitismo
- intuitivismo
- Análise não-clássico
- matemática tradicional
- Ultrafinitism
- Filosofia da Matemática
Referências
- ^ Stewart Shapiro , ed. (2005). The Oxford Handbook de Filosofia da Matemática e Lógica . Oxford University Press, EUA. ISBN 978-0-19-514877-0 .
- ^ Torkel Franzén (1987). Provability e Verdade . Almqvist & Wiksell International. ISBN 91-22-01158-7 .
Esta lógica matemática relacionados com artigo é um esboço . Você pode ajudar a Wikipédia expandindo-o . |