戴納·斯科特
形式語義學(xué)的奠基人
The interplay between syntax and semantics is central to the study of formal languages.
語法和語義之間的相互作用是形式語言研究的核心。
The development of formal systems has revolutionized our understanding of mathematics.
形式系統(tǒng)的發(fā)展徹底改變了我們對(duì)數(shù)學(xué)的理解。
The study of computation is essential to understanding the limits of what can be computed.
計(jì)算的研究對(duì)于理解可計(jì)算性的極限至關(guān)重要。
Logic is the foundation of all mathematical reasoning.
邏輯是所有數(shù)學(xué)推理的基礎(chǔ)。
The concept of infinity is both fascinating and perplexing.
The beauty of mathematics is that it is both an art and a science.
數(shù)學(xué)的美在于它既是藝術(shù)又是科學(xué)。
A proof is a device for convincing someone else that a mathematical statement is true.
證明是一種用于使他人相信數(shù)學(xué)陳述為真的工具。
The essence of mathematics lies in its freedom.
數(shù)學(xué)的本質(zhì)在于其自由性。
In mathematics, you don't understand things. You just get used to them.
在數(shù)學(xué)中，你并不理解事物。你只是習(xí)慣了它們。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
真理的概念在任何足夠強(qiáng)大以包含算術(shù)的形式系統(tǒng)中都是不可定義的。