[지식in] 1+1=2 엄밀한 증명 / [Eng sub] Rigorous proof of 1+1=2
ฝัง
- เผยแพร่เมื่อ 25 ส.ค. 2024
- 후원 | 우리은행 1002-031-127166 (이상엽)
━─ ↓↓ 책갈피 ↓↓ ─━
01:20 1. 공리와 정의 (Axiom and Definition)
04:11 2. 페아노 공리계 (Peano’s axioms)
08:47 3. +의 정의와 1+1=2 의 증명 (Definition of + and Proof of 1+1=2)
12:50 마치며 (Finishing)
#1+1 #1+1=2 #증명
이상엽math.com
![[기초수학] 1강. '수'란 무엇인가.](http://i.ytimg.com/vi/szHTH1E4boU/mqdefault.jpg)
![[기초수학] 1강. '수'란 무엇인가.](/img/tr.png)
![[지식in] 정말로 점이 모이면 선이 될까?](http://i.ytimg.com/vi/YZKp8cLS4Fw/mqdefault.jpg)
![[지식in] 0 999...=1](http://i.ytimg.com/vi/atbkEMOkH9s/mqdefault.jpg)
![[지식in] e란 무엇인가? / [Eng sub] What is constant e ?](/img/n.gif)
인트로를 삭제하였습니다.(2021.06.18) 그로 인해 기존 영상과 약 9초의 시간 차이가 발생하였으니 참고해주세요.
1 + 1 = 1 영상 봤더니 알고리즘이 정신차리라고 추천해줌ㅋㅋㅋㅋㅋ
와 다들 이 코스타고있구나 수학과생은 해석학 생각나서 멈춰놓고 댓글만보는중 ㅠ
1더하기1은2 입니다 ㅋㅋㅋ
야 너두?
ㅋㅋㅋㅋㅋㅋㅋㅋ 저도 이거보고 맨탈잡을라고 왔어요 ㅋㅋㅋㅋ
ㄹㅇㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
1:06 실화냐...
큽..
ㅋㅋㅋㅋㅋㅋ
그러게 말입니다
?? 1+1=귀요미 이렇게배웠는데??(진지)
@@golbaengimuchim6753 WA!
14:23 교수님..그만하세요...
으어ㅓㅓㅓ.....
1:07
댓이 없네
흑흑
인트로 9초 잘려서 이제 14:14 여기임
대학생 때부터 15년이 지난
지금까지도 아이들 수학을 가르치고 있습니다
수학의 대중화에 힘쓰시는 모습
정말 존경합니다 선생님
선생님의 강의를 들을때 마다
많이 반성하게 되네요
잘은 모르지만 많이 고민하시고
많은 어려움을 겪으시면서
강의를 찍으시는 것이
예상되네요
항상 건강하시고 열정적인 모습
변치 않으시길 기대합니다
앞으로도 좋은 강의 부탁드립니다
수학의 대중화..... 진짜 쉬운 말이지만 이만틈 어려운 말도 없다
와, 유튜브에서 이렇게 좋은 자료를 보게 될 줄이야... 유클리드 기하학이나 논리학, 괴델 등 소싯적에 이 책 저 책 살짝 깔짝거려 보느라 한참 시간을 소비했더랬죠. 어렴풋이 어설프게 알고 있던 흐린 기억들에 대해 많은 도움과 영감을 준, 제 시간을 엄청나게 아껴준 좋은 동영상이었습니다. 리만 가설, P-NP 문제 등 올려주신 동영상 정주행하고 있는데, 유튜브 영상 시청이 천금같다고 느낀 적은 처음이네요. 좋은 자료 감사합니다.
유튜브가 좋은게 이런 분들을 접할수 있는 기회를 얻는다는것. 이런 분들이 많아져야 공부의 질이 높아짐.
오아 처음 도입 부분 생각이 멋지십니다 ㅠㅠ 영상내내 새로운 개념도 많았지만 공리부분에 관해서는 저번에 수학 탐구주제로 비유클리드 기하학에 대해서 조사를 한터라 앞부분 이해가 쉬웠어요 ㅎㅎㅎ 괜히 뿌듯,,ㅎㅎ 그리고 수학은 팔 수록 흥미로운 것 같네요 아직 교과과정에서 벗어날 수 없는 몸이지만 선생님을 통해서 요론것도 관심가져보고 하겠습니당!-! 감사합니다 앞으로도 유익한 강의 많이 찍어주세요~
제발 더 유명해지십쇼... 누구를 타겟으로 만든 강의인지는 모르겠지만 이렇게 엄밀하면서 이해 잘되게 설명한 영상은 처음이네요!!!
수학이 공리계에 따라 상대적이다.
정말 인상적이네요. 강의 감사합니다~
감사합니다
1:08 어..,?
아....
14:22 도... 수미상관 교수님 개그...
1` = 귀요미
@@user-cf3jr3ft2p 수미상관ㅋㅋㅋㅋㅋ
어...? 이름
와재밌다... 이런 노잼일수있는 내용을 이렇게 재밌게 쏙쏙 귀에 들어오도록 설명해주시다니 대단하세요!!!!
1+1=2 증명이 어렵다는 이야기 수학귀신에서 나왔던거 기억나네요
그때 수학귀신 책이 학부모들 사이에서 열풍이돌아서 증명법의 난이도가 많은 아이들에게 와전되서 그런겁니다
그게 아니라 옛날에 중학교 교과서에도 실려있었음.
내가 수학을 좋아해서 기억하는데
무슨 옛날 수학자 초상화 띡 놔놓고
수식 빼곡히 적힌 옛날 문서 2장 보여주고선
1+1=2의 엄밀한 수식이 이렇다! 면서 굉장히 어려운거라고 글로 써있었음.
그냥 그당시에 저런류의 얘기들이 항간에 잘 떠돌아다녔음ㅋㅋ
러셀과 화이트헤드의 저서인 "수학원리"에 자세히 나와 있고 이게 난이도가 많이 높다고들 하더라고요~
공리를 줄이는게 굉장히 어렵기 때문입니다. 러셀 때에는 공리가 많고 비직관적이고 복잡했었죠.
수학귀신 개추억이네 ㅋㅋㅋ
수학귀신에서 증명 과정이 '한장 가득'이라 나왔던 걸로 기억합니다. 책을 읽은게 이십년 전이라 좀 가물가물하긴 하지만... '한장'이라 칠 경우 강의 내용과 크게 어긋나지 않는 셈이죠.
이런식의 대중화된, 일반 대중에게 퍼진 수학적 논리와 사고가 사람이 섣부르고 감정적인 판단하는 것을 막고, 합리적인 결정을 내리는 습관과 의심하는 습관을 주고, 내가 너무 직관에 맹신하여 속은적은 없는지 생각 할 수 있는건 분명 국민들의 인생 전반에 거쳐 강력한 뒷심을 만들어줄 것 같습니다. 수학을 점수만 받아내면 된다거나 어려운거라고만 생각하게 만드는게 한국인이 노벨상은 전무하고 퓰리처상은 작년에 한번 있었던 이유가 아닐까 싶습니다. 도전적인 사람이 줄어든거죠. 안정적인 직장만이 중요했던 한국이라 정말 수학 잘하고 수학으로 생계를 유지해야했던 많은 분들은 공학, 의료기기 영상처리와 같은 응용수학, 일부만 교수, 대부분은 대치동 강사가 되기위해 오직 수능문제를 풀기위한 사람으로 개조되고, 학생들앞에서 문제 하나라도 틀렸다간 크게 이슈가 되니 실수안하려고 수학연구보단 생계유지만을 생각하며 살아야했던 그 모든게 원인이었던거같다고 탓하는 생각이 듭니다. 그러던중 이렇게 밝게 빛나는 분께서 진짜 수학의 취미화를 위해 힘써주시는 분은 정말 귀인이시자 한국 수학문화를 뒤집어놓은 시발점을 찾아 근간을 찾아가면 Root Node에 계신 분으로 오래오래 기억되시지 않을까... 감히 생각해봅니다.
인정할 수 없다. 1+1은 귀요미임이 확실하다.
귀요미가 뭐냐 창문이다
@@kmj200409 ㅁㅊ ㅋㅋㅋ
3....
@@user-oz9lu9rb5i 뜨
11아니어씀?
솔직히 공리랑 정의조차 제대로 구분할 줄 아는 사람도 드물죠ㅋㅋ 무 정의 용어는 저도 처음 듣네요!! 엄청 유익한 영상이었어요ㅎ
너무 재밌게 잘 봤습니다. 공리에 대한 이해와 정의가 무엇지에 대해 공리적으로 정의 내려주시다니. 너무 재밌었습니다.
과거 : 미래에는 수 많은 난제들이 해결 되겠지?
현재 : 1+1=2의 증명을 해드리겠습니다.
아 이런거 아주 좋아
물론 수많은 난제도 해결됨
무슨 진리인마냥 주입식이 아니라 항상 저렇게 더 큰 전제를 환기시켜주는 참 좋은 선생님이시다.
"손가락 하나 펴 봐,어어 그리고 손가락 하나 더 펴봐 몇개야?두개지?그래서 1+1=2야"
-감사합니다 유치원 쌤-
어 이게 정설이지
줄 어떻게 그음?
@@Songhs_0105 -이렇게 그음-
-이렇게-
찰흙 한 덩어리와 찰흙 한 덩어리를 합치면 여전히 찰흙 한 덩어리죠
전과자 보고 들어왔으면 개추
'1+1=2의 증명'과 '수학은 상대적인 진리를 탐구하는 학문이다'라는 내용을 재미있게 보고 갑니다. 1가지 궁금한 점이 있습니다. '1+1=2의 증명'이 담긴 책이 있을까요? 알고 계시다면 답변 부탁드립니다.
버트런드 러셀 & 알프레드 노스 화이트헤드 공저 수학원리(Principia Mathematica)를 찾아보시면 됩니다만 대략 3만원정도 할겁니다...
@@cailes 그 책 어렵나요? 고등수학수준만 된다면 이해할 수있을련지요..?
읽고싶은데 너무 어려워서 이해가 안된다면 3만원 날리는거라 사기기 두렵네요...
페아노 공리를 찾아보셔서 직접 증명하시는것도 괜찮습니다
이상하게 들릴 수도 있겠으나, 증명 과정에서 갑작스레 코끝이 찡하더라고요. 수학을 보면서 눈시울이 붉어지는 경험을 해주셔서 감사합니다. 감동했습니다.
궁금했는데, 정말 잘 알았습니다. 역시 수학 재밌네요. 바아~~로 구독, 광고도 넘기지 않고 다 본 얼마 되지 않는 영상~!
로지컬이 이 영상을 싫어합니다
메모- 공리는 약속이므로 허용 가능한 선에서 변형될 수 있다.
수학은 서로의 합의와 약속으로 상대적인 진리를 탐구하는 학문
예비군 끝나고 댓글답니다. 페아노 공리계라는 것은 알았지만, 1+1=2 라는 것은 덧셈이라는 연산의 정의로 도출되는 것이라 공리인 것으로 알았는데, 사실 정리였다는 것을 알았네요.
유익한 영상 감사합니다!
선생님 기다렸어요!! ㅎㅎ
설명 개 깔끔 개 명확. 글고 쩌는 메세지. 매번 감탄하기도 질린다 진심.ㅋ
페아노 공리계 실화냐.. ㅠㅠㅠㅠㅠ
정수론 개객기
하하 나는 이것을 어쩌다가 다 보게되었는가.. 이해할수없지만 다보게되는 마법이였다
이과의 저주
나만 수학 존나 멋잇냐
ㄹㅇ 뇌섹남
원래그럼
ㅋㅋㅋ
윰 윰 연속체 가설
@@taehyeonlee6141 ???: 아 힐베르트 아시는구나~
초,중,고,대학교 까지..수학문제를 나름 증명하며, 같은 답도 다른 방식으로 증명하려 애를 쓰면서 수학에 재미를 붙였었는데..매번 1+1은 왜 2가 되었는지 굉장히 궁금했었습니다. 수학에 무정의용어가 있는줄 몰랐네요..아니면 배워놓고 잊고살아왔는지도 모르겠지만..여튼 굉장히 유익한 설명이었고 감사합니다. 초중고 교육과정에 매 학습 초기에 간단하게라도 이런 수학적 primitive 설명이 들어가면 좋을 것 같아요. 수학의 근원을 체득할 수 있게 말이죠..
고등학생이 되도라도 보통 공리주의를 이해하기 어렵습니다..
결론적으로 보면 1+1=2란 수학적 명제는 그렇게 정하기로 했기 때문에 그렇게 된 게 맞긴 하지만 더 자세한 사정을 들여다볼 수 있는 좋은 영상임.
이거 내가 일반선택으로 수교과 수업 기하학 개론 들었을때 배웟던거랑 비슷하네... 우리가 당연하게 생각했던, 평행, 직각, 보각 이런걸 모두 증명했던거 같음....
러셀하고 화이트헤드 책 이야기 하려고 했는데 뒤에서 하네요. 그 증명까지 멀고도 험난한 증명들을 해나가기 때문에 거기까지 무려 361 페이지가 소요되었기 때문에 증명 자체는 1 페이지였지만, 그런 소문이 퍼진 것 같아요. 수학적 엄밀성을 집합론으로 만족시키려는 시도가 그렇게 힘들고 길었던 것 같습니다. 저도 막연히 증명 자체가 엄청 길었다고 알고 있었는데 덕분에 새롭게 제대로 알게 되었네요. Thanks.
혹시 비표준해석학 관련영상도 만들어주실수있나요ㅜㅜ 수를 수열에 대응시켜서 연산과 대소관계를 정의하고 그 정의에따라 무한소나 한없이큰수들을 구현할수있다고 하던데 너무궁금하네요
1+1=2의 수학적 정의는 잘 모르지만
1+1=2 인 이유는 사람과 사람이 서로 사랑하면 마음의 온도가 배가 되어서 그런거 아닐까요?♥
문과!?!
섹스
항상 수학 선생님들은 어쩐지 외모가 준수하면서 성격은 은근히 수더분하면서 순수한 면이 있었다... 이 분도 그러네 ㅎㅎ 뼈와 영혼이 모두 문과 그 자체인 나는 이과 인간들을 동경하는 마음이 있다. 나와 다른 존재는 아름다워..
좋은 강의입니다. 이상엽선생님 응원합니다.
귀엽다 잘생겼다 수학은재밌다 정말 최고의선배..
중학교 때부터 궁금한 내용이었는데 감사합니다 ㅎㅎ
1+1=1이라 써서 오늘 시험 10점 날렸는데 이렇게 증명으로 극딜까지 박으셔야 겠습니까?
귀요미
창문
와...이때까지 저 질문에 답을 1+1=2 >
라고 생각했는데 1번을 페아노 공리계 2번을 덧셈의 정의로 설명하는거였네요... 좋은 지식 얻어갑니다😄
0.99999999999...... =1 이라는 걸 이해못하는 분들이 많다고 합니다. 이거 다뤄주시면 조회수 폭발할 듯.
등호 성립하지 않습니다
등호라는건 완벽히 동일할때만 성립 가능합니다
엄밀하게 [ lim(n-1-) n = 1 ] 이걸 헷갈리신거 같은데 리미트란 무한히 가까워지는 수 라는 거여서
0.99999999...=0.999999999.... 입니다
위의 식에서 lim를 붙이면 1로 성립 가능합니다
보통 중학 교과서에서는 작성자분처럼 직관적으로 이해하라고 해서 약간의 오개념이 있는거 같습니다
@@castleshin6734 ... 이것도 lim로 정의하지않나요?
순환소수 점찍어서 나타내는 거는 lim로 정의하는데
@@castleshin6734 리미트와는 조금 다른것이 아닌가요 엡실론 델타논리에 의하면 0.99999...과 1사이의 어떤 수가 있어야 극한값을 판별할텐데 0.9999...와 1사이에는 어떠한 실수도 존재하지 않는것으로 압니다
0.99999... 에 이미lim 가 들어있는겁니다
0.999999...= 1 이 맞습니다 양변이 완벽하게 동일하기 때문이죠
1/9 = 0.111...
2/9 = 0.222...
...
9/9 = 0.999... = 1
증명 끝~
재미있어요!!~
중2인데 이해하기 쉬운 이런 내용으로 영상 많이 찍어주세요!
다시 들어왔는데 여전히 존경심만 가지고 ᆢ다 못듣고 인사합니다. 몇달 후 다시 도전!^^
이해에서 오는 지적쾌락, 수학적 진리는 그 구성과 과정이기에 모든 앎들의 원소들을 구성하는 우리의 앎의 능력자체가 가장 순수한것. 그렇다고 해서 수 자체가 진리인것은 아니다.
재미있게 잘~ 봤습니다~ 대중화를 위해서 노력 하시는 부분이 인상적이네요^^
히히 재밌게 봤습니다 영상 많이 올려주세요!!!!!
왤케 섹시해 보이시지 어쒸 뭐 한거 없이 수학을 하셨을 뿐인데 너무 잘생겨 보여 너무 섹시해 뭐에요 진짜
?? 귀요미 아니였어요??? 헐..
크.... 어렵지도 지루하지도 않은 명컨텐츠!
멋진 선생님!!!
a=b 라고 둡시다.
그럼 a²=ab 이므로
a²-b²=ab-b² 가 될 수 있습니다.
a=b이므로 a²-b²=ab-b²은 (a+b)(a-b)=b(a-b)가 되고
여기서 (a-b)를 약분할 수 있으므로 약분하면
a+b=b가 됩니다.
그런데 a=b 였으므로 b+b=b, 혹은 a+a=a 가 될 수 있고 2b=b, 2a=a, 따라서 2=1이 됩니다.
*따라서 1+1은 2가 아닌 1입니다.*
---------------------
(웅장한 노래)
(a-b)를 약분할 수 없어요..나누는 수가 0이 되면 안되니까요
@@user-iu3bh2jp8x 정답입니다!
헐 진짜 이해도 잘되고 쉽네요 언냐 나 머리가 띵해~~~~~
항상 재밌게 보고있습니다!!! 감사합니다!!
안녕하세요
저는 수학을좋아하는 고등학교2학년인데 제수준에서맞는 주제의수학영상만 골라보고있습니다.
이번주제가 너무흥미로워서 그런데
이번기말고사끝나고 수학시간에 발표하는시간이있거든요.
영상중에 나온 공식이나 하신말씀들좀 인용하고싶은데 가능할까요 ?
@@user-qd5yg2jr4p 재생목록 무엇?
예전 고등학교때 ToK 라는 수업이있었는데, 거기서 수학문제중에 "What is 1? (일이란 무엇인가?)"라는 질문이 있던게 생각나네요. 혹시 이것에 대해 다루어주실수있나요? 짤막한 영상이 되겠지만요
영상에서 그거도 잘 설명해줌
5:07참조
공리계에 따라서 다르겠지만 페아노 공리계에서는 1이 무정의 용어로 받아들여지고 실수계를 정의할 때는 1은 곱셈의 항등원이라는 의미가 붙습니다. 그정도로 이해하시면 충분합니다.
와 IB 디플로마 따기 엄청 어렵지 않나요?
우와 저도 ToK들엇어요 ㅋㅋ
처음 마주하면 마치 껍데기 같은 형식적 구성들이 매력없어 보이지만, 실제로는 논리를 구성하기 위한 지지대 역할을 하는 점에서 더없이 중요하다는 걸 알수가 있죠
와 어쩌다 들어오게 됐는데 진짜 흥미로운데요?
뭔가 시원하게 딱 떨어지는 느낌입니다.
0:57 일더하기 일은 귀요미
헐... 소름..
수학은 자연적인 현상을 설명하는 것이며, 현대 과학에서도 확률과 통계를 통해
슈되링거의 고양이를 통해 양자 영역등 현대 과학이 발전했다고 생각합니다.
왜냐하면 사람들이 1+1=2는 약속이며 누구나 인정하니까 과학/자연/공학적 설명도 수학이라는 도구를 통해 다 설명을 할 수 있는거라고 생각했구요.
1+1=2를 이렇게 납득 시켜주시니 정말 고맙습니다 ^^
현재 하고있는 분석에 들어맞는 공리를 채택해서 도구로 쓸 뿐이고
현실을 설명하는건 그 도구를 쓰고있는 학문이죠
재미있게 보았습니다. 수학이 재미있는 것이라는 걸 널리 알려주시기 바랍니다. 재미있고 신나는 수학세계를 많이 알려주세요~~~~^^
아..... 이 내용을 메스메틱스 1권 쳅터 2에 담으신 거구나..... 그 책 내용을 설명해주니까 이해가 되네....
영상 항상 잘 보고 있어요 !!
와 진짜 진짜 이런거 처음 보네요ㅎㅎ
와 진짜 구독하고갑니다
설명이 깔끔하고 정확해서 너무좋네요....!
혹시 삼체문제의 일반해가 존재하지 않음에 대한 증명의 강의 부탁드릴수 있을까요?
5차 이상의 근의공식이 존재하지 않는것과 관련이 있지 않을까 싶어 정확한 증명을 찾아봤는데 일반 인터넷 검색으로 나오는 한글로 된 자료중에는 증명과정을 찾기가 힘드네요 ㅠㅠ 학술적 자료를 접하기가 쉽지 않은지라 이렇게 요청드립니다.
영상 보기 전에 예상 한번 하겠습니다.
선생님은 분명 1+1=2의 반례인 '1+1=귀요미'가 모순임을 밝히는 귀류법으로 증명하셨을 것입니다!
네 1'=귀요미라면 1+1=귀요미라는 상대적 수학을 알려주셨어요.ㅋ
그저.. 빛..
플라톤 선분의 비유 Dianoia 조사하다가 여기서 도움 얻고 가네요. 감사합니다.^^
혹시 여유 되시면 삼각함수 연산이랑 항등식 증명 영상도 올려주실 수 있으신가요?? 고통 받고있습니다ㅠㅠ
안녕하세요 이상엽선생님. 선생님 덕분에 오랫동안 담아둔 수학에 대한 흥미를 불태우고 있는 28살 직장인입니다. 어릴적 초등학교에서는 연산을 배우기 시작할때 더하기를 여러번하면 곱하기가 된다라고 간단히 배웟었고 고등학교에서는 소위 “계산만 빨리하자”라는 식으로 연산을 다뤘습니다. 하지만 곰곰히 생각해보면 단순히 계산만을 하는 것이 연산의 의미라고 느껴지지않습니다. 무언가 더 복잡하고 중요한 의미가 숨어있을거라고 생각됩니다. 이상엽 선생님께서는 수학에서 “연산”이 어떤 의미이며 단순연산이 아닌 심도깊은 탐구를 통해 우리가 연산에서 알아야하는 것은 무엇이 있을까요?
혹시 고민해보신적 있으시다면 언제라도 말씀부탁드립니다 ^^
쓰앵님... 일 더하기 일은 귀ㅇ... 뭐라고 하셨슴까...???
2=1 이니까, 1+1은 2인가요?
수학은 너무 좋아하는과목임 진짜
너무좋아서 미칠정도로 선생님 다음은 해석학
해주시면안될까요? 사랑합니다 센세
최근 과학채널을 열심히 보다보니, 왠지 관련이 있다고 생각되는 수학이 뜨네요. 듣기에 불편하지 않은 목소리로 재밌는 수학이야기 잘 들었습니다.
그런데 듣다가 좀 '저건 왜 저렇게 사용하지?'하는 부분이 있어서 질문 드리는데요,
[페아노 공리계 2번
모든 자연수 n은 그 다음 수 n'을 갖는다는
n' = n+1 이라는 말과 같은가?]
라는 의문이 들어서요. 가장 기본적인 약속이니까 '+'라는 개념을 우선 배제하고 다음 수를 n'이라고 쓴 것이라 이해하면 되는건가요?
설명 진짜 잘하심
오래된 영상이지만 질문이 생겨 써봅니다.
이전에 본 다른 영상에서는, 어떤 자연수의 다음 수를 어떻게 정의할 것인지에 대해 여러 선택지가 있었다고 봤던 것 같습니다.(무슨 영상이었는지 발견하게 되면 링크도 붙이겠습니다) 이에 대해서도 설명 한번 해주실수 있을까요?
트라첸버그 연산법 소개하실 생각 있으신가요?
좋은 강의 감사합니다
1+1=귀요미
이상엽=귀요미
1+1=이상엽
삼단논법이다
@@wadadadadadang 삼단논법 팩트) A -> B 이고 B -> C 일때 A -> C임을 나타낸다
본문은 A -> C 이고 B -> C 여서 A -> B가 성립되지 않는다
@@user-nd3fu2ln3n 그럼 이렇게 하면 되나요
1+1:A, 귀요미:B, 이상엽:C
1+1 은 귀요미이고 귀요미는 이상엽일때 1+1은 이상엽이다.
아니 ~가 ~에 포함된다가 되면 안되는데..
@@yookwi 으으 집합...
아,,, 교수님 수강정정이 언제였죠,,
음 정말 재밌네요. 수학을 어려워하는 저 같은 사람도 충분히 재밌게 이해가능해요. 수학을 이렇게 배웠다면 수학을 정말 다르게 봤을 듯.. 그럼 한가지. 1+1=2가 필연적 진리라는 것, 그러니까 부정하면 모순이 된다는 건 한 공리계 안에서만 필연적이라고 바꿔말해야겠네요. 만약 다른 공리계라면 1+1=3이 그 공리계 안에서 필연적으로 그렇게 될 수 있다는 말이잖아요. 한가지더. 보여주신 증명은 페아노 공리계 안에서 연역의 방법으로 하신 건데요. 다른 방법은 없나요.
옹... 엄청 복잡할 줄 알았는데 신기하네요.
폐아노 공리계랑 덧셈의 정의 까지 설명하면서 1+1=2를 증명하면 A4용지 한장분량 정도는 나올테니 '1+1=2가 그냥 약속이다. ' 보다는훨씬 기니까 그런 루머들이 생긴거 아닐까요. 저도 어린시절 '대학생이돼서 수학관련과에 가면 1+1=2를 증명하는데 있어서 생각보다 그 증명이 어렵고 길다. ' 정도로 듣고 지금까지 그렇게 알고있었는데 이영상을 보니 루머까진 아니고 어느정도 맞는 이야기였다고 생각되네요.
그러면 임의의 자연수 a에 대하여 a+1=a' 임을 같은 방법으로 보일 수 있을 것 같은데 제 추측이 맞을까요?
@@user-no6ri6pv6p 어떻게 가능한가요...?
@@user-bn6vm8tf1j a+1=a+0`=(a+0)`=a`
사실 덧셈의 정의로부터 당연히 나오는 결과인거죠.
@@142smdopp 근데 0은 자연수 아니잖아요
@@user-ve9vs4td9w 영상 10분 40초부터 보세요.
한줄 요약해주실 천재 구함
귀엽게 생기셨다 ㅎ
페아노 공리를 말만 듣다가 이렇게 써먹는 것을 보는건 처음이네요 이제 저도 어디서 1+1=2라는걸 자신있게 말할수 있을거 같습니다ㅎㅎ 공리 얘기가 나와서 말인데요 저는 수교과를 졸업하여 학부생 당시 비유클리드 기하로 쌍곡 기하를 다뤄본 경험이 있습니다만 그 외의 비유클리드 기하는 잘 접하지 못했습니다. 이에 대한 영상 제작 혹시 가능할까요?
수학은 상대적인 진리를 탐구하는 학문!
어떤 공리계에서 얘기하느냐에 따라 진리가 달라진다
이건.. 내가 알던 수학이 아니다..
국어 이자
영어 이자
역사 이자
수학 이다..
9:00 에 말씀하신 +의 정의는 닫혀있는개념과는 별개인가요? 2번에 해당하는게 닫혀잇는개념같아서요.. 다르다면 혹시 차이를 알수있을까요?
선생님 수학에 관심이 많고 요즘들어 공리계들에 관심이 많은 학생인데요
사칙연산의 정의에 관해서 영상 찍어주실수 있나요??
페아노공리계도입->2,+에 대항 용어 정의->위와같이 알고있는 사실을 이용하여 증명.
옵티머스 프라임은 몇인가요?
내가 알고 싶은 것을 속 시원이 말해주는, 어려운 수학을 쉽게 설명하는
페르마의 마지막 정리도 증명해주세요 ㅇㅅㅇ
ㅋㅋㄱㅋㄱㅋㄱㅋㄱㅋㄱㅋㄱㅋㄲㅋ 아 너무해 ...
1더하기 1이 귀요미라는 것도 증명가능하신가요 ㅋㅋㅋㅋㅋ