아이버슨 괄호

수학에서 아이버슨 괄호(Iverson括弧, )는 수학 표기법의 하나이다. 이 표기법에 따르면, 명제를 포함하는 대괄호는 명제가 참일 때 정수 1을, 명제가 거짓일 때 정수 0을 나타낸다.

 정의 
아이버슨 괄호는 다음과 같은 표기법이다. 어떤 명제 에 대하여, 은 정수이며, 그 값은 다음과 같이 결정된다.
 만약 가 참이라면 이다.
 만약 가 거짓이라면 이다.

예를 들어, 은 일 때 이지만, 일 때 이다.

 역사 
섬네일|right|굴리엘모 리브리 카루치 달라 솜마이아
1830년대에 굴리엘모 리브리 카루치 달라 솜마이아(, 1803〜1869)는 1830년에 다음과 같은 기호를 도입(또는 ‘발견’)하였다.

이는  및  및 과 같은 정의를 사용하면 우변의 아이버슨 괄호와 같은 뜻임을 알 수 있다.
이를 사용하여 리브리는 다음과 같은 꼴의 표기를 사용하였다.

이후 케네스 유진 아이버슨(, 1920 ~ 2004)이 1962년에 프로그래밍 언어 APL에서 이와 같은 표기법을 사용하였다. 이후 도널드 크누스가 아이버슨의 표기법을 일반 수학 표기에서 널리 사용하기 시작하였다.

 같이 보기 
 불 함수
 형 변환
 지시 함수
 각주 

 외부 링크 


분류:수학 표기법