来自专业的译者、企业、网页和免费的翻译库。
curry foi supervisionado por david hilbert e trabalhou com bernays, recebendo um ph.d. em 1930 com uma obra sobre lógica combinatória.
curry was supervised by david hilbert and worked closely with bernays, receiving a ph.d. in 1930 with a dissertation on combinatory logic.
em 1927, enquanto era instrutor na universidade de princeton, se mudou para a universidade de göttingen, onde pôde trabalhar com heinrich behmann e paul bernays.
schönfinkel's work had anticipated much of curry's own research, and as a consequence, he moved to göttingen where he could work with heinrich behmann and paul bernays, who were familiar with schönfinkel's work.
a teoria de von neumann tomou a noção de função como primitiva; bernays modoficou a teoria de von neumann tal que conjuntos e classes próprias eram as primitivas.
von neumann's theory took the notion of function as primitive; bernays recast von neumann's theory so that sets and proper classes were primitive.
estes incluem o programa de intuicionismo fundado por brouwer, o finitismo de hilbert e bernays, a matemática recursiva construtiva de shanin, e o programa de análise construtiva.
these include the program of intuitionism founded by brouwer, the finitism of hilbert and bernays, the constructive recursive mathematics of shanin and markov, and bishop's program of constructive analysis.
a teoria de bernays, com algumas modificações feitas por kurt gödel, é atualmente conhecida como teoria dos conjuntos de von neumann-bernays-gödel.
bernays's theory, with some modifications by kurt gödel, is now known as the von neumann–bernays–gödel set theory.
além disso, a prova padrão do segundo teorema da incompletude assume que prova("p") satisfaz a condição de demonstrabilidade de hilbert-bernays.
in addition, the standard proof of the second incompleteness theorem assumes that prova("p") satisfies the hilbert–bernays provability conditions.
jakob bernays sugeriu que ele teria baseado a sua narrativa sobre a destruição de jerusalém por tito no relato dado por tácito em sua "histórias", cujo trecho sobre o assunto se perdeu.
jakob bernays suggested that he based his narrative of the destruction of jerusalem by titus on the account given by tacitus in his "histories", a portion of which has been lost.
vivemos tempos tão perigosos e tão distorcidos, para a percepção pública, que a propaganda deixou de ser, como edward bernays a chamou, “um governo invisível”.
the times we live in are so dangerous and so distorted in public perception that propaganda is no longer, as edward bernays called it, an "invisible government".
== ligações externas ==*the father of spin*visiting edward bernays - chapter 1 of a book by stuart ewen (1996)*torches of freedom video clip*edward l. bernays tells the story of "torches of freedom" in his own words -video clip-1999*meet edward bernays (audio documentary)*os edward l. bernays papers, 1982-1998 (bulk 1993-1995) estão na northeastern university libraries, archives and special collections department, boston, ma.
== external links ==*torches of freedom video clip*edward l. bernays tells the story of "torches of freedom" in his own words -video clip −1999*the edward l. bernays papers, 1982–1998 (bulk 1993–1995) are located in the northeastern university libraries, archives and special collections department, boston, ma.