목차
처치-로서 정리
200px 처치-로서 정리는 두 개의 특별한 재작성이 동일한 람다 대수항으로부터 시작한다면, 해당 항으로부터 재작성을 거듭하면 결국 어느 하나의 항 표현에 도달한다는 사실을 주장.
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
참고하세요
미국의 논리학자
- 김재권 (철학자)
- 달라스 윌라드
- 데이나 스콧
- 레이먼드 스멀리언
- 로버트 노직
- 로버트 브랜덤
- 로버트 솔로베이
- 로트피 자데
- 루돌프 카르나프
- 바스 반 프라센
- 스티븐 클레이니
- 알론조 처치
- 알프레트 타르스키
- 앨프리드 노스 화이트헤드
- 윌리엄 휴 우딘
- 조지 산타야나
- 조지프 로버트 숀필드
- 존 듀이
- 존 버클리 로서
- 찰스 샌더스 퍼스
- 케네스 쿠넌
- 쿠르트 괴델
- 한스 라이헨바흐
- 해스켈 커리
- 헐모시 팔