d라이브러리

...수상자 페터 숄체 교수의 증명을 수학 증명 보조 소프트웨어인 '린(LEAN)'이 검증해, 교수의 계산 실수를 잡아냈다. 린은 2013년 마이크로소프트 연구팀에 의해 개발되었으며, 더 많은 수학 정의와 정리를 내재한 매스 라이브러리를 사용하여 수학 증명 검증을 돕는다.

하비는 혈액이 순환한다는 이론을 증명하기 위해 실험을 했고, 그의 이론은 말피기의 모세혈관 발견으로 확증되어 근대생리학의 창시자로 불리게 되었다. 반면 세르베투스도 같은 이론을 주장했으나, 이단으로 몰려 화형당하는 비극을 겪었다.