אלפרד טרסקי
אלפרד טרסקי · טכנולוגיה והנדסה
טרסקי היה מגדולי הלוגיקנים של המאה ה-20, ניסח את ההגדרה הפורמלית המודרנית של אמת בתורת המשמעות שלו ותרם תרומות יסוד להכרעה, לתורת המודלים ולתורת הקבוצות.
1901, ורשה, פולין (אז האימפריה הרוסית) — 1983, ברקלי, קליפורניה, ארצות הברית
פולין · ארצות הברית
טרסקי היה מגדולי הלוגיקנים של המאה ה-20, ניסח את ההגדרה הפורמלית המודרנית של אמת בתורת המשמעות שלו ותרם תרומות יסוד להכרעה, לתורת המודלים ולתורת הקבוצות. הוא נולד בשם אלפרד טייטלבאום למשפחה יהודית פולנית, ואף שהתנצר בצעירותו נותר ממוצא יהודי ואיבד קרובים בשואה. ב-1939 היגר לארצות הברית והקים את אסכולת הלוגיקה המשפיעה של ברקלי.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jews in Computer Science
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
טרסקי היה מגדולי הלוגיקנים של המאה ה-20, ניסח את ההגדרה הפורמלית המודרנית של אמת בתורת המשמעות שלו ותרם תרומות יסוד להכרעה, לתורת המודלים ולתורת הקבוצות.
מקור: Jinfo.org — Jews in Computer Science
