형식론

Formalism

힐베르트 공간, 연산자, 디랙 표기법, 측정 이론