L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] .
Sfortunatamente, e in modo del tutto inaspettato, l'impresa crollò quasi da un giorno all'altro. Nel 1931 KurtGödel, un giovane matematico sconosciuto dell'università di Vienna, dimostrò che l'obiettivo di Hilbert non era raggiungibile. Qualunque ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] l'idea di introdurre gli automi finiti nel contesto, a prima vista a loro estraneo, della logica formale. Dai lavori di KurtGödel degli anni Trenta del Novecento era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò ...
Leggi Tutto
Ricerca scientifica e tecnologica
Antonio Ruberti e Claudio Gori Giorgi
Sommario: 1. Introduzione: a) l'interazione tra ricerca e sviluppo economico; b) caratteri della ricerca scientifica nel Novecento. [...] alla relatività e alla teoria dei quanti, poi alla meccanica quantistica, alla fisica nucleare, al teorema di KurtGödel.
Questo stato di latenza può costituire una spiegazione dello scarso interesse pubblico verso la scienza, almeno in confronto ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...