개요
폴 조지프 코언(Paul Joseph Cohen). '폴 코헨'이라고 불리기도 한다.
1934년 미국에서 태어난 수학자이다.
중요한 업적으로 '연속체 가설이 거짓이라고 가정하여도 모순이 없음'을 증명하였다. 참고로, 이보다 앞서 쿠르트 괴델은 '연속체 가설이 참이라고 가정하여도 모순이 없음'을 증명하였다. 이 두 증명을 합치면 '연속체 가설'을 참으로 가정하여도, 거짓으로 가정하여도 모순이 없다는 결론이 나온다.
연속체 가설 항목에 자세히 설명되어 있지만, 괴델이 만든 불완전성 정리가 처음 적용된 실질적인 증명이다.
이 업적으로 1966년에 필즈상을 수상하였다.