J. Barkley Rosser - J. Barkley Rosser
John Barkley Rosser | |
---|---|
Doğmak |
Jacksonville, Florida , ABD
|
6 Aralık 1907
Öldü | 5 Eylül 1989
Madison, Wisconsin , ABD
|
(81 yaşında)
Milliyet | Amerika Birleşik Devletleri |
gidilen okul | Princeton Üniversitesi |
Bilinen |
Kilise–Rosser teoremi Kleene–Rosser paradoksu Rosser'in eleği |
Bilimsel kariyer | |
Alanlar |
Matematiksel mantık Sayı teorisi |
Doktora danışmanı | Alonzo Kilisesi |
Doktora öğrencileri |
Elliott Mendelson Gerald Sacks |
John Barkley Rosser Sr. (6 Aralık 1907 - 1989 5 Eylül) bir oldu Amerikalı mantıkçı , bir öğrenci Alonzo Church ve rolünden dolayı bilinen kilise-Rosser teoremi de, Lambda calculus . Ayrıca sayı teorisinde şimdi "Rosser elek" olarak adlandırılan şeyi geliştirdi . Daha sonra Wisconsin-Madison Üniversitesi'ndeki Ordu Matematik Araştırma Merkezi'nin direktörlüğünü yaptı . Rosser ayrıca matematik ders kitapları yazdı.
1936'da, Gödel'in ilk eksiklik teoreminin daha güçlü bir versiyonu olan Rosser'ın hilesini kanıtladı ve ω-tutarlılık gereksiniminin tutarlılığa indirgenebileceğini gösterdi. "İspatlanabilir değilim"e eşdeğer yalancı paradoks cümlesini kullanmak yerine , "Benim her ispatım için, inkarımın daha kısa bir ispatı vardır" şeklinde bir cümle kullanmıştır.
Asal sayılar teorisinde Rosser teoremini kanıtladı .
Kleene-Rosser paradoks orijinal lambda taşı tutarsız olduğunu gösterdi.
Rosser , 5 Eylül 1989'da Madison, Wisconsin'deki evinde anevrizmadan öldü .
Rosser'ın oğlu John Barkley Rosser Jr. , Harrisonburg, Virginia'daki James Madison Üniversitesi'nde matematiksel bir ekonomist ve profesör.
Seçilmiş Yayınlar
- Değişkenleri olmayan bir matematiksel mantık John Barkley Rosser, Univ. Dis. Princeton, NJ 1934, s. 127–150, 328–355
- Matematikçiler için mantık, John B. Rosser, McGraw-Hill 1953; 2. baskı, Chelsea Yayını. Co. 1978, 578 s., ISBN 0-8284-0294-9
- Lambda matematiğinin Tarihinin Önemli Noktaları, J. Barkley Rosser, Annals of the History of Computing, 1984, cilt 6, n 4, s. 337–349
- Basitleştirilmiş Bağımsızlık Kanıtları: Boole Değerli Küme Teorisi Modelleri, J. Barkley Rosser, Academic Press, 1969
- Rosser'ın yayınlarının tam listesi için Barkley Rosser makalelerine bakın .