IT와 경영정보시스템 - 앨런튜팅의 개념적 기계, 폰 노이만 식 컴퓨터, 데이터베이스 관리 시스템

그러므로 튜링은 메타수학적 책략에서 접근할 수 없는 문제를 제시하기에 이르렀다. 실제로 힐베르트가 1928년의 볼로냐 학술회의에서 이루고자 제의했던 세 가지 목표 - 완전성·]일치성·형식적 공리 체계의 결정 가능성 - 는, 괴델에 의해 확립된 1차 술어 계산의 완전성을 제외하고는 접근할 수 없는 것으로 밝혀졌다. 하지만 이런 부정적 답변이 힐베르트를 실망시켰을 수 있었다 할지라도, 이 답변은 힐베르트가 구상한 프로그램이 상당히 풍부하다는 사실을 보여 주고 있다. 아주 중요한 수학과 논리학의 난관은 그의 프로그램에서 문제의 핵심으로 떠올랐으며, 이는 정확한 답을 공들여 만들어 가는 데 기여한다.

2. 폰 노이만식 컴퓨터의 개념

1) 폰 노이만의 연구 활동과 컴퓨터 이론
1930년대 중반 이후 폰 노이만의 중요한 출판물은 F. J. 머레이와 부분적으로 함께 쓴 ‘연산자 환’)지금은 폰 노이만 대수로 불림)에 관한 것이다. 그의 모든 연구 중에서 이 개념이 가장 오래 기억될 것이며, 현재 양자물리학 연구에서 가장 중요한 도구의 하나이다. 연산자 환의 중요한 파생물은 ‘연속기하학’이다. 폰 노이만은 공간의 차원구조 특징을 결정하는 것…