Logica intuizionista: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
m Aggiunto link a versione inglese |
Aggiunto indice (ripreso da voce inglese) |
||
Riga 2: | Riga 2: | ||
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]]. |
La '''logica intuizionista''', o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]]. |
||
==Logica intuizionistica come paradigma del ragionamento logico== |
|||
==Logica intuizionistica come calcolo formale e logico== |
|||
{{msg:stub}} |
{{msg:stub}} |
Versione delle 00:55, 4 mar 2004
La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.