matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] . di ordine infinito introdotte da D. Hilbert nella teoria delle equazioni della m. M; si tratta di un'algebra a base finita e associativa. ◆ [ANM] Analisi delle m che caratteristica della m.; si ha al proposito il seguente teoremadi Kronecker: ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] e ← tutti i teoremidella logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teoremadi Glivenko per cui ogni teorema classico negativo ←A è teorema intuizionista. I calcoli di Gentzen sono ...
Leggi Tutto