函數(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í)本身并不使其為真。