Kurt Gödel, completeness, incompleteness

Počet záznamů: 1

1.

SYSNO ASEP	0389302
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	Záznam nebyl označen do RIV
Poddruh J	Článek ve SCOPUS
Název	Kurt Gödel, completeness, incompleteness
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Journal of Physics: Conference Series. - : Institute of Physics Publishing - ISSN 1742-6588 Roč. 82, č. 1 (2007), 012005_1-012005_4
Poč.str.	5 s.
Akce	Brno Kurt Gödel Days
Datum konání	25.04.2007-28.04.2007
Místo konání	Brno
Země	CZ - Česká republika
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	Kurt Gödel ; completeness ; incompleteness
Vědní obor RIV	BA - Obecná matematika
CEP	IAA100300503 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
EID SCOPUS	36749024678
DOI	10.1088/1742-6596/82/1/012005
Anotace	The famous results of Gödel – semantic completeness of classical (predicate) logic and deductive incompleteness of any ''reasonable'' arithmetic – are briefly presented for a reader able of elementary mathematical thinking.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2013

Počet záznamů: 1