ألفريد تارسكي
ألفريد تارسكي · التكنولوجيا والهندسة
كان تارسكي أحد أعظم المناطقة في القرن العشرين، إذ قدّم التعريف الصوري الحديث للحقيقة في نظريته الدلالية وأنجز عملًا أساسيًا في القابلية للبتّ ونظرية النماذج ونظرية المجموعات.
1901, وارسو, بولندا (آنذاك الإمبراطورية الروسية) — 1983, بيركلي, كاليفورنيا, الولايات المتحدة
بولندا · الولايات المتحدة
كان تارسكي أحد أعظم المناطقة في القرن العشرين، إذ قدّم التعريف الصوري الحديث للحقيقة في نظريته الدلالية وأنجز عملًا أساسيًا في القابلية للبتّ ونظرية النماذج ونظرية المجموعات. وُلد باسم ألفريد تايتلباوم في عائلة يهودية بولندية، ورغم اعتناقه الكاثوليكية شابًا، بقي من أصل يهودي وفقد أقارب في المحرقة. هاجر إلى الولايات المتحدة عام 1939 وبنى مدرسة بيركلي المؤثرة في المنطق.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jews in Computer Science
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
كان تارسكي أحد أعظم المناطقة في القرن العشرين، إذ قدّم التعريف الصوري الحديث للحقيقة في نظريته الدلالية وأنجز عملًا أساسيًا في القابلية للبتّ ونظرية النماذج ونظرية المجموعات.
المصدر: Jinfo.org — Jews in Computer Science
