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 ...
Leggi Tutto
Il 1999 segna un momento di svolta nell’analisi del lavoro artistico di Jackson Pollock: il fisico Richard Taylor applica con due colleghi tecniche di analisi dei frattali ad alcuni quadri dell’artista, [...] sulla nozione di numero, e quello greco, legato all’«idea geometrica di campo», per lui più intimamente connesso al pensiero di Hilbert, al quale tutti cercavano al tempo di ricondurre le proprie speculazioni. Per Lautman infatti, «l’assiomatica di ...
Leggi Tutto
C’era una volta un albergo grande, tanto grande da avere un numero infinito di stanze, tutte occupate da cordiali ospiti che vi soggiornavano per rilassarsi. Un bel giorno alla reception arriva un uomo [...] libera per il nuovo cliente.
Questa storiella un po’ più romanzata dell’originale è nota come paradosso del Grand Hotel di Hilbert, formulata per mostrare che quando si lavora con l’infinito, succedono cose strane: in questo caso ad esempio si nota ...
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 ...
Leggi Tutto
hilbertiano
〈i-〉 agg. – Relativo al matematico ted. D. Hilbert (1862-1943). In partic., spazio h., spazio vettoriale completo (in cui cioè qualsiasi successione convergente di punti converga a un punto dello spazio stesso) nel quale sia definito...
risolubilita
risolubilità s. f. [der. di risolubile]. – Il fatto di essere risolubile, la condizione di ciò che può essere risolto: r. di un dubbio, di un problema, di un enigma; r. di un contratto, in diritto privato; r. di un problema geometrico...
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H....
Drammaturgo ceco (Louny 1871 - Praga 1936). Dopo il grande successo del dramma realistico sulla vita della piccola borghesia praghese Vina ("La colpa", 1896), preferì, per un decennio, la raffigurazione drammatica di argomenti storici, nazionali...