Logica intuizionista: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
m robot Aggiungo: fr |
cat |
||
Riga 6: | Riga 6: | ||
==Logica intuizionistica come calcolo formale e logico== |
==Logica intuizionistica come calcolo formale e logico== |
||
[[Categoria:Matematica]] |
|||
[[Categoria:Logica]] |
[[Categoria:Logica]] |
||
Versione delle 18:13, 1 mag 2006
Template:Stub matematica La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.