불 대수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
158번째 줄:
불 대수의 개념은 1847년에 [[조지 불]]이 논리학을 형식화하기 위하여 도입하였다.<ref>{{서적 인용|이름=George|성=Boole|저자고리=조지 불|제목=The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning|날짜=1847|url=https://archive.org/details/mathematicalanal00booluoft|위치=[[케임브리지]]|출판사=MacMillan, Barclay, & MacMillan|언어=en}}</ref><ref>{{저널 인용|제목=The calculus of logic|이름=George|성=Boole|저널=Cambridge and Dublin Mathematical Journal|권=3|날짜=1848|쪽=183–198|url=http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html|언어=en}}</ref> 이후 불은 1854년의 저서에서 이 개념을 추가로 설명하였다.<ref>{{저널 인용|제목= An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities|이름=George|성=Boole|저자고리=조지 불|날짜=1954|url=https://archive.org/details/investigationofl00boolrich|위치=[[런던]]|출판사=Walton and Maberly|언어=en}}</ref>
1913년 논문에서 미국의 헨리 모리스 셰퍼({{llang|en|Henry Maurice Sheffer}}, 1882~1964)가 "불 대수"({{llang|en|Boolean algebra|불리언 앨지브라}})라는 용어를 최초로 사용하였다.<ref>{{저널 인용|성=Sheffer|이름=Henry Maurice|날짜=1913|제목=A set of five independent postulates for Boolean algebras, with application to logical constants|저널=Transactions of the American Mathematical Society|권=14|쪽=481–488|doi=10.1090/S0002-9947-1913-1500960-1|mr=1500960|jstor=1988701|issn=0002-9947|언어=en}}</ref><ref>{{저널 인용|이름=Edward V.|성=Huntington|제목=New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica|저널=Transactions of the American Mathematical Society|권=35|호=1|날짜=1933|쪽=274–304|doi=10.1090/S0002-9947-1933-1501684-X |mr=1501684|issn=0002-9947|언어=en}}</ref>{{rp|278, 주석}} 이 논문에서 셰퍼는 불 대수의 모든 연산을 [[NAND]]로서 정의할 수 있음을 보였다.
스톤 표현 정리는 [[마셜 하비 스톤]]이 1936년에 증명하였다.<ref>{{저널 인용|이름=Marshall H.|성=Stone|저자고리=마셜 하비 스톤|날짜=1936|doi=10.2307/1989664 |jstor=1989664|제목=The theory of representations of Boolean algebras|저널=Transactions of the American Mathematical Society|권=40|쪽=37–111|언어=en}}</ref>
| |||