İlgili projelerin tavsiyelerine göre bilginizi geliştirerek ( nasıl ? ) paylaşabilirsiniz .
Jon barwiseDoğum |
29 Haziran 1942 Bağımsızlık ( Missouri ) |
---|---|
Ölüm |
5 Mart 2000 Bloomington ( Indiana ) |
milliyet | Amerikan |
Alanlar | matematiksel mantık |
kurumlar | Yale Üniversitesi , Wisconsin Üniversitesi , Indiana Üniversitesi |
Diploma | Stanford Üniversitesi |
süpervizör | Süleyman Feferman |
Ödüller | Gödel Öğretim Üyesi (2000) |
Kenneth Jon Barwise ( 1942 - 2000 ) bir olan matematikçi , filozof ve mantıkçı ABD .
Jon Barwise öğrencisidir Solomon Feferman de Stanford Üniversitesi ve yaptığı araştırma başlar sonsuzluk mantığı . Daha sonra Yale ve Wisconsin üniversitelerinde yardımcı doçent oldu ve bu süre zarfında doğal dillere ilgi duymaya başladı . O doğrudan 1983 yılında Stanford döndü Dil ve Bilgi Çalışmaları Merkezi'nden ( Dil ve Bilgi Çalışmaları Merkezi'nden () içinde ). 1990'da Bloomington'daki Indiana Üniversitesi'nde ders vermeye başladı .
Barwise'ın tezlerinden biri, bir önermenin ifade edildiği bağlamın açıklığa kavuşturulması durumunda uygulamalı mantığın birçok sorununun çözülebileceğidir. "Bizi doğal ya da biçimsel herhangi bir dilin cümleleri ve cümle ilişkileri alanının dışına çıkaracak genel bir bilgi teorisinde, anlamı ve çıkarımı anlamak" diye düşündü. Özellikle bu yaklaşımın yalancı paradoksuna çözüm getirdiği düşünülen John Etchemendy (in) ile birlikte yazdığı The Liar adlı kitapta . Akıl yürütmenin "kısır döngüsünü" anlamak için Peter Aczel'in (in) küme teorisinin bu kullanımı içindi .
Stanford'daki eski meslektaşı John Etchemendy ile birlikte Dil, Kanıt ve Mantık yazdı ve bazı popüler başarılar elde etti. Bu kitap , bazıları görsel bir temsil sağlayan bilgisayar destekli problemlerin çeşitli alıştırmalarını ve örneklerini içermesi ile ayırt edilir .
1999 yılında kolon kanseri teşhisi kondu ; hayatının geri kalanını hastalığını tedavi ederek geçirir.
1974 yılında bir konuk konuşmacı olarak katıldığı Uluslararası Matematikçiler Kongresi de Vancouver .
1999 yılında Amerikan Sanat ve Bilim Akademisi üyeliğine seçildi .
2000 yılında Gödel Öğretim Üyesi oldu .
Fiyat Barwise (in) (yıllık) onuruna 2002 yılında oluşturuldu.