SF
מדע ורפואה

Solomon Feferman

מי

Solomon Feferman · מדע ורפואה

מה

סולומון פפרמן, לוגיקן מתמטי אמריקאי בסטנפורד, תרם תרומות עמוקות לתורת ההוכחה ולפרדיקטיביות, ופיתח מערכות המודדות את חוזקן של תיאוריות מתמטיות.

מתי

1928, New York City, United States — 2016, Stanford, California, United States

היכן

United States

ביוגרפיה

סולומון פפרמן, לוגיקן מתמטי אמריקאי בסטנפורד, תרם תרומות עמוקות לתורת ההוכחה ולפרדיקטיביות, ופיתח מערכות המודדות את חוזקן של תיאוריות מתמטיות. הוא גם ערך את כתביו המקובצים של קורט גדל. הוא יהודי.

מקורות וקישורים חיצוניים

אמתו והעמיקו בעזרת המקורות החיצוניים האלה.

מקור: Jinfo.org — Jews in Mathematics

תרומות ומקורות

סולומון פפרמן, לוגיקן מתמטי אמריקאי בסטנפורד, תרם תרומות עמוקות לתורת ההוכחה ולפרדיקטיביות, ופיתח מערכות המודדות את חוזקן של תיאוריות מתמטיות.

1928

מקור: Jinfo.org — Jews in Mathematics