Filosofia de les matemàtiques: diferència entre les revisions

Tot i que s'ha dit en la secció anterior, la influència de Kant no va desaparèixer. El formalisme és una posició en filosofia de les matemàtiques que segueix sent fidel a Kant en essència, encara que recull les pretensions de l'eliminació de la intuïció pura en el sentit de d'intuïció geomètrica. El seu autor més important és [[David Hilbert]]. Un formalista hilbertià considera que el llenguatge, en concret el llenguatge matemàtic, pot reduir-se a operar espaciotemporalment amb signes. I treu com a conseqüència que els nostres conceptes matemàtics poden ser expressats, com pensava Kant, en operacions sobre les relacions d'espai i temps. No obstant això, quan Kant deia això pensava bàsicament en la geometria (construir figures i sòlids geomètrics). Quan els formalistes parlen d'operacions sobre les relacions d'espai i temps pensen en els sistemes formals.