![[러셀 탐구생활] 러셀이라는 나비효과](http://dl.dongascience.com/uploads/article/thumbnail/202310/Screenshot_2023-09-16_23.26_.22_OOQpiI_.png)
꿈뿐만 아니라 수학의 기초를 다지겠다는 독일 수학자 고틀로프 프레게, 이탈리아 기호논리학자 주세페 페아노, 화이트헤드, 그리고 어렸을 때부터 확실한 지식을 동경하던 러셀의 꿈 또한 박살냈습니다. 결국 수학에서 승리를 거둔 쪽은 이그노라비무스였습니다. 그리고 수학에서 ...
![[러셀탐구생활] 제 9장 어긋난 스승과 제자](http://dl.dongascience.com/uploads/article/thumbnail/202309/20230828-011.png)
학생 생활 회고록을 써보기로 했습니다. 저는 영국에서 많은 것을 배웠습니다. 수리논리학과 집합론을 배웠고, 이와 관련된 철학적 문제에 대해 교수님들과 논의했습니다. 또한 다양한 문화, 종교, 진로, 가치관을 가진 친구를 만났습니다. 하지만 마음 한편에서는 혼란스러웠습니다. 제가 수학과 ...
![[수학 상위 1% 비밀무기] 경기과고 수학 절친 3인방, 수학을 잘한다는 것의 진짜 의미](http://dl.dongascience.com/uploads/article/thumbnail/202308/Screenshot_2023-08-01_02.09_.52_kspoSP_.png)
해석학을 한번 파보면 좋아요. 제겐 그 분야가 수리논리학과 위상수학이에요. 수리논리학이 없으면 수학의 다른 이론을 논리적으로 설명할 기반이 사라져요. 그 점이 매력적이에요. 가장 좋아하는 체계가 *힐베르트 프로그램인데, 공리 세 개와 추론 규칙 하나로 논리를 전개할 수 있다는 점이 ...
![[러셀 탐구생활] 포화 속에서 연구 이어간 스승과 제자](http://dl.dongascience.com/uploads/article/thumbnail/202308/Screenshot_2023-08-01_02.10_.12_H4OpAp_.png)
1년 후 둘은 네덜란드에서 만났습니다. 재회의 기쁨을 나눈 후 그들은 곧바로 논리학에 대한 논의를 시작했습니다. 전쟁 기간 동안 비트겐슈타인이 집필한 를 출판하기 위한 둘의 노력이 시작됐습니다 ...
![[러셀 탐구생활] 천재는 하나의 신화일 뿐이다](http://dl.dongascience.com/uploads/article/thumbnail/202307/Screenshot_2023-06-28_19.02_.29_pN3nBO_.png)
10년, 러셀에게 논리학은 철천지원수였습니다. 그러나 어린 시절부터 수학에 매료된 그는 논리학을 손에서 놓을 수 없었습니다. 정계로 진출할 기회가 있었지만, 영국 케임브리지대학교에서 ‘수학 기초론’ 강연을 맡지 않겠냐는 제안을 대신 수락했습니다. 그리하여 그해 가을, 러셀은 다시 ...
![[프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서](http://dl.dongascience.com/uploads/article/thumbnail/202306/20230531-025.png)
람다 계산법에 뿌리를 둔 함수형 프로그래밍 언어는 논리학의 성과를 적극 수용했다. 논리학에서 명제를 치밀하고 탄탄하게 증명하는 방법을 프로그래밍 언어에 녹였다. 그 결과 오캐믈, 하스켈과 같이 함수형 언어는 믿을 만한 타입 검사 시스템이 구현돼 안전하다. 전문가들이 ‘좋은’ 언어라고 ...
![[러셀 탐구생활] 러셀의 삶을 뒤흔든 역설](http://dl.dongascience.com/uploads/article/thumbnail/202306/Screenshot_2023-05-26_18.11_.20_rwPCvv_.png)
기초를 정립하는 일생일대의 연구를 마무리하고 있었어요. 이 연구의 결론은 수학과 논리학이 본질적으로 동일함을 시사했기 때문에 수학적으로뿐 아니라 철학적으로도 엄청난 의의를 지녔습니다. 그러나 그의 저술이 인쇄소에 넘겨지는 순간 프레게는 러셀로부터 편지를 받았습니다. 집합론이 ...
![[러셀 탐구생활] 제5장. 사랑으로 구원 받다](http://dl.dongascience.com/uploads/article/thumbnail/202305/스크린샷_2023-04-22_오후_4.38_.27_.png)
노스 화이트헤드영국의 수학자이자 철학자로, 10년에 걸쳐 러셀과 를 써 수리논리학의 기초를 확립했어요. 밤을 지새우게 한 집합론 여러분은 공부를 하다가 ‘이 지식이 나에게 도움이 될까?’라는 질문은 제쳐 두고, 단순히 ‘이 지식을 알게 돼서 기쁘다’는 생각을 한 적이 ...
![[러셀 탐구생활] 제 4장 수학을 향유하는 인생 친구를 만나다](http://dl.dongascience.com/uploads/article/thumbnail/202304/pic__2023-03-31_at_7.09_.42_PM_.png)
사람은 러셀만이 아니었습니다. 러셀의 기숙사 건너편에서 화이트헤드 교수가 새로운 논리학을 위한 연구에 착수하고 있었습니다. ✲글쓴이 소개최정담. 수학 베스트셀러 의 저자 최정담은 수학 대중화에 관심이 많고, 수학과 철학을 공부하는 KAIST 수리과학과 학생입니다. 영국의 ...
![[러셀 탐구생활] 제1장, 러셀을 사랑한 이유](http://dl.dongascience.com/uploads/article/thumbnail/202301/Screenshot_2022-12-28_12.08_.14_gEP9WY_.png)
수학계의 치열했던 논쟁 그리고 세계가 비논리적인 전쟁에 미쳐 있던 암울한 시대에 논리학을 연구한 사람의 이야기예요. 다시 말해 한 편의 드라마입니다. 아울러 러셀보다 훨씬 덜 스펙타클하긴 하지만, 저의 학문적 여정에 관한 이야기도 틈틈이 풀어볼까 합니다. 어쩌다가 수학과 철학이라는 ...
