레오폴트 뢰웬하임
Leopold Löwenheim레오폴트 뢰웬하임 | |
---|---|
태어난 | |
죽은 | 1957년 5월 5일 | (78)
모교 | 베를린 대학교, 기술 대학교 베를린 |
로 알려져 있다. | 뢰웬하임-스콜렘 정리 |
배우자 | 요한나 라스무센 |
과학 경력 | |
필드 | 수학적 논리학 |
레오폴트 뢰웬하임(Leopold Löwenheim, 1878년 6월 26일 크레펠트 – 1957년 5월 5일 베를린)은 수학적 논리학을 연구하는 독일의 수학자였다.나치 정권은 뉘른베르크 법에 따라 그가 단지 3/4 아리아인으로 간주되었기 때문에 그를 강제로 은퇴시켰다.1943년 베를린에 대한 폭격으로 그의 작품 대부분이 파괴되었다.그럼에도 불구하고, 그는 2차 세계대전에서 살아남았고, 그 후 그는 수학을 가르치기 시작했다.[1]
뢰웬하임(1915년)은 모델 이론의 출발점으로 종종 여겨지는 뢰웬하임-스콜렘 정리로 현재 알려진 것에 대한 최초의 증거를 제시했다.
레오폴드는 크레펠드 폴리테크닉의 수학 교사인 루트비히 뢰웬하임과 작가인 엘리자베스 룬의 아들이었다.1881년 세 사람은 먼저 크레펠트를 떠나 나폴리를 거쳐 베를린으로 향했는데, 루드비히는 데모크리투스가 현대과학에 미친 영향에 대해 포괄적인 설명을 하고 있는 사학자였다.비록 그는 이것이 그에게 훔볼트 대학의 교사직을 얻게 하기를 바랐지만 1894년에 죽었다.[2]
출판물
- Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül". Sitzungsberichte der Berliner Mathematischen Gesellschaft (in German). 7: 89–94.
- Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF). Mathematische Annalen (in German). 68 (2): 169–207. doi:10.1007/bf01474159. S2CID 122434845.
- Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF). Mathematische Annalen (in German). 73 (2): 245–272. doi:10.1007/bf01456715.
- Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF). Mathematische Annalen (in German). 76 (4): 447–470. doi:10.1007/bf01458217. S2CID 116581304. 1967년 장 반 헤이제노르트에서 "친족 미적분학의 가능성"으로 번역되었다.수학논리의 출처, 1879-1931.하버드 유니브프레스: 228–251.
- Löwenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt". Archiv für Systematische Philosophie (in German). 21: 137–148.
- Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Journal of Symbolic Logic (in German). 5 (1): 1–15. doi:10.2307/2269177. JSTOR 2269177.
- Löwenheim, Leopold (1946). Translated by Willard Van Orman Quine. "On Making Indirect Proofs Direct". Scripta Mathematica. 12 (2): 125–147.
참조
- ^ O'Connor, John J.; Robertson, Edmund F., "Leopold Löwenheim", MacTutor History of Mathematics archive, University of St Andrews
- ^ Thiel, Christopher (2009). Beklemishev, Lev D. (ed.). "Leopold löwenheim, Life, Work and Early Influence". Provability, Computability and Reflection. Elsevier. ISBN 9780080954967.
추가 읽기
- 브래디, 제럴딘, 2000년피르체에서 스콜렘까지.북 홀랜드.뢰웬하임(1915년)에 있는 증거에 대한 상세한 출처를 담고 있으며, 소랄프 스콜렘이 어떻게 그 증거를 단순화하고 정리의 범위와 일반성을 확장시켰는지를 논한다.
외부 링크
- 뢰웬하임, 레오폴드 encyclopedia.com
- Thiel, Christian (November 2007). "A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper". History and Philosophy of Logic. 28 (4): 289–302. doi:10.1080/01445340701708852. S2CID 170174740.