검색 결과

...리계]]를 모색하기 위한 이론적 토대가 마련되었고, [[수리논리학]]과 [[증명론]]에서 [[직관주의]]가 입지를 공고히 했으며, [[유형 이론]]과 [[고차 논리]], [[자연 연역]], [[헤이팅 대수]]의 비약적 발전에 영향을 주었다. ...있으면 우리는 어떤 문제든 컴퓨터로 풀 수 있을 거라고 생각하기 쉽다. 그러나 문제가 쉬워 보이고 또 엄청난 자원이 주어졌다고 해도 컴퓨터의 계산능력에는 한계가 있으며 한계성을 증명할 수 있다. ...

...발생한다. 이는 양자 컴퓨터에 계산 오류가 발생할 수 있는 원인이 된다. 그러나 [[위상수학]]적으로 양자 게이트를 구성한 위상 양자 컴퓨터의 경우에는, 이러한 작은 섭동 때문에 [[꼬임군 (위상수학)|꼬임의 위상수학적 성질]]이 바뀌지는 않는다. 좀 더 간단하게 직관적으로 비 위상 양자 컴퓨터의 기본 요소는 순전히 수학적 영역에서 기원하지만, 분수 양자 홀 계에서의 실험은 [[절대 영도]]에 가까운 온도에서 강한 [[자기장]]을 ...