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

Referências

  1. ^ 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 .
  2. ^ Torkel Franzén (1987). Provability e Verdade . Almqvist & Wiksell International. ISBN  91-22-01158-7 .