Teoremi di incompletezza di Gödel In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1931. Essi fanno parte dei teoremi limitativi, che precisano cioè le proprietà che i sistemi formali non… Read More ›
Logica
Algebra di Boole
Algebra di Boole Nel 1854 il matematico irlandese Gorge Boole (1815-1864) pubblicò la sua opera più importante, “An Investigation of the Laws of Thought”, indirizzata alle leggi del pensiero, con la quale propose una nuova impostazione della logica: scopo dell’opera… Read More ›
La logica degli stoici
La logica degli stoici Il concetto di logica La logica stoica comprende sia una riflessione molto dettagliata sulla forma dei ragionamenti, sia una teoria generale della conoscenza, legata strettamente alla concezione dell’anima. Il primo aspetto venne sviluppato soltanto a partire… Read More ›