d라이브러리
"형식주의"(으)로 총 5건 검색되었습니다.
- [러셀 탐구생활] 러셀의 삶을 뒤흔든 역설수학동아 2023년 06호
- 배척한 직관주의 학파는 환호했지만, 집합론을 이용해 수학의 토대를 확립하려던 형식주의 학파는 곤경에 빠졌지요. 어린 시절 할머니의 신앙을 거부한 러셀은 자신이 발견한 모순이 수학의 토대를 좀먹도록 내버려 둘 수 없었습니다. 이제 러셀에게 분명한 학문적 목표가 생겼습니다. 러셀은 ... ...
- [역설 나라의 앨리스] 제 11장. 선택 공리가 만드는 역설수학동아 2022년 12호
- 것이 바람직하다고 생각했어요. 이 논쟁에서 누가 승리를 거두었을까요? 아무래도 형식주의가 승리했다고 봐야겠네요. 대다수의 수학자는 선택 공리를 인정할 뿐만 아니라, 비구성적 논증도 왕왕 사용하니까요. 그러나 선택 공리와 비구성적 논증이 제기하는 수수께끼는 여전히 수학, 논리학, ... ...
- [맛있는 수학] 함수 품은 블랑망제 푸딩수학동아 2019년 04호
- 수 있다. 사실 응용 수학자나 물리학자, 공학자에게는 이런 아이디어가 친숙하지만 많은 형식주의 수학자들은 그림의 도움을 부정하곤 한다. 블랑망제 함수는 아주 간단한 방법으로 익숙하지 않던 특성을 보여준다. 정확하게 해석된 그림이 수학적 분석에 얼마나 큰 역할을 할 수 있는지 드러나는 ... ...
- 뇌세포 몽땅 갈아끼워도 인격체에는 변동이 없을까?과학동아 1993년 10호
- 자료의 수집이나 실험적 방법이 불가능한 문제로 여겨졌다. 그러나 20세기 들어서 형식주의 논리학이 싹트기 시작하였고, 그 후속주자로 정보처리 이론이 탄생했다. 아울러 심리학과 언어학 분야 등의 진전과 함께, 종래에는 불가해하고 신비스럽게만 느껴졌던 정신기능에 대한 이론적 접근이 ... ...
- ③ 말은 마음의 구조 밝히는 열쇠과학동아 1993년 03호
- 그 틀을 확보할 가능성이 점차 커지기 시작했던 것이다.수학이나 논리학 철학에서는 형식주의의 발전으로 사물에 대한 엄밀하고 명확한 인식의 바탕이 마련됐다. 철학에서는 새로운 인식론적 과학철학이 등장하게 됐고, 정의하거나 검증하기 어렵다고 봤던 심성적 개념들을 과학적 개념으로 ... ...
