는 것이 아니라, 우리 마음속에 있는 아이디어를 다루는 것이다.(3)형식성수학은 형식성이 강한 학문이다. 곧, 수학은 형식 언어로 쓰여진 공리를 바탕 으로 하여 형식적인 추론 규칙 ... 에 의해 전개될 수 있는바, 이 때 공리나 기호 의 의미는 중요하지 않다. 수학의 형식성은 수학적 증명의 엄밀성과 수학 체 계의 무모순성을 보장하기 위한 장치로서, 19세기 말 독일 ... 의 힐베르트에 의 해 더욱 명확하게 제시되었다. 그러나 형식화된 수학과 무의미한 기계적 조 작은 구별된다. 무의미한 기계적 조작은 수학이 아니지만 의미와 무관해 보 이는 형식
차원, 3차원의 유클리드 공간이 그 대상이었으나, 《기하학원본》에서 제시된 평행선의 공리에 대한 의문에서 출발하여 그 공리를 바꾼 로바체프스키공간, 리만 공간 등의 비유클리드공간 ... 의 연구로 발전된 공간은 유클리드 공간과 더불어 벡터공간론이 되고, 무한차원의 벡터공간으로 생각되었던 힐베르트공간은 양자역학의 연구에 불가결의 무기가 되었다.현대수학에서는 일반적인
될 전망1926년 화학공학학위를 받았다. 같은 해에 부다페스트대학교에서 집합론에 관한 논문으로 수학박사학위를 받았다. 그의 공리화는 그 분야에서 불변의 기초가 되었고 20세에 발표 ... 했다. 1900년에 독일 수학자 힐베르트가 20세기 수학연구에 대한 23개의 기본 이론문제들을 제시했는데 폰 노이만은 힐베르트의 5번째 문제의 특수 경우인 콤팩트군인 경우를 풀 ... 다. 지금까지 수학자들은 공간을 정수로만 나타냈다. 연산자 완의 구체적인 경우로부터 개념을 추상화하여 폰 노이만은 연속차원 공간을 가증하게 하는 공리를 공식화했다. 폰 노이만의 150해갔다.
생할 길을 트게 하였다. 또, 그는 수학 교육에도 참신한 의견을 제창하였다. 힐베르트의 기하학의 공리계의 연구는 현대의 공 리주의 수학의 기초를 이루었다. 현대의 수학은 한편 그 ... 다. 이것은 점차 공리론(axiomatics) 즉 공준집합과 그것들의 성질에 관한 연구를 탄생시켰다. 많은 수학의 기본 개념이 눈부시게 발전되고 일반화되었으며, 집합론, 추 상대수, 위상