오늘 갤질 재밌었다

[17번(wjd918273)]

불완전성 정리? 검색해봐야겠다

프로그래밍 이야기:

근데 별찍기도 재귀함수로 짤 수 있겠네

- dc official App

[다믜(damhiya)]

불완전성 정리랑 진짜 관련 있는건 아니고, 거기서 하는게 임의의 증명을 formal language로 표현하고 그걸 다시 소인수 분해를 써서 자연수로 인코딩을 함. 그거 가지고 뭐 한다는데 더 자세히는 모름.

[17번(wjd918273)]

뭐 암튼 궁금해졌으니 찾아보고...그럼 어떤 사유를 거쳤는지 어느정도 공감할 수 있지않을가 - dc App