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