Logica intuizionista: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

In linea

Versione delle 00:46, 3 mag 2006

Template:Da aiutare mese La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.

Versione delle 19:31, 2 mag 2006 modifica Ares (discussione \| contributi) Utenti autoverificati 11 479 modifiche m da aiutare ← Differenza precedente		Versione delle 00:46, 3 mag 2006 modifica annulla Al Pereira (discussione \| contributi) Utenti autoverificati 71 130 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 1:		Riga 1:
	{{da aiutare\|motivo=tautologia priva di contenuti}}		{{da aiutare mese\|motivo=tautologia priva di contenuti\|maggio 2006}}
	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]].