جان بارکلی راسر

جان بارکلی راسِر  (۱۹۸۹–۱۹۰۷) منطق‌دانی آمریکایی و استاد دانشگاه ویسکانسین-مدیسن بود.

راسر در دانشگاه پرینستون تحت نظر آلونزو چرچ دکترا گرفت. یکی از اولین و مشهورترین کارهای راسر در منطق ریاضی قوی‌ترکردنِ قضیهٔ اولِ ناتمامیت گودل بود. در اثبات اولیهٔ گودل، جمله‌ای ساخته می‌شد با این خوانشِ طبیعی که «من اثبات‌پذیر نیستم». برای نشان‌دادن ابطال‌ناپذیری این جمله، گودل از فرضی مشهور به اُمِگا-سازگاری استفاده کرد که فرضی است قوی‌تر از سازگاریِ ساده. پنج سال بعد از انتشارِ مقالهٔ گودل، راسر جمله‌ای ساخت با این خوانش طبیعی که «اگر برهانی مرا اثبات کند، برهانِ کوتاه‌تری هست که نقیضِ مرا اثبات می‌کند». راسر نشان داد که برای نشان‌دادن ابطال‌ناپذیری این جمله، سازگاریِ ساده کفایت می‌کند.

در نظریهٔ تحلیلیِ اعداد، قضیهٔ راسر از او است.

آثار 

 Rosser, J. Barkley (1936). Extensions of some theorems of Gödel and Church. The Journal of Symbolic Logic, 1: 87-91.
 Rosser, J. Barkley (1953). Logic for Mathematicians. McGraw-Hill.

منابع

پیوند به بیرون 
 جان بارکلی راسر در پروژهٔ تبارشناسی ریاضیات
 منطق برای ریاضی‌دانان (کتاب راسر، به انگلیسی)

استادان دانشگاه ویسکانسین-مدیسن
اهالی جکسون‌ویل، فلوریدا
دانش‌آموختگان دانشگاه پرینستون
درگذشتگان ۱۹۸۹ (میلادی)
دریافت‌کنندگان جایزه گوگنهایم
ریاضی‌دانان سده ۲۰ (میلادی)
ریاضی‌دانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
زادگان ۱۹۰۷ (میلادی)
منطق‌دانان اهل ایالات متحده آمریکا