Differenze tra le versioni di "Logica intuizionista"

nessun oggetto della modifica
(Corretto errore ortografico)
La '''logica intuizionista''' (o '''intuizionistica'''), o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]].
 
Secondo la prospettiva intuizionista, la [[logica]] e la [[matematica]] sono le applicazioni di metodi internamente coerenti per la realizzazione di costrutti mentali di complessità crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché non sia chiaro se un [[calcolo]] logico formale esaurisca gli aspetti più spiccatamente [[filosofia|filosofici]] dell'intuizionismo, esso mostra delle proprietà piuttosto utili nella pratica [[scienza|scientifica]].
Utente anonimo