Please enable JavaScript.
Coggle requires JavaScript to display documents.
LOGICA (dal 1662 a fine 1800 (alla fine di questo periodo è possibile:…
LOGICA
dal 1662 a fine 1800
Boole pubblica un sistema formale che mostra che la deduzione può essere trattata con regole rigorose (detto poi Algebra di Boole)
Frege pubblica Ideografia: primo linguaggio artificiale dotato di regole formali precise, sia per formare le frasi del linguaggio, sia per dedurle
-
-
-
XII-XVI secolo
in Occidente riprendono gli studi sulla logica, vengono poste importanti basi tutt'oggi valide
-
-
-
Von Neumann
nel 1945 definisce l'omonima architettura che descrive un computer in termini di memoria centrale, CPU e memorie esterne; EDVAC (primo calcolatore costruito su architettura di Von Neumann) nasce nel 1949
Shannon
nel 1937 mostra che l'Algebra di Boole può essere realizzata con circuiti relays a due stati; i calcolatori adottano il sistema binario