rozhodnutelnost, log. vlastnost formule vzhledem ke kalkulu. Formule je v kalkulu rozhodnutelná, je-li buď dokazatelná, anebo je dokazatelná její negace. K. Gödel 1931 dokázal věty o neúplnosti a konzistenci formálních soustav, které vedou mj. k zjištění, že ve všech formálních soustavách existují nerozhodnutelné věty. To vede k filoz. závěru o nekonečnosti procesu formalizace věd. poznání.
Vševěd - Nacházejte odpovědi, ne linky...
Stáhnout
Aplikace je k dispozici skrze Android Market.…
Jaderské moře, Jadran - Adriatické moře - vedlejší moře Středozemního moře mezi Apeninským a Balkánským poloostrovem, asi 132 000 km2. Sev. část je mělká (do 200 m), již. hluboká až 1 589 m. Teplota povrchové vody v létě je 24 - 26°C, slanost 30-38,5 promile. Při dalmatském pobřeží četné ostrovy (Rab, Pag, Korčula, Mljet). V zimě vane nad mořem…
