"1940"^^ . . "Domn\u011Bnka (m\u00EDn\u011Bn\u00ED, dohad) je tvrzen\u00ED, kter\u00E9 m\u016F\u017Ee b\u00FDt spr\u00E1vn\u00E9, ale dosud nebylo dok\u00E1z\u00E1no ani vyvr\u00E1ceno. V obecn\u00E9 \u010De\u0161tin\u011B je domn\u011Bnkou jak\u00FDkoli neprok\u00E1zan\u00FD n\u00E1zor. V\u011Bdeck\u00E1 domn\u011Bnka se tak\u00E9 ozna\u010Duje jako hypot\u00E9za, v pr\u00E1vu jako presumpce nebo pr\u00E1vn\u00ED fikce, v bibliografii konjektura. Zvl\u00E1\u0161t\u011B v matematice se pak p\u0159edpokl\u00E1d\u00E1, \u017Ee d\u0159\u00EDve \u010Di pozd\u011Bji bude nalezen d\u016Fkaz, kter\u00FD prok\u00E1\u017Ee pravdivost nebo nepravdivost dan\u00E9ho tvrzen\u00ED za ur\u010Dit\u00FDch p\u0159edpoklad\u016F (axiom\u016F)."@cs . . . . . . . . . . . "15750079"^^ . . "22"^^ . . . "Domn\u011Bnka"@cs . "domn\u011Bnce"@cs . . . . . . "domn\u011Bnky"@cs . . "Domn\u011Bnka (m\u00EDn\u011Bn\u00ED, dohad) je tvrzen\u00ED, kter\u00E9 m\u016F\u017Ee b\u00FDt spr\u00E1vn\u00E9, ale dosud nebylo dok\u00E1z\u00E1no ani vyvr\u00E1ceno. V obecn\u00E9 \u010De\u0161tin\u011B je domn\u011Bnkou jak\u00FDkoli neprok\u00E1zan\u00FD n\u00E1zor. V\u011Bdeck\u00E1 domn\u011Bnka se tak\u00E9 ozna\u010Duje jako hypot\u00E9za, v pr\u00E1vu jako presumpce nebo pr\u00E1vn\u00ED fikce, v bibliografii konjektura. Zvl\u00E1\u0161t\u011B v matematice se pak p\u0159edpokl\u00E1d\u00E1, \u017Ee d\u0159\u00EDve \u010Di pozd\u011Bji bude nalezen d\u016Fkaz, kter\u00FD prok\u00E1\u017Ee pravdivost nebo nepravdivost dan\u00E9ho tvrzen\u00ED za ur\u010Dit\u00FDch p\u0159edpoklad\u016F (axiom\u016F). K odstran\u011Bn\u00ED nejistoty kolem domn\u011Bnky jsou \u010Din\u011Bny pokusy o jej\u00ED vyvr\u00E1cen\u00ED, t\u0159eba pomoc\u00ED protip\u0159\u00EDkladu, nebo naopak nalezen\u00ED jej\u00EDho d\u016Fkazu. Vyvr\u00E1cen\u00E1 domn\u011Bnka je omyl. Ne ka\u017Edou domn\u011Bnku v\u0161ak lze dok\u00E1zat nebo vyvr\u00E1tit. Hypot\u00E9za kontinua, kter\u00E1 postuluje mohutnost n\u011Bkter\u00FDch nekone\u010Dn\u00FDch mno\u017Ein, se nakonec uk\u00E1zala jako nerozhodnuteln\u00E1 (nez\u00E1visl\u00E1 na obecn\u011B uzn\u00E1van\u00FDch axiomech teorie mno\u017Ein). Je proto mo\u017En\u00E9 p\u0159ijmout tuto hypot\u00E9zu nebo jej\u00ED opak jako nov\u00FD axiom a pracovat s n\u00ED d\u00E1le konzistentn\u00EDm zp\u016Fsobem."@cs . . "domn\u011Bnka"@cs . . . "533114"^^ . . "domn\u011Bnku"@cs . . .