L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma diHilbert e i teoremidi incompletezza di Gӧdel, illustrando l’idea alla basedella [...] . Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadi incompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il ...
Leggi Tutto
L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma diHilbert e i teoremidi incompletezza di Gӧdel, illustrando l’idea alla basedella [...] . Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadi incompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il ...
Leggi Tutto
Hilbert, teorema della base di
Hilbert, teorema della base di o Hilbertscher Basissatz, in algebra, stabilisce che se A è un anello noetheriano, allora anche l’anello dei polinomi A[x] a coefficienti in A è un anello noetheriano.
varieta algebrica
varietà algebrica (in inglese algebraic variety o semplicemente variety) oggetto fondamentale in geometria algebrica che nasce dallo studio, da un punto di vista geometrico, dell’insieme delle soluzioni di un sistema di equazioni...