(수학) 궁디는 거짓말쟁이다. [새창]

정확하진 않지만 제일 쉬운 설명을 본 적 있는데
수학체계가 완전하다는 것을 이렇게 표현하더군요

"유한 개의 공리로부터 모든 명제가 증명 가능 가능해야 한다"

괴델은 유한 개의 공리로부터 (+ 정의는 필요한 만큼 하고) 추론하여 증명 가능한 명제의 집합을
일종의 수의 집합으로 대응시킨 다음
이 집합에 포함되지 않으면서 분명히 참인 명제(여기서는 수) 가 존재할 수 있음을 증명했습니다.

19세기부터 20세기 초까지 모든 명제가 몇 가지 공리로부터 증명될 수 있을거라고,
수학의 끝을 보일 거라고 믿었던 학자들은 이 증명을 보고 멘붕상태에 빠졌다고 합니다...

22879 2021-03-27 23:23:48 1

약후방) 온천에서 수건이 무거워서 잠자리를 놓치는 여자아이 만화 [새창]

케야키자매의 사계절 최신 에피소드인 듯 하네요

22878 2021-03-27 22:56:16 0

북두신권 라오우 흑왕 피규어.jpg [새창]

갑빠를 연한 재질로 채웠네요

22877 2021-03-27 22:54:36 8

[새창]

컨테이너가 에버그린 마크가 있을 뿐 트레일러 회사를 운영하는 건 아닐 거라고 합니다
https://www.chinatimes.com/realtimenews/20210327002395-260410?chdtv (번역필요)

22876 2021-03-27 22:41:35 12

됐어! 아 됐다고~오! [새창]

뽀뽀 --> 턱 가격당함 --> 혼절 24시간 후 정신차림 --> 상황 종료 되어 있음 --> 아 풀렸구나

22875 2021-03-27 19:12:30 2

그림으로 보는 성격 테스트 [새창]

이 테스트 괜찮네요
애매하지 않고 확실하게 성격이 구분되요 틀릴 때 확실히 틀릴 수 있게

예 저는 나온 성격이 정 반대입니다. 틀렸어요.

22874 2021-03-27 19:00:51 6

심심풀이로 볼만한 움짤들 모음 1100.GIF [새창]

스폰지가 아니고 매직블럭이면 저거 먹을거에 쓰기엔 좀 꺼려지는데..

22873 2021-03-27 18:48:09 0

모르는 개 산책이다 [새창]

왼쪽 애는 유니콘인가요?

22872 2021-03-27 18:47:08 11

수에즈 운하 한짤 요약 [새창]

낑낑

22871 2021-03-27 15:21:25 0

할수 없지. 리미터를 해제한다! [새창]

레인지가 얼만데요..?

22870 2021-03-27 15:19:44 5

국내 매출1위였던 호화백화점 [새창]

......그 분 혹시 성이 주씨인가요? ㅎㄷㄷ

22869 2021-03-27 15:16:11 1

할머니! 할머니는 왜 이런 시골에서 농사짓고 사는거야? [새창]

그럼 이걸 태우면...

22868 2021-03-27 15:15:48 4

무임승차한놈이 뻔뻔하게 옆에 앉아서 앞페이지 다 못읽었다고 쳐다봄 [새창]

계속 져 오셨잖아요, 왜 한번만 져본다고...

22867 2021-03-27 11:19:44 15

역사왜곡 논란 또... [새창]

세조: 저 세죠?

22866 2021-03-27 11:14:57 8

총맞은 코기 [새창]

Wealthy 코기