조지 스티븐 불로스
(
英語
:
George Stephen Boolos
, 1940~1996)는 美國의
數理論理學
者이자
分析哲學
者이다.
生涯
[
編輯
]
1940年 9月 4日
뉴욕
에서 태어났다. 1961年에
프린스턴 大學校
에서 數學 學事 學位를 授與받았고, 1963年에
옥스퍼드 大學校
에서 碩士(
英語
:
Bachelor of Philosophy
) 學位를 授與받았다. 1996年에
매사추세츠 工科大學校
에서 博士 學位를 授與받았다.
以後 3年 동안
컬럼비아 大學校
에서 가르치다가
매사추세츠 工科大學校
敎授가 되었다.
불로스는 유머로서 有名하였으며, 1994年에는
괴델의 不完全性 整理
에 對하여 오직 1
音節
의 單語만을 使用하여 講義하였다.
[1]
이 가운데 一部 內容은 다음과 같다.
| “
|
그럼, 이제 우린 묻고 싶다: 2와 2의 合이 5란 것을 보일 수가 없단 것을 보일 수가 있나? 事實, 그치 않다. 또는, 좀 더 옳겐, 萬若 2와 2의 合이 5란 것을 보일 수가 없단 것을 보일 수가 있담, 2와 2의 合이 5란 것을 亦是 보일 수가 있고, 數는 完全 쓸모 없게 된다. 事實, 萬若 數가 쓸모 없지 않담, 그럼 ‘主張 ㈎를 보일 수는 없다.’ 같은 主張 따윈 絶對 보일 수가 없다.
So, we now want to ask, can it be proved that it can’t be proved that two plus
two is five? Here’s the shock: no, it can’t. Or, to hedge a bit: if it can be
proved that it can’t be proved that two plus two is five, then it can be proved
as well that two plus two is five, and math is a lot of bunk. In fact, if math is
not a lot of bunk, then no claim of the form “claim X can’t be proved” can be proved.
|
”
|
이 講演 뒤, 指導 敎授인
힐러리 퍼트넘
이 “불로스 氏,
解釋的 位階
가 實存하는 世界와 무슨 相關이 있습니까?”(
英語
:
And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?
)라고 質問하였을 때, 불로스는 “解析 位界 實存 世界 속의 一部.”(
英語
:
It’s part of it.
)라고,
플라톤주의
敵으로 卽席에서 答하였다고 한다.
또한, 1996年에 불로스는
레이먼드 스멀리언
이 考案한 所謂 ‘
가장 어려운 論理 퍼즐
’을 大衆化하였다.
[2]
1996年 5月 27日에
매사추세츠주
케임브리지
에서
癌
으로 死亡하였다.
著書
[
編輯
]
- Boolos, George (1979).
《The unprovability of consistency: an essay in modal logic》
(英語). Cambridge University Press.
- Boolos, George (1993). 《The Logic of provability》 (英語). Cambridge University Press.
doi
:
10.1017/CBO9780511625183
.
ISBN
978-052143342-6
.
- Boolos, George (1998). Jeffrey, Richard, 編輯.
《Logic, logic, and logic》
(英語). Harvard University Press.
- 불로스가 生前에 스스로 嚴選한 30篇의 論文을 모아 事後 編纂된 論文集이다.
- Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. (2007年 9月). 《Computability and logic》 (英語) 5板. Cambridge University Press.
doi
:
10.1017/CBO9780511804076
.
ISBN
978-052187752-7
.
參考 文獻
[
編輯
]
外部 링크
[
編輯
]
