我记得在计算机中心股份公司的时候,他们雇用了早期一些很有名的人,包括鲍博格伦,迪克·罗素,还有一个斯坦福大学的威尔。
I remember at computer Center Corporation they had hired in some of the great people of early computer days, including Bob Gruen, Dick Russell, a guy named Weir who was a Stanford guy.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证,即模态论证、认识论的论证和语义的论证。
For the sake of criticizing Frege and Russell's theory of description of names, Kripke gave three kinds of demonstration, namely model arguments, epistemological arguments and semantic arguments.
弗雷格、罗素和斯特·劳森最早对预设问题作了研究,从此引起了人们对预设问题的浓厚兴趣。
At first, Frege, Russell and Strawson studied on the question of presupposition, from then on, the question of preposition caused people to take a great interest.
罗素格地说,他已经在室内进行过模型试验,证明这个方法有效。 他有信心,在一组科学家和工程师团队的合作之下,这一装置在室外也同样有效。
Roosegaarde says an indoor prototype has already proven it works and is confident the results -- with the help of a team of scientists and engineers -- can be replicated outside.
20世纪西方哲学在弗雷格、罗素、维特根斯坦等哲学家的努力下,发生了一次语言学转型。
The western philosophy had got a linguistics turn in the 20th century through the endeavor of Bertrand Russell, Friedrich Frege and Ludwig Wittgenstein.
20世纪西方哲学在弗雷格、罗素、维特根斯坦等哲学家的努力下,发生了一次语言学转型。
The western philosophy had got a linguistics turn in the 20th century through the endeavor of Bertrand Russell, Friedrich Frege and Ludwig Wittgenstein.
应用推荐