아즈리엘 레비
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
아즈리엘 레비는 1934년 하이파에서 태어난 수학자이다. 예루살렘 히브리 대학교에서 박사 학위를 취득하고, 이후 동 대학에서 교수로 재직하며 집합론 분야에서 활발하게 연구했다. 코헨의 강제법을 사용하여 선택 공리에 모순되는 명제들의 무모순성을 증명했으며, 내부 모형 이론에 사용되는 모형 L[x]를 발견했다. 집합론 공식의 레비 위계, 레비 붕괴, 페퍼만-레비 모형 등의 개념을 도입했고, 2003년에 은퇴했다. 주요 저서로는 《집합론의 기초》, 《집합론의 공식 계층》, 《기초 집합론》 등이 있다.
더 읽어볼만한 페이지
- 이스라엘의 수학자 - 엘리야후 립스
엘리야후 립스는 라트비아 출신의 수학자이자 반체제 운동가로, 성경 암호 연구를 진행했으며, 예루살렘 히브리 대학교 교수로 재직하다가 2024년에 사망했다. - 이스라엘의 수학자 - 로버트 아우만
로버트 욘 아우만은 이스라엘과 미국의 수학자이자 게임 이론 학자로, 반복 게임 분석에 대한 공헌으로 2005년 노벨 경제학상을 수상했으며, 예루살렘 히브리 대학교의 수학과 교수로서 게임 이론, 공통 지식, 탈무드 연구 등 다양한 분야에서 업적을 남겼다. - 예루살렘 히브리 대학교 교수 - 아모스 트버스키
아모스 트버스키는 인지 편향 연구를 통해 인지과학과 행동경제학 발전에 기여한 이스라엘의 인지심리학자이자 수리심리학자이다. - 예루살렘 히브리 대학교 교수 - 대니얼 카너먼
대니얼 카너먼은 1934년 텔아비브에서 태어난 심리학자이자 행동 경제학자로, 판단과 의사 결정에 대한 연구로 2002년 노벨 경제학상을 수상했으며, 2024년 3월에 사망했다. - 집합론자 - 버트런드 러셀
버트런드 러셀은 20세기 분석철학의 기초를 다지고 수학의 논리적 환원을 시도한 영국의 철학자, 논리학자, 수학자, 역사가, 사회 비평가, 정치 운동가로, 평화 운동에 참여했으며 노벨 문학상을 수상하여 여러 분야에 영향을 미쳤다. - 집합론자 - 존 폰 노이만
헝가리 출신의 존 폰 노이만은 수학, 물리학, 컴퓨터 과학, 경제학 등 다양한 분야에 혁신적인 업적을 남겼으며, 특히 폰 노이만 아키텍처는 현대 컴퓨터 설계의 기초가 되었고 게임 이론의 창시자로도 알려진 20세기 과학기술 발전에 지대한 영향을 미친 인물이다.
| 아즈리엘 레비 - [인물]에 관한 문서 | |
|---|---|
| 기본 정보 | |
| 이름 | 아즈리엘 레비 |
| 원어 이름 | עזריאל לוי |
| 로마자 표기 | ʽAzriʼel Levi |
| 분야 | 수학, 논리학 |
| 국적 | 이스라엘 |
| 출생일 | 1934년경 |
| 출생지 | 영국 위임통치령 팔레스타인 하이파 |
| 소속 | 예루살렘 히브리 대학교 |
| 지도 교수 | 아브라함 프렝켈, 에이브러햄 로빈슨 |
| 주요 업적 | 레비 위계, 레비 붕괴, 큰 기수 |
| 학력 | |
| 출신 대학 | 예루살렘 히브리 대학교 |
| 제자 | |
| 지도 학생 | 메나헴 마기도르 |
2. 생애
아즈리엘 레비는 1934년 하이파의 유대인 가정에서 태어났다. 1958년 예루살렘 히브리 대학교에서 아브라함 프렝켈과 에이브러햄 로빈슨의 지도를 받아 박사 학위를 취득하였다. 이후 예루살렘 히브리 대학교에서 교수로 재직하며 1961년에 강사, 1964년에 조교수, 1968년에 정교수로 승진하였다. 2003년에 은퇴하였다.
그의 제자로는 도브 가베이, 모티 기틱, 메나헴 마기돌 등이 있다.
2. 1. 학문적 업적
레비는 1958년 아브라함 프뢴켈과 아브라함 로빈슨의 지도 하에 히브리 대학교에서 박사 학위를 받았다. 이후, 코헨의 강제법을 사용하여, 선택 공리에 모순된다는 사실의 무모순성에 대한 여러 명제들을 증명했다. 예를 들어, J. D. 할펀과 함께 부울 소 아이디얼 정리가 선택 공리를 함축하지 않는다는 것을 증명했다. 그는 내부 모형 이론에 사용되는 모형 ''L''[''x'']를 발견했다. 또한 집합론 공식의 레비 위계, 레비 붕괴 및 페퍼만-레비 모형의 개념을 도입했다.3. 주요 저서
- Foundations of set theory|파운데이션즈 오브 셋 띠오리영어, 아브라함 프렝켈, 예호슈아 바르-힐렐과 공저, 1973
- A hierarchy of formulas in set theory|어 하이어라키 오브 포뮬러스 인 셋 띠오리영어, 1965
- Basic set theory|베이직 셋 띠오리영어, 1979[2] (2003년에 재출판)
- לוגיקה מתמטית|수리 논리학he, 1985
- לוגיקה מתמטית א׳|수리 논리학 Ahe, 1997
- A. 레비, ''집합론의 공식 계층'', 미국 수학회 회보, '''57''', 1965.
- J. D. 할펀, A. 레비, 〈부울 소 아이디얼 정리는 선택 공리를 함축하지 않는다〉, 공리적 집합론, 순수 수학 심포지엄, 1971, 83–134.
참조
[1]
논문
A hierarchy of formulas in set theory
[2]
간행물
Review: Basic set theory by Azriel Lévy
https://www.ams.org/[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com