|
||||
數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支;是用數學方法研究邏輯或形式邏輯的學科。數理邏輯是數學基礎的一個不可缺少的組成部分。
數理邏輯就是精確化、數學化的形式邏輯。它是現代計算機技術的基礎。
“西塔潘猜想”研究的是反推數學中“拉姆齊二染色定理”的證明論強度,是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想。
所謂“拉姆齊二染色定理”,其通俗的版本就是“友誼定理”,即在一羣不少於三人的人羣中,若任何兩人都剛好只有一個共同認識的人,這羣人中總有一人是所有人都認識的。
| ||