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 Kurt Gö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 Kurt Gödel.
Questo stato di latenza può costituire una spiegazione dello scarso interesse pubblico verso la scienza, almeno in confronto a ...
Leggi Tutto
Psiche
Riccardo Zerbetto
L'etimologia del termine psiche (dal greco ψυχή, connesso con ψύχω, "respirare, soffiare") si riconduce all'idea del 'soffio', cioè del respiro vitale; presso i greci designava [...] isolatamente, sono in grado di sciogliere i nodi hard della coscienza.
Tale prospettiva riflette il noto teorema di K. Gödel, il quale sostiene come nessun sistema di assiomi abbastanza complesso sia capace di sostenere la veridicità di un enunciato ...
Leggi Tutto
Tecnologia
George Bugliarello
Luciano Gallino
di George Bugliarello, Luciano Gallino
TECNOLOGIA
Tecnologia di George Bugliarello
sommario: 1. La tecnologia come fenomeno. a) Introduzione. b) L'evoluzione [...] of sociocultural evolution, in ‟Journal of social and biological structures", 1978, 4, pp. 377-386.
Hofstadter, D. R., Gödel, Escher, Bach: an eternal golden braid, New York 1979.
Jantsch, E., Die Selbstorganisation des Universums. Vom Urknall zum ...
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...