A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
tento postulát je přijat jako axiom pro množství praktických lidských činů a základních zobecnění.
this postulate is accepted as an axiom for a multitude of practical human actions and elementary generalisations.
je také považována za axiom systémy pro teorie pravděpodobnosti, zveřejňování různých verzí v letech 1933 a 1934.
he also considered axiom systems for probability theory, publishing different versions in the years 1933 and 1934.
jeho pokusy o zastavení jeho syn studuje paralelní axiom naštěstí selhal! farkas bolyai napsal na svého syna:
his attempts to stop his son studying the parallel axiom fortunately failed! farkas bolyai wrote to his son:
cohen použili techniku nazývá "nutí" k prokázat nezávislost v teorie o axiom výběru a všeobecného hypotéza kontinua.
cohen used a technique called "forcing" to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis .
na axiom dává formu na intuici, že žádné koherentní podmínka může být použita pro určení souboru (nebo třídy).
the axiom gives form to the intuition that any coherent condition may be used to determine a set (or class).
první axiom vylučuje povinnost živit děti, druhý bere každé nastupující generaci právo na existenci, protože každé pokolení dědí to, co mu zůstavilo předešlé.
the first excludes the duty of feeding children; the second deprives each generation of the right to live, since each generation starts with what it inherits from the preceding generation.
na axiom výběru je potřeba definovat rozkladu a skutečnost, že je schopen dát takový non-intuitivní výsledek učinila některé matematici otázka použití tohoto axiom.
the axiom of choice is needed to define the decomposition and the fact that it is able to give such a non-intuitive result has made some mathematicians question the use of the axiom.
jeho mistrovské dílo soulad s axiom výběru a ze všeobecných-hypotéza kontinua s axiomy teorie množin (1940) je klasická moderní matematiky.
his masterpiece consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory (1940) is a classic of modern mathematics.
my, lidé, přijímáme axiom, že život je svatý, abychom uchovali to, co vlastně formulaci tohoto axiomu umožnilo: vědomí a myšlení.
we humans embrace the axiom that life is sacred in order to preserve what allowed that axiom to be formulated in the first place: consciousness and thought.
papír studia teorie 'věta systémů' a odpovědi hlavní problém otevřít v této věci o stavbě protipříklad, které ukazují, že ne všechny věty systémy mají nezávislé axiom systémů.
the paper studies the theory of 'sentence systems' and answers a major open problem in the subject by constructing a counterexample to show that not all sentence systems have independent axiom systems.
dnes víme, že axiom výběru je i-objednávání zásady, a zorn je kořen (jméno nyní věnována zorn maximální zásadě tukey a nyní standardní jméno) jsou rovnocenné.
today we know that the axiom of choice, the well-ordering principle, and zorn's lemma (the name now given to zorn's maximum principle by tukey and now the standard name) are equivalent.
... jeho axiomy jsou dobré, jsou jednoduché a jen málo a díky podpoře ze symbolika on dovozuje celého předmětu z nich tuhého uvažování.
... his axioms are good; they are simple and few and by the aid of the symbolism he deduces the whole subject from them by rigid reasoning.