לאון הנקין
לאון הנקין · טכנולוגיה והנדסה
ליאון הנקין היה לוגיקן אמריקאי הידוע בעיקר ב'הוכחת הנקין' למשפט השלמות של לוגיקה מסדר ראשון, טכניקה שהפכה סטנדרטית, וכן בבניית הנקין ובעבודתו בתורת הטיפוסים.
1921, ברוקלין, ניו יורק, ארצות הברית — 2006, אוקלנד, קליפורניה, ארצות הברית
ארצות הברית · אוניברסיטת קליפורניה, ברקלי
ליאון הנקין היה לוגיקן אמריקאי הידוע בעיקר ב'הוכחת הנקין' למשפט השלמות של לוגיקה מסדר ראשון, טכניקה שהפכה סטנדרטית, וכן בבניית הנקין ובעבודתו בתורת הטיפוסים. הוא לימד בברקלי וקידם את החינוך המתמטי ואת הנגישות אליו. הוא היה יהודי.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
ליאון הנקין היה לוגיקן אמריקאי הידוע בעיקר ב'הוכחת הנקין' למשפט השלמות של לוגיקה מסדר ראשון, טכניקה שהפכה סטנדרטית, וכן בבניית הנקין ובעבודתו בתורת הטיפוסים.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
