다케우치 가이시(일본어: 竹内 外史, 1926년 1월 25일 ~ 2017년 5월 10일)는 일본의 수리논리학자이다. 주 연구…
다케우치 가이시(일본어: 竹内 外史, 1926년 1월 25일 ~ 2017년 5월 10일)는 일본의 수리논리학자이다. 주 연구 분야는 증명 이론이다. 도쿄 대학을 졸업하고 쿠르트 괴델의 지도 하에 프린스턴 대학교에서 공부하였으며, 나중에는 일리노이 대학교 어배너-섐페인의 교수가 되었다. 다케우치는 2003년부터 2009년까지 쿠르트 괴델 협회(Kurt Gödel Society)의 회장을 맡고 있으면서, 유명한 책 《어떤 증명이론가의 회고록(Memoirs of a Proof Theorist: Gödel and Other Logicians)》을 쓰기도 했다. 다케우치의 목표는 실수 체계의 무모순성을 증명하는 것이다. 이를 위해 추측한 것으로 다케우치의 추측이 있는데, 이차 논리의 시퀀트 공식화가 컷-제거 성질을 갖는다는 내용이다. 다케우치는 기노 아키코와 함께 한 서수 도표(ordinal diagram)의 연구로도 유명하다.
일본 인물 데이터베이스 × 출신지
구제 다이시 고등학교 출신 유명인
구제 다이시 고등학교: 4명
도리야마 기이치(일본어: 鳥山 喜一 (とりやま きいち), 1887년 7월 17일~1959년 2월 19일)는 일본의…
도리야마 기이치(일본어: 鳥山 喜一 (とりやま きいち), 1887년 7월 17일~1959년 2월 19일)는 일본의 역사가이다. 주 연구 분야는 동양사, 발해사이다.
🌐 다른 언어 위키백과:일본어 (ja) ↗
다카하시 도루(高橋亨, 1878년 12월 3일 ~ 1967년 9월 4일)는 일본의 한국학 연구자이다. 니가타현 출신이다.…
다카하시 도루(高橋亨, 1878년 12월 3일 ~ 1967년 9월 4일)는 일본의 한국학 연구자이다. 니가타현 출신이다. 1902년 7월 도쿄 제국대학 지나(중국)철학과를 졸업하였고, 1903년 9월 규슈 일보사 주필이 되었다. 1905년 2월, 대한제국 관립 한성중학교 교수로 초빙되어, 1908년에는 관립 한성고등학교 학감(學監)이 되었다. 1911년, 경성고등보통학교 교유(敎諭)가 되었고, 1916년 5월 대구고등보통학교장을 지냈다. 1919년 12월, 문학박사 학위를 취득했다. 1923년, 경성제국대학 창립위원회 간사가 되었다. 1926년 경성제국대학이 신설되자 교수로 취임하였고, 조선어학과 문학 강좌를 담당하였다. 1950년 덴리 대학 교수로 초빙되었고, 조선학회 창립을 주도하여 부회장이 되었다.
🌐 다른 언어 위키백과:일본어 (ja) ↗
오구라 마사쓰네(小倉 正恒, おぐら まさつね, 1875년 3월 22일 ~ 1961년 11월 20일)는 일본의 기업인이자…
오구라 마사쓰네(小倉 正恒, おぐら まさつね, 1875년 3월 22일 ~ 1961년 11월 20일)는 일본의 기업인이자 정치인으로, 제2차 고노에 내각의 국무대신, 제3차 고노에 내각의 대장대신을 지냈다. 일본의 자이바쓰 (재벌) 스미토모 자이바쓰의 총 이사를 지내기도 하였다.