Logica intuizionista: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

In linea

Versione delle 15:42, 8 mag 2006

La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.

Versione delle 00:46, 3 mag 2006 modifica Al Pereira (discussione \| contributi) Utenti autoverificati 71 130 modifiche Nessun oggetto della modifica ← Differenza precedente		Versione delle 15:42, 8 mag 2006 modifica annulla Paulatz bot (discussione \| contributi) 160 740 modifiche m Bot: Sostituzione automatica (-\{\{[Dd]a[ _]aiutare[^\|]\\|motivo=([^\|])\\|([^}]*) +{{A\|\1\|\|\2\|) Differenza successiva →
Riga 1:		Riga 1:
	{{~~da aiutare mese~~\|~~motivo=~~tautologia priva di contenuti\|maggio 2006}}		{{A\|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]].