Harvey Friedman
Harvey Friedman · מדע ורפואה
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים.
1948, שיקגו, אילינוי, ארצות הברית
ארצות הברית
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים. הוא נכנס לאוניברסיטה ולאקדמיה בגיל צעיר במיוחד. הוא מתועד כבעל מוצא יהודי.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jews in Mathematics
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים.
מקור: Jinfo.org — Jews in Mathematics
