검색 결과

[[분류:영국의 수학자]] [[분류:영국의 논리학자]] ...

...s)}} 엄격하게 추론하기 위한 일련의 논리적 규칙을 갖춘 [[형식 체계]]이다. 1969년 영국의 컴퓨터 과학자이자 [[수리 논리학|논리학자]]인 [[토니 호어]]는 호어 논리를 제안하였고, 이후 호어와 다른 연구자들이 호어 논리를 개선하였다.<ref name="hoare"> ...

17세기 말에서 [[18세기]]까지 "프랑스의 데카르트와 영국의 뉴턴 중 누가 옳았는가" 하는 문제가 양국 과학자들의 관심사로 떠오르면서 두 사람의 공통점보다 차이점이 더 많이 부각되어 왔지만, 사실 [[분류:프랑스의 논리학자]] ...