솔로몬 페퍼먼
Solomon Feferman솔로몬 페퍼만(Somolon Feferman, 1928년 12월 13일 ~ 2016년 7월 26일)[2]은 수학적 논리학을 연구한 미국의 철학자 겸 수학자였다.
인생
솔로몬 페퍼만은 제1차 세계대전 이후 미국으로 이민을 가서 뉴욕에서 만나 결혼한 노동자 계층의 부모에게서 뉴욕 브롱스에서 태어났다. 어느 부모도 고등 교육을 받지 못했다. 그 가족은 로스엔젤레스로 이사했고, 그곳에서 페퍼만은 16살에 고등학교를 졸업했다.
1948년 캘리포니아 공과대학에서 B.S.를 받았고 1953년부터 1955년까지 미 육군에서 징집되어 복무한 후 1957년 알프레드 타르스키 휘하의 캘리포니아 대학에서 수학 박사 학위를 받았다.[3] 1956년 그는 스탠포드 대학교의 수학과 철학부에 임명되었고, 이후 그는 인문과학의 패트릭 서피스 교수가 되었다.[4]
페퍼만은 2016년 7월 26일 스탠포드 자택에서 3개월에 걸친 병과 뇌졸중으로 사망했다.[2][5][6] 그가 죽었을 때, 그는 37년 동안 MAA의 일원으로 있었다.[7]
기부금
페퍼만은 2001년부터 2013년 사이에 옥스퍼드 대학 출판부에서 발간한 5권짜리 <쿠르트 괴델의 작품집>의 편집장을 맡았다.
2004년 부인 아니타 버드만 페퍼만과 함께 알프레드 타르스키의 전기를 출간했다. 알프레드 타르스키:[8] 인생과 논리.
그는 특히 특정 선행 시스템의 강도에 대한 척도로 Feferman-Schüte 서수를 도입하여 선행 수학에 힘썼다.
인식
페퍼만은 1972년과 1986년[9] 구겐하임 펠로우쉽, 2003년 롤프 쇼크상을 받았다.[10] 2006년에 그는 타르스키 강의에 초대되었다. 2012년에 그는 미국수학협회의 회원이 되었다.[11]
출판물
페이퍼스
- 페퍼만, 솔로몬; 바우트, 로버트 L. (1959), "대수학계 생산물의 첫 순서 속성", 펀드. 수학 47, 57–103
- 페퍼만, 솔로몬(1975), "명백한 수학의 언어와 공리", 대수학 및 논리학 (14 Summer Res) 인스트, 호주. 수학. Soc, Monash Univ, Clayton, 1974), 페이지 87–139, 강의 노트 수학, 제 450권, 베를린, 스프링거.
- 페퍼만, 솔로몬(1979년), "기능과 계급의 건설적 이론", 로직 콜로키움 78년(몬스, 1978년), 페이지 159–224, 스터드. 로직 파운데이션스 수학, 97세 암스테르담, 뉴욕, 노스홀랜드
- Buchholz, Wilfried; Feferman, 솔로몬; Pohlers, Wolfram; Sieg, Wilfried(1981) "분석에서 귀납적 정의와 하위 시스템: 최근의 증명 이론 연구", 수학에서의 강의 노트, 897, 베를린, 뉴욕, Springer-Verlag.
- 페퍼만, 솔로몬; 헬만, 제프리(1995), "산술의 보강적 기초", J. 필로스. 논리 24(1), 1-17.
- 아비가드, 제레미, 페퍼만, 솔로몬(1998), "괴델의 기능적(대화상) 해석", 증명 이론 핸드북, 337–405, 스터드. 논리 발견. 수학, 137, 암스테르담, 노스홀랜드.
책들
- 페퍼만, 솔로몬. (1998). 논리의 빛에서. 옥스퍼드 대학 출판부 ISBN0-19-508030-0, Logic and Computing in 철학 시리즈.[12]
- Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 978-0-521-80240-6. OCLC 54691904.[8]
참고 항목
참조
- ^ 솔로몬 페퍼먼(2011년)의 "분류 이론의 기초를 위한 계층화된 체계"
- ^ Jump up to: a b "Solomon Feferman (1928-2016)".
- ^ 수학계보 프로젝트 솔로몬 페퍼먼
- ^ "Solomon Feferman's homepage". Archived from the original on October 24, 2017.
- ^ Lanier Anderson, R. (August 4, 2016). "A tribute to Solomon Feferman (1928–2016)". philosophy.stanford.edu. Archived from the original on September 11, 2016. Retrieved July 24, 2021.
- ^ "Stanford mathematical logician Solomon Feferman dies at 87". Stanford News. October 7, 2016. Retrieved July 24, 2021.
- ^ "In Memoriam Mathematical Association of America". www.maa.org. Retrieved July 24, 2021.
- ^ Jump up to: a b 알프레드 타르스키에 대한 리뷰:
- Dauben, Joseph W. (2005), Mathematical Reviews, MR 2095748CS1 maint: 제목 없는 정기 간행물(링크)
- Anellis, Irving H. (2005), "Review", The Review of Modern Logic, 10 (1–2): 117–130
- Davis, Philip J. (March 2005), "A life of logic and the illogic of life", SIAM News
- Davis, Martin (March–April 2005), "The Man Who Defined Truth", American Scientist, 93 (2): 175–177, JSTOR 27858554
- Shell-Gellasch, Amy (May 2005), "Review", MAA Reviews
- Misiuna, Krystyna (May 2005), History and Philosophy of Logic, 26 (2): 166–168, doi:10.1080/01445340412331313602, S2CID 216590845CS1 maint: 제목 없는 정기 간행물(링크)
- Mendelson, Elliott (June 2005), Philosophia Mathematica, 13 (2): 231–232, doi:10.1093/philmat/nki020CS1 maint: 제목 없는 정기 간행물(링크)
- Kilmister, C. W. (July 2005), The Mathematical Gazette, 89 (515): 330–331, doi:10.1017/S0025557200177988, JSTOR 3621256CS1 maint: 제목 없는 정기 간행물(링크)
- Schmit, Roger (Fall 2005), Archives de Philosophie, 68 (3): 546–547, JSTOR 43038344CS1 maint: 제목 없는 정기 간행물(링크)
- Maddux, Roger D. (December 2005), The Bulletin of Symbolic Logic, 11 (4): 535–540, doi:10.1017/S1079898600003000, JSTOR 3396716, S2CID 124002889CS1 maint: 제목 없는 정기 간행물(링크)
- Kybernetes, 35 (1/2), January 2006, doi:10.1108/k.2006.06735aae.002CS1 maint: 제목 없는 정기 간행물(링크)
- Lescanne, Pierre (March 2006), ACM SIGACT News, 37 (1): 27, doi:10.1145/1122480.1122489, S2CID 9529607CS1 maint: 제목 없는 정기 간행물(링크)
- Carnielli, Walter (March 2006), Logic and Logical Philosophy, 15 (1), doi:10.12775/llp.2006.005CS1 maint: 제목 없는 정기 간행물(링크)
- Wood, Carol (April 2006), The American Mathematical Monthly, 113 (4): 377–379, doi:10.2307/27641942, JSTOR 27641942CS1 maint: 제목 없는 정기 간행물(링크)
- Oberdan, Thomas (June 2006), Isis, 97 (2): 362–363, doi:10.1086/507375, JSTOR 10.1086/507375CS1 maint: 제목 없는 정기 간행물(링크)
- Grattan-Guinness, Ivor (September 2006), The British Journal for the History of Science, 39 (3): 469–470, doi:10.1017/S0007087406438681, JSTOR 4028507CS1 maint: 제목 없는 정기 간행물(링크)
- Apt, Krzysztof R. (March 2007), "Alfred Tarski: life and logic", The Mathematical Intelligencer, 29 (2): 78–80, doi:10.1007/bf02986214, S2CID 189883846
- Sinaceur, Hourya Benis (September 2007), "Review" (PDF), Notices of the American Mathematical Society, 54 (8): 986–989
- Bassols, Alejandro Tomasini (April 2006), Crítica: Revista Hispanoamericana de Filosofía, 38 (112): 105–111, JSTOR 40104969CS1 maint: 제목 없는 정기 간행물(링크)
- Brown, Scott H. (March 2009), The Mathematics Teacher, 102 (7): 558, JSTOR 20876430CS1 maint: 제목 없는 정기 간행물(링크)
- Bremer, Manuel (December 2009), "Review", Philosophy in Review, 29 (6): 404
- Nerode, Anil (March 2010), The American Mathematical Monthly, 117 (3): 286–288, doi:10.4169/000298910x480144, JSTOR 10.4169/000298910x480144, S2CID 218549336CS1 maint: 제목 없는 정기 간행물(링크)
- Czernecka-Rej, Bożena (2011), Roczniki Filozoficzne, 59 (1): 79–84, JSTOR 43408916CS1 maint: 제목 없는 정기 간행물(링크)
- ^ "John Simon Guggenheim Foundation Solomon Feferman".
- ^ "Feferman awarded Rolf Schock Prize in logic and philosophy".
- ^ 2012년 12월 2일에 회수한 미국수학협회의 동료 목록
- ^ 논리의 빛에 대한 리뷰:
- Avigad, Jeremy (December 1999), "[Untitled]", The Journal of Philosophy, 96 (12): 638–642, doi:10.2307/2564698, JSTOR 2564698
- Antonelli, G. Aldo (June 2001), The Bulletin of Symbolic Logic, 7 (2): 270–277, doi:10.2307/2687778, JSTOR 2687778, S2CID 122751203CS1 maint: 제목 없는 정기 간행물(링크)
- Mendelson, E. (2001), Mathematical Reviews, MR 1661162CS1 maint: 제목 없는 정기 간행물(링크)
