阿兰·图灵是英国的一位科学家、数学家、逻辑学家和译码者，可以说是20世纪英国最伟大的科学家。
Alan Turing was an English scientist, mathematician, logician, and cryptographer, and arguably the greatest British scientist of the 20th century.
“预设”作为一个逻辑概念，是德国哲学家、逻辑学家和数学家弗雷格首先提出来的。
As a logic concept, presupposition was first proposed by Germanicphilosopher G. Frege, who is also a logician and mathematician.
应用推荐