阿隆佐·邱奇
提出λ演算，影響計(jì)算理論
函數(shù)的概念在數(shù)學(xué)中是基礎(chǔ)的，而λ演算提供了一種形式化這一概念的方法。
集合論的悖論不應(yīng)被視為理論本身的不一致，而應(yīng)被視為表明某些被認(rèn)為有效的推理方法實(shí)際上并非如此。
發(fā)現(xiàn)說謊者悖論及相關(guān)悖論使人們認(rèn)識(shí)到，直覺上的真理概念并不像乍看起來那么簡(jiǎn)單。
λ演算不僅僅是一種形式主義，而是一種可以表達(dá)計(jì)算的語言。
判斷兩個(gè)λ表達(dá)式是否等價(jià)的問題是無法解決的。
函數(shù)的概念在數(shù)學(xué)中是基礎(chǔ)的，而λ演算試圖使這一概念精確化。
λ演算本質(zhì)上是一個(gè)關(guān)于函數(shù)及其應(yīng)用的理論。
λ演算是一種表示函數(shù)及其應(yīng)用的形式體系。
λ演算的基本概念是函數(shù)，被視為一種對(duì)應(yīng)規(guī)則。
λ演算本質(zhì)上是一種純粹抽象的函數(shù)理論。
函數(shù)是一種對(duì)應(yīng)規(guī)則，通過它當(dāng)給定任何東西（作為參數(shù)）時(shí)，可以獲得另一個(gè)東西（該參數(shù)的函數(shù)值）。
某個(gè)命題可以從某一組公理通過某一規(guī)則系統(tǒng)推導(dǎo)出來，這一事實(shí)本身并不使其為真。