{{위키데이터 속성 추적}}
{{과학자 정보
| 이름= 조지 스티븐 불로스
| 원어이름 = {{llang|en|George Stephen Boolos}}
| birth_date  = {{출생일|1940|9|4}}
| birth_place = [[미국]] [[뉴욕]]
| death_date  = {{사망일과 나이|1996|5|27|1940|9|4}}
| death_place = [[미국]] [[매사추세츠주]] [[케임브리지 (매사추세츠주)|케임브리지]]
| alma_mater       = [[프린스턴 대학교]] <br> [[옥스퍼드 대학교]] <br> [[매사추세츠 공과대학교]]
| 소속=[[매사추세츠 공과대학교]]
| 지도교수=[[힐러리 퍼트넘]]
| 분야 = [[수리논리학]], [[분석철학]]
}}
'''조지 스티븐 불로스'''({{llang|en|George Stephen Boolos}}, 1940~1996)는 미국의 [[수리논리학]]자이자 [[분석철학]]자이다.

== 생애 ==
1940년 9월 4일 [[뉴욕]]에서 태어났다. 1961년에 [[프린스턴 대학교]]에서 수학 학사 학위를 수여받았고, 1963년에 [[옥스퍼드 대학교]]에서 석사({{llang|en|Bachelor of Philosophy}}) 학위를 수여받았다. 1996년에 [[매사추세츠 공과대학교]]에서 박사 학위를 수여받았다.

이후 3년 동안 [[컬럼비아 대학교]]에서 가르치다가 [[매사추세츠 공과대학교]] 교수가 되었다.

