Џорџ Болос

Џорџ Болос
Датум рођења	(1940-09-04)4. септембар 1940.
Место рођења	Њујорк, САД
Датум смрти	27. мај 1996.(1996-05-27) (55 год.)
Место смрти	Кембриџ

Џорџ Стивен Булос (енгл. Георге Степхен Боолос; Њујорк,Њујорк,САД, 4. септембар, 1940 — Кембриџ,Масачусетс,САД, 27. мај, 1996) је био амерички филозоф и логичар који је предавао на Масачусетском Институту за Технологију (МИТ).

Живот

Булос је дипломирао на Универзитету Принстон 1961. године са звањем Бацхелор оф Артс у математици.Оксфорд Универзитет му је доделио звање Бацхелор оф Пхилосопхy 1963. године. Године 1966, добио је звање доктора филозофије ,прво икад додјељено од стране Масачусетског Института за Технологију ,под вођством Хилари Путнам. Након три године предавања на Универзитету Колумбија, враћа се на МИТ 1969. године, где је остатак своје каријере провео све до своје смрти, проузрокованее канцером. Харизматичан говорник, познат по својој јасноћи и разумном начину предавања, одржао је једном предавање (1994) дајући објасњење за Другу Геделову теорему непотпуности, користећи само речи једног слога. На крају свог живота, Хилари Путнам га је упитала: "Реците нам, господине Булос, какве везе Аналитичка хијерархија има са стварним светом?" Без оклевања Булос је одговорио: "Она је део њега". Стручњак за загонетке свих врста,1993. године Булос је доспео на регионално финале Тајмсовог такмичења у решавању укрштених речи у Лондону. Његов резултат је био један од највећих икада који је достигао американац. Он је написао рад о "Најтежој логичкој загонетки икада" -једној од многих загонетки створених од стране Рејмонда Смулијана

Рад

Булос је са Ричардом Џефријем написао прва три коауторска издања класичног универзитетског текста о математичкој  логици: Предвидљивости и Логика (Цомпутабилитy анд Логиц). Књига је сада у свом петом издању,а последња два издања уређује Јохн П. Бургес. Гедел је написао први рад из логике доказа који модалну логику примењује у теорији математиЧког доказа, али сам Гедел ову тему није значајније развио. То је урадио Булос који је био један од  првих заговорника и пионира ове логике. Он је развио то у оквиру књиге Недоказност конзистенције (Унпровабилитy оф Цонсистенцy), објављене 1979. године.Решеавање великих нерешених проблема неколико година касније довело до новог рада, Логика доказа(Тхе Логиц оф Провабилитy),објављеног 1993. године.