ج. باركلي روسر

كان جون باركلي روسر الأب (6 ديسمبر 1907 - 5 سبتمبر 1989) منطقيًا أمريكيًا ، وتلميذًا لألونزو تشيرش ، واشتهر بمساهمته في نظرية تشيرش-روسر في حساب التفاضل والتكامل لامدا . كما طور ما يُعرف الآن باسم " منخل روسر " في نظرية الأعداد . عمل في قسم الرياضيات بجامعة كورنيل من عام 1936 إلى عام 1963، وترأسه عدة مرات. ^{[ 1 ]} لاحقًا، شغل منصب مدير مركز أبحاث الرياضيات التابع للجيش في جامعة ويسكونسن-ماديسون، وكان أول مدير لقسم أبحاث الاتصالات في معهد أبحاث الرياضيات التطبيقية (IDA) . كما ألف روسر كتبًا مدرسية في الرياضيات.

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

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

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

توفي روسر بسبب تمدد الأوعية الدموية في 5 سبتمبر 1989، في منزله في ماديسون، ويسكونسن . ^{[ 2 ]}^{[ 1 ]}

كان ابن روسر، جون باركلي روسر الابن (1948-2023)، خبيرًا اقتصاديًا رياضيًا وأستاذًا في جامعة جيمس ماديسون في هاريسونبرغ، فيرجينيا.

منشورات مختارة

1934: منطق رياضي بدون متغيرات ، أطروحة دكتوراه، جامعة برينستون، نيوجيرسي، ص 127-150، 328-355
1953: المنطق للرياضيين ، ماكجرو هيل ^{[ 3 ]} الطبعة الثانية، شركة تشيلسي للنشر 1978، 578 صفحة، رقم ISBN 0-8284-0294-9
1969: براهين الاستقلال المبسطة: نماذج القيم البوليانية لنظرية المجموعات ، دار النشر الأكاديمية
1984: "أبرز أحداث تاريخ حساب التفاضل والتكامل لامدا"، حوليات تاريخ الحوسبة 6(4): 337-349
اطلع على أوراق باركلي روسر في جامعة تكساس

1 2 "قرار تأبيني بشأن وفاة الأستاذ الفخري ج. باركلي روسر" (ملف PDF) ، جامعة ويسكونسن، ماديسون ، 5 مارس 1990، مؤرشف من الأصل (ملف PDF) في 8 يونيو 2011
↑ "وفيات" ، صحيفة واشنطن بوست ، 19 سبتمبر 1989، مؤرشفة من الأصل في 3 نوفمبر 2012
↑ كاري، إتش بي (1954). "مراجعة: المنطق للرياضيين بقلم جيه بي روسر" (ملف PDF) . نشرة الجمعية الرياضية الأمريكية . 60 (3): 266-272 . doi : 10.1090/s0002-9904-1954-09798-7 .