جون ر. ستيل فيلسوف ورياضياتي أمريكي وُلد في ٣٠ أكتوبر ١٩٤٨، اشتهر بأعماله في الفلسفة الرياضية ومنطق الرياضيات ونظرية الإكساب (الاستدلال الرياضي)، مساهمًا في دراسة بنى النماذج ونظرية الاستدلال والقرارات المنطقية، ودرّس ونشر أبحاثًا رفيعة المستوى في منطق المجموعة ونظرية الحاسوب المنطقي.