Indice
3 relazioni: Costruttivismo matematico, Paul Lorenzen, Teoria dei tipi.
Costruttivismo matematico
Nella filosofia della matematica, attorno all’espressione costruttivismo si raccolgono una varietà di prospettive e programmi di ricerca che, sebbene raccolgano eredità storiche e muovano da considerazioni tra loro assai diverse e non sempre compatibili, convergono tutte intorno all’obiettivo di proporre una nozione di esistenza più esplicita e distinta da quella invece asseribile - all’interno del modello di volta in volta messo a punto per meglio catturare le proprietà dell'insieme, sistema o struttura oggetto di studio - a partire dalla premessa che ciascuna affermazione possegga un valore di verità determinato (principio di bivalenza) e facente spesso leva sulla coerenza del modello (attraverso l'invocazione del principio del terzo escluso o il ricorso alla dimostrazione per assurdo).
Vedere Teoria dei tipi intuizionista e Costruttivismo matematico
Paul Lorenzen
Lorenzen nacque a Kiel nel 1915, figlio di Max Rosenkranz, che aveva un dottorato in giurisprudenza ed era di professione notaio, e Lisa Rosenkranz, nata Möhlmann.
Vedere Teoria dei tipi intuizionista e Paul Lorenzen
Teoria dei tipi
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi.