حقائق ورؤى حول ألونزو تشرتش

ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وأيضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا, أطروحة تشرش-تورينغ, اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .