La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] 0 è l'elemento minimo del reticolo (un'algebra booleana è un caso speciale di un'algebra di Heyting). 'operazione di applicazione tra un numero e il codice di una funzione ricorsiva parziale. Kleene stabilì la correttezza di questa interpretazione: se ...
Leggi Tutto