Georg Kreisel
Georg Kreisel · מדע ורפואה
גאורג קרייזל היה לוגיקאי מתמטי הידוע בעבודתו בתורת ההוכחה, בתורת הרקורסיה וב'שחרור' תוכן מתמטי מפורש מהוכחות, ובזכות 'הפרשנות ללא דוגמה-נגדית' שלו.
1923, Graz, אוסטריה — 2015, Salzburg, אוסטריה
הממלכה המאוחדת · סטנפורד, קליפורניה
גאורג קרייזל היה לוגיקאי מתמטי הידוע בעבודתו בתורת ההוכחה, בתורת הרקורסיה וב'שחרור' תוכן מתמטי מפורש מהוכחות, ובזכות 'הפרשנות ללא דוגמה-נגדית' שלו. הוא עבד ברידינג, במכון למחקר מתקדם ובסטנפורד, ונבחר לחבר החברה המלכותית. הוא בא ממשפחה יהודית בגראץ ונשלח לבריטניה לפני האנשלוס של 1938.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jews in Mathematics
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
גאורג קרייזל היה לוגיקאי מתמטי הידוע בעבודתו בתורת ההוכחה, בתורת הרקורסיה וב'שחרור' תוכן מתמטי מפורש מהוכחות, ובזכות 'הפרשנות ללא דוגמה-נגדית' שלו.
מקור: Jinfo.org — Jews in Mathematics
תורמים דומים
Solomon Feferman
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
