Możesz dzielić się swoją wiedzą doskonaląc ją ( jak? ) Zgodnie z zaleceniami odpowiednich projektów .
Jon barwiseNarodziny |
29 czerwca 1942 Niepodległość ( Missouri ) |
---|---|
Śmierć |
5 marca 2000 r. Bloomington ( Indiana ) |
Narodowość | amerykański |
Obszary | logika matematyczna |
Instytucje | Yale University , University of Wisconsin , University of Indiana |
Dyplom | Uniwersytet Stanford |
Kierownik | Salomona Fefermana |
Nagrody | Wykładowca Gödla (2000) |
Kenneth Jon BARWISE ( 1.942 - 2000 ) to matematyk , filozof i logik US .
Jon Barwise jest studentem Solomona Fefermana na Uniwersytecie Stanforda i rozpoczyna badania nad logiką nieskończoności . Później został adiunktem na uniwersytetach Yale i Wisconsin , gdzie zainteresował się językami naturalnymi . Wrócił do Stanford w 1983 roku, aby kierować Centrum Studiów Języka i Informacji ( Centrum Studiów Języka i Informacji (w) ). W 1990 roku zaczął wykładać na Indiana University w Bloomington .
Jedna z tez Barwise'a głosi, że jeśli jasno sprecyzuje się kontekst, w którym wypowiada się zdanie, to wiele problemów logiki stosowanej można rozwiązać. Zastanawiał się, „aby zrozumieć znaczenie i wnioskowanie w ogólnej teorii informacji, która wyprowadziłaby nas poza sferę zdań i relacji zdań w dowolnym języku, naturalnym lub formalnym”. W szczególności uznano, że podejście to przyniosło rozwiązanie paradoksu kłamcy , w książce The Liar , napisanej z Johnem Etchemendy (w) . To właśnie za pomocą teorii mnogości Petera Aczela (w) zrozumieć „błędne koło” rozumowania .
Wraz ze swoim byłym kolegą ze Stanford, Johnem Etchemendym, napisał Language, Proof and Logic , który odniósł pewien popularny sukces. Książka ta wyróżnia się tym, że zawiera kilka ćwiczeń i przykładów problemów wspomaganych komputerowo , z których część stanowi wizualną reprezentację.
W 1999 roku zdiagnozowano u niego raka jelita grubego ; resztę życia spędza na leczeniu swojej choroby.
W 1974 był gościnnym prelegentem na Międzynarodowym Kongresie Matematyków w Vancouver .
W 1999 roku został wybrany stypendystą Amerykańskiej Akademii Sztuk i Nauk .
W 2000 roku był wykładowcą Gödla .
Nagroda Barwise ( coroczna) została ustanowiona w 2002 roku na jego cześć.