[난제] 괴델의 불완전성 정리
Sponsorship | Woori Bank 1002-031-127166 (Lee Sang-yeop) ━─ ↓↓ Bookmark ↓↓ ─━ 02:50 1. Background of the Incompleteness Theorem 06:15 2. Mathematics and Metamathematics 09:17 3. Gödel Numbers 15:31 4. First Incompleteness Theorem 31:37 5. Second Incompleteness Theorem 38:04 6. Significance of the Incompleteness Theorem 40:24 In Conclusion #Gödel #Incompleteness #Theorem http://Lee Sang-yeopmath.com
![[난제] 각의 3등분 작도 문제](https://i.ytimg.com/vi/Nr7rlkyV1cA/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAdROqLZGds9KQL-5563gMG84qNuA)
▶︎
[난제] 각의 3등분 작도 문제
![[Difficult Problem] Hodge Conjecture](https://i.ytimg.com/vi/_OgxpHAbqAE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAXTG5RschXU5c-vo12MH5pKzCmnQ)
▶︎
[Difficult Problem] Hodge Conjecture
![[쿠르트 괴델] 아인슈타인과 동급!! 논리학 일타먹은 수학자 (by 불완전성 정리)](https://i.ytimg.com/vi/D8bP3hHOD2Q/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBz8gl1mPx4XWUPowXdIhAboyddbA)
▶︎
[쿠르트 괴델] 아인슈타인과 동급!! 논리학 일타먹은 수학자 (by 불완전성 정리)
▶︎
"If you lose yourself in it, you'll understand it!" A shocking twist on mathematics, once thought...
![[Knowledge in] Do dots really come together to form a line?](https://i.ytimg.com/vi/YZKp8cLS4Fw/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAoUzrmkNxe8jdG2A7S-HZ-MtVWCQ)
▶︎
[Knowledge in] Do dots really come together to form a line?
![[SNU Catch] Mathematics and Life of Fields Medal Winner June Huh](https://i.ytimg.com/vi/ENNnFu-rS9U/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAdbbkJtj12t_FTN3hkRn4hWJxUUQ)
▶︎
[SNU Catch] Mathematics and Life of Fields Medal Winner June Huh
![[난제] 푸앵카레의 정리 / [Eng sub] Poincare conjecture](https://i.ytimg.com/vi/7qp5O7CSXaU/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLCVI05MZ0DGu943kjj5TTYspM7Njw)
▶︎
[난제] 푸앵카레의 정리 / [Eng sub] Poincare conjecture
▶︎
튜링 정지 문제로 증명하는 괴델의 불완전성 정리
![푸앵카레의 추측, 100년의 난제는 어떻게 풀렸을까? (feat. 김상현 교수) [취미는 과학/ 44화 확장판]](https://i.ytimg.com/vi/iJGRP0UrRmM/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBSBeazYlARwEPtkD0RSS7EVjX27w)
▶︎
푸앵카레의 추측, 100년의 난제는 어떻게 풀렸을까? (feat. 김상현 교수) [취미는 과학/ 44화 확장판]
![[지식in] 허수 i 와 복소수 / [Eng sub] imaginary & complex number](https://i.ytimg.com/vi/Ko6Ri9zKADY/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDuAKFKB-UGrNW3UlOILLNsS1ilpQ)
▶︎
[지식in] 허수 i 와 복소수 / [Eng sub] imaginary & complex number
![[History of Mathematics] Hilbert, the Pioneer of Modern Mathematics](https://i.ytimg.com/vi/bTfhT0qUeJk/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLCfRzEqM0h1txEh5zkYIiLOaXZR2w)
▶︎
[History of Mathematics] Hilbert, the Pioneer of Modern Mathematics
▶︎
푸리에 변환이 뭐냐면... 그려서 보여드리겠습니다.
▶︎
Why You Don't Know Math (feat. The Incompleteness Theorem)
![[KIAS/대중강연] 불가능에 대하여(갈루아, 괴델, 튜링, 힐버트) - 김상현 교수](https://i.ytimg.com/vi/nJiw4g2ZM1E/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLCyJbLfiPLOYCc7pqTp-BckEpINjg)
▶︎
[KIAS/대중강연] 불가능에 대하여(갈루아, 괴델, 튜링, 힐버트) - 김상현 교수
![[Knowledge in] Rigorous proof of 1+1=2 / [Eng sub] Rigorous proof of 1+1=2](https://i.ytimg.com/vi/CGJDGYE-_3c/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDYz30OLBNqJvGwEv5jVrdaYcj7OQ)
▶︎
[Knowledge in] Rigorous proof of 1+1=2 / [Eng sub] Rigorous proof of 1+1=2
▶︎
(6) 오라클은 스미스에게 대체 무슨 짓을 했나? (feat. 튜링 & 괴델)ㅣ매트릭스 궁극의 해석
▶︎
The Greatest Unsolved Problem In Mathematics
![[최초공개] 양자역학, 한 편으로 이해할 수 있는 다큐! 세계는 확률인가, 법칙인가… 아인슈타인 vs 보어 - 양자 전쟁 I 사이언스 워 : 거인의 전쟁I KBS 260307 방송](https://i.ytimg.com/vi/1L40_6tgAjQ/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAvkAN5ZDAg4j0l3Lkrkz9qYa8y5w)
▶︎
[최초공개] 양자역학, 한 편으로 이해할 수 있는 다큐! 세계는 확률인가, 법칙인가… 아인슈타인 vs 보어 - 양자 전쟁 I 사이언스 워 : 거인의 전쟁I KBS 260307 방송
▶︎
괴델의 불완전성 정리: 1교시 - 수학기초론과 괴델의 불완전성 정리
▶︎