Примери коришћења Kurt gödel на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
It took Kurt Gödel to show that it wasn't.
Аустријанац Курт Годел показао да је то и немогуће.A theorem discovered and proved by the mathematician Kurt Gödel in 1931.
Jе поставио и доказао Курт Гедел 1931 године.Kurt Gödel proved that they couldn't do it.
Аустријанац Курт Годел показао да је то и немогуће.These rules were proved by Kurt Gödel in 1930 to be enough to produce every theorem.
Ова правила су доказана од стране Курта Гедела 1930. као довољна да произведу сваку теорему.Kurt Gödel, however, was not convinced that this was true, calling the proposal"thoroughly unsatisfactory.".
A weaker relationship was demonstrated by Kurt Gödel in the proof of his incompleteness theorems.
Слабија веза је показана од стране Курта Гедела у доказима његове теореме потпуности и теореме непотпуности.Even Kurt Gödel produced a proof of the existence of God.
Kurt Gedel je čak izveo logički dokaz o postojanju boga.A more recent ontological argument came from Kurt Gödel, who proposed a formal argument for God's existence.
Један од новијих онтолошких аргумента потекао је од Курта Гедела, који је изнео формални аргумент за постојање Бога.Kurt Gödel, the genius mathematician and philosopher, was obsessively afraid of being poisoned;
Хунгер баца назад Курт Годел, генијални математичар и филозоф, опсесивно се плашио да ће бити отрован;A weaker relationship was demonstrated by Kurt Gödel in the proofs of his completeness theorem and incompleteness theorems.
Слабија веза је показана од стране Курта Гедела у доказима његове теореме потпуности и теореме непотпуности.In mathematical logic,Gödels incompleteness theorems are two celebrated theorems proved by Kurt Gödel in 1931….
У математичкој логици, Геделове теореме о непотпуности су две чувенетеореме о ограничењима формалног система, које је доказао Курт Гедел, 1931. године.In any event, Kurt Gödel first proved this completeness in 1930.
У сваком случају, Курт Гедел је први доказао ову потпуност 1930. године.Several independent attempts were made to formalize the notion of computability: In 1933,Austrian-American mathematician Kurt Gödel, with Jacques Herbrand, created a formal definition of a class called general recursive functions.
Било је неколико независних покушаја да се формализује појам Израчунљивости: 1933,Аустријски-Амерички математичар Курт Гедел, са Жаком Ербраном, је направио дормалну дефиницију класа под називом општа рекурзивна функција.Mathematician Kurt Gödel provided a formal argument for God's existence.
Математичар Курт Гедел је изнео формални аргумент за постојање Бога.Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Rózsa Péter, Alan Turing, Stephen Kleene, and Emil Post.
Теорија рекурзије настала је 1930их, са радом Курта Гедела, Алонза Черча, Алана Тјуринга, Стефана Клинеа и Емила Поста.Kurt Gödel proved his second incompleteness theorem, which shows that such a consistency proof cannot be formalized within Peano arithmetic itself.
Курт Гедел доказао је своју другу непотпуну теорему, која показује да таква конзистентност доказ не може бити формализован у Пеано аритметици.In 1931, a young,unknown mathematician named Kurt Gödel presented a proof that a logically complete system of mathematics was impossible.
Godine 1931, mladi inepoznati matematičar po imenu Kurt Gedel izneo je dokaz da je logički kompletan sistem matematike nemoguć.Kurt Gödel showed in 1940 that the continuum hypothesis(CH for short) cannot be disproved from the standard Zermelo-Fränkel set theory axiom system, even if the axiom of choice is adopted.
Курт Гедел је 1940. показао да хипотеза континуума не може бити оповргнута стандардном Зермело-Френкел теоријом скупова, чак и ако се усвоји аксиома избора.The first two questions were answered in 1930 by Kurt Gödel at the very same meeting where Hilbert delivered his retirement speech(much to the chagrin of Hilbert);
Курт Гедел на истом састанку на којем Хилберт је одржао говор за одлазак у пензију( много на жалост Хилберта);Kurt Gödel wrote the first paper on provability logic, which applies modal logic-the logic of necessity and possibility-to the theory of mathematical proof, but Gödel never developed the subject to any significant extent.
Gedel je napisao prvi rad iz logike dokaza koji modalnu logiku primenjuje u teoriji matematiČkog dokaza, ali sam Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934- 35 that the thesis might be expressed as an axiom or set of axioms.
Тако је Пост у свом раду 1936 такође дисконтовао Курт Геделову сугестију Черчу 1934-5 да теза може бити изражена као аксиом или скуп аксиома.Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency.
Резултати Курта Гедела, Герхарда Генцена, и других су дали делимично решење програма и разјаснили битна питања код доказивања конзистентности.In 1933, Austrian-American mathematician Kurt Gödel, with Jacques Herbrand, created a formal definition of a class of general recursive functions.
Аустријски-Амерички математичар Курт Гедел, са Жаком Ербраном, је направио дормалну дефиницију класа под називом општа рекурзивна функција.In the 1920s, Kurt Gödel showed that you can never prove that the continuum hypothesis is false.
Tokom 1920-ih Kurt Godel je pokazao da je nemoguće dokazati da je hipoteza kontnuuma pogrešna.We will join an ongoing discussion sparked by the logician Kurt Gödel, who famously claimed“Either mathematics is too big for the human mind, or the human mind is more than a machine.”.
Један од највећих математичара свих времена, Kурт Гедел, каже:„ Или је математика превелика за људски ум или је људски ум више од машине”.Did you know that Kurt Gödel provided a formal logical proof for the existence of God?
Kurt Gedel je čak izveo logički dokaz o postojanju boga?He once delivered a public lecture explaining Kurt Gödel‘s second incompleteness theorem, a seminal result in mathematical logic, entirely in words of one syllable.
Jednom je održao javno predavanje o Gedelovoj( Kurt Gödel) drugoj teoremi nepotpunosti, jednom od najvećih dostignuća u matematičkoj logici, koristeći isključivo jednosložne reči.Due to limitations first exhibited by Kurt Gödel(1931), it may be impossible to predict the convergence time itself by a halting program, otherwise the halting problem could be solved.
Због ограничења први је изложио Курт Гедел( 1931), да може бити немогуће предвидети само време конвергенције од заустављања програма, иначе заустављање проблема би могло бити решено.Such a solution was first proposed by Kurt Gödel, a solution known as the Gödel metric, but his(and others') solution requires the universe to have physical characteristics that it does not appear to have,[1]: 499 such as rotation and lack of Hubble expansion.
Ovakvo rešenje je prvi predložio Kurt Gedel, rešenje poznato kao Gedelova metrika, ali njegovo rešenje( kao i druga rešenja) zahteva da univerzum ima fizičke karakteristike kakve u stvari nema,[ 1]: 499, kao što su rotacija i nedostatak Hablove ekspanzije.Early computer science was strongly influenced by the work of mathematicians such as Kurt Gödel, Alan Turing, Rózsa Péter and Alonzo Church and there continues to be a useful interchange of ideas between the two fields in areas such as mathematical logic, category theory, domain theory, and algebra.
Рано рачунарство је било под строгим утицајем рада математичара као што су Курт Гедел и Алан Тјуринг, и постоји јако плодоносна размена идеја између двају поља у подручјима као што су математичка логика, теорија категорија, теорија домена и алгебра.