불로스는 유머로서 유명하였으며, 1994년에는 [[괴델의 불완전성 정리]]에 대하여 오직 1[[음절]]의 단어만을 사용하여 강의하였다.<ref>{{저널 인용|이름=George|성=Boolos|저자링크=조지 불로스|날짜=1994-01|url=http://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf|제목=Gödel’s second incompleteness theorem explained in words of one syllable|저널=Mind|권=103|호=409|쪽=1–3|doi= 10.1093/mind/103.409.1|issn=0026-4423|언어=en}}</ref> 이 가운데 일부 내용은 다음과 같다.
{{인용문2|
그럼, 이제 우린 묻고 싶다: 2와 2의 합이 5란 것을 보일 수가 없단 것을 보일 수가 있나? 사실, 그치 않다. 또는, 좀 더 옳겐, 만약 2와 2의 합이 5란 것을 보일 수가 없단 것을 보일 수가 있담, 2와 2의 합이 5란 것을 역시 보일 수가 있고, 수는 완전 쓸모 없게 된다. 사실, 만약 수가 쓸모 없지 않담, 그럼 ‘주장 ㈎를 보일 수는 없다.’ 같은 주장 따윈 절대 보일 수가 없다.<br>
{{lang|en|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.}}}}
이 강연 뒤, 지도 교수인 [[힐러리 퍼트넘]]이 “불로스 씨, [[해석적 집합|해석적 위계]]가 실존하는 세계와 무슨 상관이 있습니까?”({{llang|en|And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?}})라고 질문하였을 때, 불로스는 “해석 위곈 실존 세계 속의 일부.”({{llang|en|It’s part of it.}})라고, [[플라톤주의]]적으로 즉석에서 답하였다고 한다.

또한, 1996년에 불로스는 [[레이먼드 스멀리언]]이 고안한 소위 ‘[[가장 어려운 논리 퍼즐]]’을 대중화하였다.<ref>{{저널 인용|성=Boolos|이름=George|저자링크=조지 불로스|날짜=1996|제목=The hardest logic puzzle ever|저널=The Harvard Review of Philosophy|권=6|쪽=62–65|url=http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf|issn=1062-6239|언어=en|확인날짜=2016-07-30|보존url=https://web.archive.org/web/20120622100021/http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf|보존날짜=2012-06-22|url-status=dead}}</ref>

1996년 5월 27일에 [[매사추세츠주]] [[케임브리지 (매사추세츠주)|케임브리지]]에서 [[암]]으로 사망하였다.

== 저서 ==
* {{서적 인용|이름=George|성=Boolos|저자링크=조지 불로스|날짜=1979|제목=The unprovability of consistency: an essay in modal logic|출판사=Cambridge University Press|url=http://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/unprovability-consistency-essay-modal-logic|언어=en}}
* {{서적 인용|이름=George|성=Boolos|저자링크=조지 불로스|날짜=1993|제목=The Logic of provability|출판사=Cambridge University Press|doi=10.1017/CBO9780511625183|isbn=978-052143342-6|언어=en}}
* {{서적 인용|이름=George|성=Boolos|저자링크=조지 불로스|날짜=1998|제목=Logic, logic, and logic|출판사=Harvard University Press|url=http://www.hup.harvard.edu/catalog.php?isbn=9780674537675|editor1-first=Richard|editor1-last=Jeffrey|언어=en}}
** 불로스가 생전에 스스로 엄선한 30편의 논문을 모아 사후 편찬된 논문집이다.
* {{서적 인용|이름=George S.|성=Boolos|저자링크=조지 불로스|날짜=2007-09|author3-first=Richard C.|author3-last=Jeffrey|author2-first=John P.|author2-last=Burgess|제목=Computability and logic|판=5|출판사=Cambridge University Press|isbn=978-052187752-7|doi=10.1017/CBO9780511804076|언어=en}}

== 같이 보기 ==
* [[미국 철학]]
== 각주 ==
{{각주}}
* {{저널 인용|제목=In memoriam: George Stephen Boolos|저널=The Bulletin of Symbolic Logic|이름=Warren|성=Goldfarb|jstor=421174|권=2|호=4|날짜=1996-12|쪽=444–447|issn=1079-8986|언어=en}}
* {{저널 인용|제목=Boolos and the metamathematics of Quine’s definitions of logical truth and consequence|이름=Günther|성=Eder|doi=    10.1080/01445340.2015.1028610||저널=History and Philosophy of Logic|권=37|호=2|날짜=2016|언어=en}}
* {{저널 인용|제목=A note on Boolos’ proof of the incompleteness theorem|이름=Makoto|성=Kikuchi|doi=10.1002/malq.19940400409|저널=Mathematical Logic Quarterly|권=40|호=4|쪽=528–532|issn=0942-5616|언어=en}}
* {{저널 인용|제목=Boolos-style proofs of limitative theorems|이름=György|성=Serény|doi=10.1002/malq.200310091|arxiv=math/0309345|bibcode=2003math......9345S|날짜=2004-03|권=50|호=2|쪽=211–216|저널=Mathematical Logic Quarterly|issn=0942-5616|언어=en}}

== 외부 링크 ==
* {{수학계보|id=82996|title=George Stephen Boolos}}
* {{뉴스 인용|url=http://www.nytimes.com/1996/05/30/us/george-boolos-55-philosopher.html|제목=
George Boolos, 55, Philosopher|이름=Laurence|성=van Gelder|날짜=1996-05-30|출판사=[[뉴욕 타임스]]|언어=en}}
* {{웹 인용|url=http://web.mit.edu/philosophy/jjt-rlc-jc.html|제목=Resolution on the death of George Stephen Boolos|날짜=1996-10-16|출판사=[[매사추세츠 공과대학교]] 철학과|author1-first=Richard L.|author1-last=Cartwright|author2-first=Joshua|author2-last=Cohen|author3-first=Judith Jarvis|author3-last=Thomson|언어=en}}

{{전거 통제}}

{{기본정렬:불로스, 조지}}
[[분류:1940년 출생]]
[[분류:1996년 사망]]
[[분류:미국의 논리학자]]
[[분류:미국의 철학자]]
[[분류:20세기 수학자]]
[[분류:프린스턴 대학교 동문]]
[[분류:그리스 유대계 미국인]]
[[분류:게임 이론가]]