[일반] 불완전성 정리는 중국인의 나머지 정리가 아주 핵심이네

[특급고통(planetkeke)]

수학적 귀납법만 가지고는 불완전성 정리 성립 못 시키고

거기에 덧셈의 정의 추가해도 성립 못 시키는데

곱셈의 정의까지 추가하면 CRT덕분에 점화식으로 애지간한 수열은 다 만들 수 있음

거듭제곱도 만들고 팩토리얼도 만들고 공리계가 아주 강력해짐

그동안 애렴풋이 알던 괴델의 불완전성 정리를 이제 제대로 알게 된 너낌임

수학 참 재밌다

[수갤러 1(61.84)]

근데 왜 중국인의 나머지정리임 인종차별인가

[익명(220.79)]

중국은 손님이 음식을 남기는게 예의라서