수리 논리학: 두 판 사이의 차이

'''수리논리학'''(數理論理學, {{llang|en|mathematical logic}})은 [[논리학]]에서 사용하는 명제들을 수학적인 [[기호]]로 표시하는 학문이다. [[고틀로프 프레게]], [[버트런드 러셀]], [[폴 조지프 코언]] 등이 개척한 분야로서 일상 언어와 같은 [[자연언어]]의 사용에서 올수있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. [[컴퓨터 과학]] 및 철학논리와 밀접하게 연관되어 있다.<ref>안동환. [http://news.naver.com/main/read.nhn?mode=LSD&mid=sec&sid1=102&oid=081&aid=0000127798 美 수리논리학 개척자 코헨 사망]. 서울신문. 2007년 4월 3일.</ref><ref>이성주. [http://news.naver.com/main/read.nhn?mode=LSD&mid=sec&sid1=105&oid=293&aid=0000016142 '시리'가 아직까지 말귀를 못 알아듣는 까닭]. 블로터. 2015년 5월 14일.</ref>