Ústav informatiky
Akademie věd České republiky
česky
english
česky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Ústav informatiky
Akademie věd České republiky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
english
česky
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Domů
/
Výzkum
/
Publikace
/
O Gödelově důkazu
O Gödelově důkazu
Rok:
1995
Typ:
Konferenční příspěvek (lokální konf.)
Periodikum:
Filosofické otázky matematiky a fyziky
ID: 402093
Autoři:
Petr Hájek
Konferenční příspěvek (lokální konf.)
