בוריס טרכטנברוט
בוריס טרכטנברוט · טכנולוגיה והנדסה
בוריס טרכטנברוט היה מתמטיקאי ומדען מחשב סובייטי וישראלי, חלוץ מדעי המחשב התיאורטיים, הזכור בזכות משפט טרכטנברוט על אי-הכריעות של ספיקוּת סופית בלוגיקה מסדר ראשון ובזכות עבודתו היסודית על אוטומטים וסיבוכיות.
1921, Brichevo, בסרביה (כיום מולדובה) — 2016, ישראל
ברית המועצות · ישראל · Tel Aviv University
בוריס טרכטנברוט היה מתמטיקאי ומדען מחשב סובייטי וישראלי, חלוץ מדעי המחשב התיאורטיים, הזכור בזכות משפט טרכטנברוט על אי-הכריעות של ספיקוּת סופית בלוגיקה מסדר ראשון ובזכות עבודתו היסודית על אוטומטים וסיבוכיות. הוא היגר לישראל ולימד באוניברסיטת תל אביב. הוא היה יהודי.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
בוריס טרכטנברוט היה מתמטיקאי ומדען מחשב סובייטי וישראלי, חלוץ מדעי המחשב התיאורטיים, הזכור בזכות משפט טרכטנברוט על אי-הכריעות של ספיקוּת סופית בלוגיקה מסדר ראשון ובזכות עבודתו היסודית על אוטומטים וסיבוכיות.
מקור: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
