combinatory أمثلة على
أمثلةجوال إصدار
- The focus of Curry's work were attempts to show that combinatory logic could provide a foundation for mathematics.
ركز كاري في محاولات لتبيين أن المنطق الترابطي يمكنه أن يوفر أساسا للرياضيات. - Curry was supervised by David Hilbert and worked closely with Bernays, receiving a Ph.D. in 1930 with a dissertation on combinatory logic.
وعمل كاري تحت إشراف ديفيد هيلبرت وعمل عن كثب مع بول، وحصل على درجة الدكتوراه في عام 1930 مع أطروحة عن المنطق التتابعي.