ragione
Dal lat. ratio («calcolo», «rapporto»). Termine con cui Cicerone tradusse il greco λόγος e che conserva di quest’ultimo diversi significati, indicando la disposizione intrinseca e ideale di una [...] della relatività einsteiniana, della fisica quantistica e della logica formale (con particolare riferimento al teorema di incompletezza di Gödel) hanno imposto l’esigenza di ripensare in modo nuovo l’attività razionale, mettendo fuori gioco sia la r ...
Leggi Tutto
Deformazioni e mutilazioni del corpo. - Quasi tutti i popoli della terra tendono a modificare la forma naturale del corpo: a questo fine si praticano deformazioni e mutilazioni alle quali l'uomo si sottopone [...] formiche: la puntura produce un'infiammazione e un rigonfiamento del capezzolo che rimane molto sporgente sul resto della mammella (Godel).
La vera e propria mutilazione del seno, che, secondo gli antichi autori, le Amazzoni praticavano da un solo ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] potente o più potente dell'aritmetica di Peano (nella formulazione di primo ordine) ammetteva necessariamente, come Kurt Gödel dimostrò in un corollario al suo primo teorema dell'incompletezza, modelli non isomorfici (Howard 1992). Tuttavia nel ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] automi finiti in un contesto nel quale a prima vista essi non compaiono, e cioè nella logica formale. Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] tutti gli altri.
Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito di assiomi riuscirà mai a caratterizzare ...
Leggi Tutto
letteratura e matematica
letteratura e matematica Letteratura e matematica evocano mondi antitetici: le due culture, appunto, l’una contro l’altra armata. In realtà – a ben guardare – i rapporti e le [...] Magnus Enzensberger (1929) – noto in particolare per Der Zahlenteufel (Il mago dei numeri, 1997) – con il suo Hommage à Gödel (in Claudio Bartocci, op. cit. dal titolo tedesco Die Elixiere der Wissenschaft, 2002) e nell’argentino Jorge Luis Borges ...
Leggi Tutto
Stato dell’Europa centrale, esteso prevalentemente sul versante N della sezione centro-occidentale del sistema alpino. Stato interno, senza sbocco al mare, confina a N con la Germania, a E con l’Austria [...] della rivista impegnata Rencontre (Losanna, 1950-53); i poeti surrealisti A. Voisard (prossimo a R. Char) e V. Godel; il romanziere e saggista E. Barilier.
Nella Svizzera italiana, i Grigioni diedero un modesto sviluppo alla letteratura dialettale ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] , Reading (Mass.) 1977, 1992³.
R.N. Shepard, The mental image, in American psychologist, 1978, pp. 125-37.
D.R. Hofstadter, Gödel, Escher, Bach: an eternal golden braid, New York 1979 (trad. it. Milano 1984).
S.M. Kosslyn, Images and mind, Cambridge ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già dimostrato, nel 1940, che questi due assiomi sono consistenti con Zermelo-Fraenkel; quindi, il contributo di Cohen è ...
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
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...