Sta znaci na Srpskom GÖDEL - prevod na Српском

• гедел
• gödel
• годел
• gedel

Примери коришћења Gödel на Енглеском и њихови преводи на Српски

Gödel killed a lot of people.
Gedel je ubio mnogo ljudi.

BlooP in Gödel Escher Bach.
Хофстатера је таква код Гедела Есхера Бах.

Gödel didn't prove that the continuum hypothesis is true.
Гедел је чврсто веровао да је хипотеза континуума погрешна.

It took Kurt Gödel to show that it wasn't.
Аустријанац Курт Годел показао да је то и немогуће.

If you haven't already read'Gödel, Escher, Bach'.
Ако већ нисте прочитали Gödel, Escher, Bach, препоручујем.

Kurt Gödel proved that they couldn't do it.
Аустријанац Курт Годел показао да је то и немогуће.

You can't just read Gödel, Escher, Bach.
Ако већ нисте прочитали Gödel, Escher, Bach, препоручујем.

Even Kurt Gödel produced a proof of the existence of God.
Kurt Gedel je čak izveo logički dokaz o postojanju boga.

The number e is called an index or Gödel number for the function f.
Број е назива се индекс или Геделов број за функцију f.

In fact, Gödel(1936) proposed something stronger than this;
У ствари, Гедел( 1936) је предложио нешто јаче од овога;

When Adele fell ill and was hospitalized for six months, Gödel starved to death.
Када је Адел болестан и хоспитализован шест месеци, Гедел је умро од глади.

Gödel defined being"god-like" as having every positive property.
Гедел је дефинисао да„ боголикост“ има све позитивне особине.

If you don't believe me, read Gödel, Escher, Bach and all will become clear.
Ако већ нисте прочитали Gödel, Escher, Bach, препоручујем.

Gödel, however, was not convinced and called the proposal"thoroughly unsatisfactory".
Гедел, међутим, није био убеђен и назвао предлог" темељно не задовољава".

If e is applied to its own Gödel number, a contradiction results.
Ако се e примењује на сопствени Геделов број, резултат је контрадикција.

Gödel proposed axiomatizing the notion of"effective calculability";
У преписци са Черчом( ца 1934-5), Гедел је предложио акиоматизинг појам" ефективне предвидивости";

A weaker relationship was demonstrated by Kurt Gödel in the proofs of his completeness theorem and incompleteness theorems.
Слабија веза је показана од стране Курта Гедела у доказима његове теореме потпуности и теореме непотпуности.

Gödel proposed axiomatizing the notion of"effective calculability";
Уместо тога, у преписци са Черчом( ца 1934-5), Гедел је предложио акиоматизинг појам" ефективне предвидивости";

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 i nepoznati matematičar po imenu Kurt Gedel izneo je dokaz da je logički kompletan sistem matematike nemoguć.

Gödel essentially constructed a formula that claims that it is unprovable in a given formal system.
Гедел је у суштини конструисао формулу која тврди да је недоказива у датом формалном систему.

This idea is found in Douglas Hofstadter's book, Gödel, Escher, Bach, in a discussion of the relationship between formal languages and number theory:"….
Ова идеја се налази у Douglas Hofstadter књизи, Gödel, Escher, Bach, у дискусији односа између формалних језика и теорије бројева:"….

Gödel proved in 1940 that neither of these statements could be disproved in ZF or ZFC set theory.
Гедел је доказао 1940. да се ниједна од ових изјава не може оповргнути у ЗФ или ЗФК скупу теорија.

In 1933, Austrian-American mathematician Kurt Gödel, with Jacques Herbrand, created a formal definition of a class of general recursive functions.
Аустријски-Амерички математичар Курт Гедел, са Жаком Ербраном, је направио дормалну дефиницију класа под називом општа рекурзивна функција.

Gödel was a platonist and therefore had no problems with asserting truth and falsehood of statements independent of their provability.
Гедел је био платониста, и стога није имао проблема са тврдњама о тачности или погрешности исказа у зависности од њихове доказивости.

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.

Gödel found a disturbing solution to Einstein's equation that allowed for violation of the basic tenets of common sense: His solution allowed for certain forms of time travel.
Gedel je našao uznemirujuće rešenje Ajnštajnovih jednačina koje je dozvoljavalo narušavanje osnovnih principa zdravog razuma: njegovo….

Eventually, he would suggest his recursion, modified by Herbrand's suggestion, that Gödel had detailed in his 1934 lectures in Princeton NJ(Kleene and Rosser transcribed the notes).
На крају, он би предложио своју( примитивну) рекурзију, модификовану од стране Хербранда сугестију, коју је Гедел детаљисао у својим предавањима из 1934 Принстон НЈ( Клини и Росер преписали су белешке).

Kurt Gödel, the genius mathematician and philosopher, was obsessively afraid of being poisoned;
Хунгер баца назад Курт Годел, генијални математичар и филозоф, опсесивно се плашио да ће бити отрован;

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, Аустријски-Амерички математичар Курт Гедел, са Жаком Ербраном, је направио дормалну дефиницију класа под називом општа рекурзивна функција.

From Frege to Gödel: A Source Book in Mathematical Logic, 1879- 1931.
Од Фрегеа до Гедела: Изворна књига у математичкој логици, 1879-1931.