جون باركلي روسر الأب ، المنطق الأمريكي (ت 1989)

جون باركلي روسر الأب (6 ديسمبر 1907-5 سبتمبر 1989) كان منطقيًا أمريكيًا ، طالبًا في كنيسة ألونزو ، ومعروفًا بدوره في نظرية الكنيسة روسر ، في حساب لامدا. كما طور ما يسمى الآن بـ "منخل روسر" في نظرية الأعداد. أصبح فيما بعد مديرًا لمركز أبحاث الرياضيات بالجيش في جامعة ويسكونسن ماديسون. كما قام روسر بتأليف كتب رياضية.

في عام 1936 ، أثبت خدعة روسر ، وهي نسخة أقوى من نظرية عدم الاكتمال الأولى لجودل ، والتي تبين أن متطلبات الاتساق ω قد تضعف إلى الاتساق. بدلاً من استخدام جملة المفارقة الكاذبة التي تعادل "أنا لست قابلاً للإثبات" ، استخدم جملة تنص على "لكل إثبات لي ، هناك دليل أقصر على نفي".

في نظرية الأعداد الأولية ، أثبت نظرية روسر.

أظهرت مفارقة كلاين روسر أن حساب لامدا الأصلي كان غير متسق.

توفي روسر بسبب تمدد الأوعية الدموية في 5 سبتمبر 1989 ، في منزله في ماديسون ، ويسكونسن ، ابن روسر ، جون باركلي روسر جونيور ، هو اقتصادي رياضي وأستاذ في جامعة جيمس ماديسون في هاريسونبرج ، فرجينيا.