HF
מדע ורפואה
Harvey Friedman
מי
Harvey Friedman · מדע ורפואה
מה
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים.
מתי
1948, Chicago, Illinois, USA
היכן
United States
ביוגרפיה
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים. הוא נכנס לאוניברסיטה ולאקדמיה בגיל צעיר במיוחד. הוא מתועד כבעל מוצא יהודי.
מקורות וקישורים חיצוניים
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
Wikipedia — Harvey FriedmanWikipediaWikipedia (EN)Encyclopaedia BritannicaJewish Virtual LibraryWikidata
מקור: Jinfo.org — Jews in Mathematics
תרומות ומקורות
פרידמן הוא לוגיקן מתמטי אמריקאי שסייע לייסד את המתמטיקה ההפוכה, התכנית הקובעת אילו אקסיומות בדיוק נדרשות להוכחת משפטים מתמטיים, וחקר את גבולות ההוכחוּת ועוצמת הקרדינלים הגדולים.
1948
מקור: Jinfo.org — Jews in Mathematics
