하워드 제롬 키슬러
Howard Jerome Keisler하워드 키슬러 | |
---|---|
태어난 | 미국 시애틀 | ) 1936년 12월 3일
로 알려져 있다. | 비표준분석 |
과학 경력 | |
필드 | 수학 |
기관 | 위스콘신 매디슨 대학교 |
박사학위 자문위원 | 알프레드 타르스키 |
박사과정 학생 | 프레더릭 로우바텀 |
하워드 제롬 키슬러(Howard Jerome Keisler, 1936년 12월 3일생)는 미국의 수학자로, 현재 위스콘신-매디슨 대학의 명예교수다.그의 연구에는 모델 이론과 비표준 분석이 포함되어 있다.
그의 박사 고문은 버클리 대학의 알프레드 타르스키였다; 그의 논문은 Ultraproducts and Emiral Classes (1961년)이다.
라이브니즈 자신이 제안한 라이프니즈 표기법, 즉 "dx"를 문자 그대로 무한히 적은 양을 나타내는 것으로 해석하는 문자 그대로의 해석에서 오랫동안 내재된 논리적 모순이라고 생각되었던 것을 해결한 아브라함 로빈슨의 작업에 이어 키슬러는 "초등 미적분학"을 출판했다. 1학년 미적분학 교과서인 Infinitesimal 접근은 개념적으로 미적분학을 개발하기 위해 엡실론, 델타 접근보다는 infinitesimal을 사용하는 것에 초점을 맞추고 있다.
그는 또한 (레온 헨킨의) 헨킨 건설을 현재 헨킨-케이슬러 모델이라고 불리는 것으로도 알려져 있다.[1][2]그는 또한 메리 엘렌 루딘과 함께 루딘-키슬러를 주문하는 것으로도 알려져 있다.
그는 위스콘신에서 빌라스 수학 교수로 명명된 의장을 받았다.
키슬러의 대학원생들 중에는 로워바텀 추기경을 발견한 프레드릭 로워바텀을 포함한 몇몇이 주목할 만한 수학적인 공헌을 했다.그 밖에 컴퓨터 과학 연구와 제품 개발 분야에서 다음과 같은 경력을 쌓는 사람들도 있다.마이클 베네딕트 옥스퍼드대 컴퓨터과학부 교수, 케빈 J. 콤프턴 미시간대 컴퓨터과학부 교수, 커티스 투키 소프트웨어 기반 협업 환경 개발자, 조셉 스그로 비전프로세서 하드웨어 및 소프트웨어 개발자, 에드워드 L. IBM Almaden Research Center의 데이터베이스 연구원 Wimmers.
그의 아들 제프리 키슬러는 보스턴 매사추세츠 대학교 경영대학에서 풀브라이트 석좌를 맡고 있다.[4]
출판물
- Chang, C. C.; Keisler, H. J. 연속 모델 이론.수학 연보, 58, 프린스턴 대학 출판부, 1966.Xii+165 pp.
- North-Holland, North-Holland, 1971년 무한논리의 모델 이론
- Chang, C. C.; Keisler, H. J. 모델 이론. 제3판.논리와 수학의 기초에 관한 연구, 73.1990년 암스테르담 노스홀랜드 출판사16+16 pp. ISBN0-444-88054-2; 제1판 1973;[5] 제2판 1977
- 기초 미적분: 무한대의 접근법.프린들, 베버 & 슈미트, 1976/1986.[1]에서 온라인으로 이용 가능.
- 미국수학회의 회고록, 1984년 확률분석에 대한 무한 접근법
- 키슬러, H.J., 로빈, 조엘.맥그라우힐, 1996년 수학논리와 연산성
- 파하르도, 세르히오; 카이슬러, 확률론적 과정의 H. J. 모델 이론, 논리학 강의 노트, 상징논리학 협회2002
참고 항목
참조
- ^ G. Weaver (2001) [1994], "Henkin construction", Encyclopedia of Mathematics, EMS Press
- ^ George Weaver (1997). Henkin-Keisler models. Springer. ISBN 978-0-7923-4366-0.
- ^ 미국수학협회의 동료 목록, 2013년 01-27
- ^ "Keisler is First UMass Boston Prof to be Named Distinguished Fulbright Chair".
- ^ Makkai, M. (1976). "Review: Model theory by C. C. Chang and H. J. Keisler" (PDF). Bull. Amer. Math. Soc. 82 (3): 433–446. doi:10.1090/s0002-9904-1976-14035-9.
외부 링크
- 수학 계보 프로젝트에서 하워드 제롬 키슬러
- 키슬러 홈페이지