Godel Kurt
Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello Institute for advanced study di Princeton, New Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema d'incompletezza sintattica di G.: il più celebre dei risultati di G., enunciato nel 1931 e noto come teorema di G. per antonomasia: v. gödel, teorema di: III 53 c. ◆ [RGR] Soluzione di G.: v. relatività generale, soluzioni della: IV 808 c.