هاسكل كاري ، عالم رياضيات ومنطق وأكاديمي أمريكي (د. 1982)
كان هاسكل بروكس كاري (؛ 12 سبتمبر 1900-1 سبتمبر 1982) عالم رياضيات ومنطقًا أمريكيًا. اشتهر كاري بعمله في المنطق التوافقي. في حين أن المفهوم الأولي للمنطق التوافقي كان مبنيًا على ورقة واحدة لموسى شونفينكل ، قام كاري بالكثير من التطوير. يشتهر كاري أيضًا بمفارقة كاري ومراسلات كاري هوارد. هناك ثلاث لغات برمجة سميت باسمه ، هاسكل ، بروك وكاري ، بالإضافة إلى مفهوم الكاري ، وهي تقنية تستخدم لتحويل الوظائف في الرياضيات وعلوم الكمبيوتر.
1900سبتمبر, 12
هاسكل كاري
اختر تاريخًا آخر
من احداث 1900
- 16يناير
ساموا الأمريكية
يقبل مجلس الشيوخ الأمريكي المعاهدة الأنجلو-ألمانية لعام 1899 التي تتخلى فيها المملكة المتحدة عن مطالباتها بجزر ساموا. - 24مارس
مترو أنفاق مدينة نيويورك
عمدة مدينة نيويورك روبرت أندرسون فان ويك يضع حجر الأساس لإنشاء "خط سكة حديد سريع العبور السريع" من شأنه أن يربط مانهاتن وبروكلين. - 5أبريل
الخطي ب
اكتشف علماء الآثار في كنوسوس ، كريت ، مخبأًا كبيرًا من الألواح الطينية ذات الكتابة الهيروغليفية في نص يسمونه Linear B. - 2يوليو
بحيرة كونستانس
أول رحلة ل Zeppelin تجري على بحيرة كونستانس بالقرب من فريدريشهافين ، ألمانيا. - 14يوليو
ملاكم متمرد
جيوش تحالف الدول الثماني تستولي على تينتسين أثناء تمرد الملاكمين.