Universum pähklikoores
läbivad ajasilmused
(joon. 5.4).
Gödeli lahend nõudis kosmoloogilist konstanti, mis võib, aga ei pruugi tegelikkuses eksisteerida. Kuid
seejärel leiti teisigi lahendeid, mis ei vajanud kosmoloogilist konstanti. Üks huvitavamaid on see, milles kaks
kosmilist stringi kihutavad suure kiirusega teineteisest mööda.
Joon. 5. 4
Kas aegruumis on võimalikud kinnised ajasarnased trajektoorid, mida mööda
jõutakse ikka ja jälle lähtepunkti tagasi?
Aastal 1931 tõestas Kurt Gödel oma kuulsa teoreemi matemaatika olemuse ebatäielikkuse
kohta. Teoreem väidab, et mis tahes formaalses aksioomide süsteemis (näiteks
nüüdismatemaatikas) jääb alati probleeme, mida ei saa süsteemi aksioomide põhjal ei tõestada
annaabi.ee 
