김병한(金秉漢, 1963년 ~ )은 대한민국의 수학자이자 논리학자이다. 연세대학교 수학과에서 학사와 석사 학위를 취득하였으며, 이후 미국 노트르담 대학교(University of Notre Dame)로 옮겨 1996년 박사 학위를 받았다. 박사 학위 논문인 《Simple First Order Theories》는 해당 연도 가장 뛰어난 수리논리학 분야 박사 학위 논문에 수여하는 새크스 상(Sacks Prize)에 선정되었다.
박사 학위 취득 후 캘리포니아 대학교 버클리 캠퍼스의 MSRI 연구소와 매사추세츠 공과대학교(MIT)에서 연구 및 교수 활동을 수행하였으며, 2005년부터 모교인 연세대학교 수학과 교수로 재직 중이다. 전공 분야는 모델 이론(model theory)과 수리논리학이며, 추상대수학 및 모형 이론 분야에서 연구 업적을 쌓았다. 특히 수리논리학 분야에서 '김의 이론(Kim's Theory)'으로 불리는 이론을 정립한 것으로 알려져 있다.
2014년 서울에서 개최된 세계수학자대회(ICM)에서 논리학·기초론 분야 초청강연자로 동아시아 출신 최초로 선정되었다. 저서로는 《Simplicity Theory》(Oxford Logic Guides 53, Oxford Science Publications, 2014)가 있으며, 존 W. 도슨(John W. Dawson, Jr.)의 괴델 전기 《논리적 딜레마》를 공동 번역하였다(경문사, 2016). 또한 《체계와 예술》(공동저서, 이학사, 2017)을 출간하였다.
대한수리논리학회 소속이며, 연세대학교 수학과에서 수리논리학 및 모형 이론 분야의 연구와 교육을 지속하고 있다.
