Corrado Bohm
Corrado Bohm · טכנולוגיה והנדסה
קוראדו בם היה מדען מחשב איטלקי, חלוץ התכנות המובנֶה: יחד עם ג'וזפה יאקופיני הוכיח את משפט בם–יאקופיני (1966), הקובע שכל תוכנית ניתנת לכתיבה באמצעות רצף, בחירה וחזרה בלבד.
1923, מילאנו, איטליה — 2017, רומא, איטליה
איטליה · שווייץ
קוראדו בם היה מדען מחשב איטלקי, חלוץ התכנות המובנֶה: יחד עם ג'וזפה יאקופיני הוכיח את משפט בם–יאקופיני (1966), הקובע שכל תוכנית ניתנת לכתיבה באמצעות רצף, בחירה וחזרה בלבד. הוא תרם גם תרומות עמוקות לחשבון הלמבדא (עץ בם ומשפט בם) ולתכנות פונקציונלי. הוא נמנה עם מדעני המחשב היהודים המתועדים ב-Jinfo.org ועזב את איטליה ב-1942 בעקבות חוקי הגזע הפשיסטיים.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
קוראדו בם היה מדען מחשב איטלקי, חלוץ התכנות המובנֶה: יחד עם ג'וזפה יאקופיני הוכיח את משפט בם–יאקופיני (1966), הקובע שכל תוכנית ניתנת לכתיבה באמצעות רצף, בחירה וחזרה בלבד.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
