L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] dimostrazione del primo teorema di incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la ...
Leggi Tutto
Nei secoli intercorsi dal mondo greco-romano fino ai nostri giorni, la pratica sociale relativa all’arte è stata delle più diverse e polimorfe: come ricorda in modo tanto essenziale quanto efficace Gianni [...] è verificato mediante le sue applicazioni alle diverse arti, è suddivisa a sua volta in tre sezioni dedicate alla dimostrazione del fatto che «le regole della poesia, della pittura, della musica e della danza sono tutte comprese nell'imitazione ...
Leggi Tutto
L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] dimostrazione del primo teorema di incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma speciale di sillogismo che deduce una...
dimostrazione (demonstrazione)
Bruna Cordati Martinelli
Vocabolo caratteristico del linguaggio prosastico; lo si trova infatti una sola volta nella Commedia, mentre è abbastanza frequente nel Convivio. Esso presenta sempre il significato di...