逻辑学家

This language is American logician Alonzo Church named.

这种语言是用美国逻辑学家Alonzo Church的名字命名的。

Alan Mathison Turing, OBE (23 June 1912 7 June 1954) was an English mathematician, logician, and cryptographer.

Alan Mathison Turing，1912.6.23—1954.6.7），英国数学家、逻辑学家，被称为人工智能之父。

Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.

阿兰·麦席森·图灵(1992.6.23-1954.6.7)，大英帝国勋章获得者，是英国数学家、逻辑学家和密码破译专家。

He deemed that even though the premise of inductive inference was authentic, it was not the guarantee of authenticity of conclusion. Philosophers and logicians have tried quite a few ways to solve the issue, that is, to do deductive proof ; to do inductive proof with the help of the uniformity of the world; and so on.

对这一问题，哲学家和逻辑学家提出了种种解决途径：或借助概率弱化归纳推理的结论，企图对之作演绎论证；或借"世界齐一性"对之作归纳证明；或诉诸无知的解决方式；或釜底抽薪的解决方式。

Semantic presupposition that is different from implication is a special kind of entailment.

关于语义预设，语言学家和逻辑学家有不同的说法，但其实质是一样的。

As far back as 1958, the famous logician C.C.

早在1958年，著名逻辑学家C。

1947 British mathematician, logician, philosopher, founder of process philosophy.

英国数学家、逻辑学家、哲学家，过程哲学的创始人。

"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians.

&数学问题从应用逻辑II那里&提出选择的章，著名的世界，逻辑学家。

Mr.Jin Yuelin was one of the most famous Logicians in Our country,who had been engaged in the studying and teaching of logic for more than half a century. He had achieved great attainments and attributed a great deal to the development of logic in our country.

金岳霖先生是我国著名的逻辑学家，从事逻辑的教学和研究有半个多世纪，其造诣极深，论著颇丰，为我国的逻辑学发展作出了重大的贡献。

"Augustus de Morgan",,We know that mathematicians care no more for logic than logicians for mathematics.

&，&我们知道，数学家对於逻辑不如逻辑学家对於数学那样关心。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了