침착맨
독립 게시판
구쭈
행정실
홈
궤도님 요즘 제가 유튜브 보면서 궁금한것들 언젠가 다뤄주실려나요?
23.05.02
·
조회 435
요즘 유튜브 보면
컴퓨터 과학에 대해서 설명해주던데요
처음엔 오토마톤 - 오토마타 - 결정적 유한 오토마타 - 푸쉬다운 오토마타 - 튜링 머신 이런게 나오고
정지문제가 나오고
이걸 또 알아볼려고 하니깐
이제 수학의 체계에서대해서 나오더라구요
수학의 체계에서 힐버트는 수학체계가 완전하고 뭐 결정가능하고 이런데
또 괴델인가? 그사람이 불완전성 정리 라고 하면서
뭐 수학은 불완전하고, 튜링은 끝에 수학은 결정가능하지도 않다 이러면서
나오는데 한번쯤 침착맨에서 다뤄주시지 않을려나 질문드려봅니다.
댓글
비센샤프트
23.05.02
베리타시움 봐야될듯
🚀궤도사령부(궤도) 전체글
궤도님 책에 누가 클레임 걸었는데요
7
7
우주'팽창'질뭄!
3
3
침원박 인기순으로 나열하면
3
3
방송에서 나폴리탄 괴담 과학으로 풀어주세오
엘니뇨 라니냐가 오락까락 끼락까락
9
9
쌀을 씻을때 첫 물은 생수를 사용하라?
10
10
현재글
궤도님 요즘 제가 유튜브 보면서 궁금한것들 언젠가 다뤄주실려나요?
1
1
저 너무 궁금한거 있는데요
1
1
왜 원소는 색깔을 편식하나용?
5
5
결국 나무위키에 박제되고야 만 금세기 최고의 퇴마 주문
32
32
궤도님 빅뱅이
2
2
궤도님, 혹시 탑건: 매버릭 보셨나요?
1
1
이렇게 고급 강의를 방구석에 누워서 들어도 되는 것인가
궤도님 넷플릭스에 고대의 아포칼립스 보셨나요?
현직 고1 중간고사 과학 후기
2
2
우주가 가속팽창하는 것은 공간의 휘어짐 때문이 아닐까요?
2
2
1ml 비커
2
2
유퀴즈 촬영 후기 (미공개 사진 소방출)
48
48
449
궤도
궤도
·
12354
·
23.05.01
프리웨이에서 꼭 찾아보라고 하신 깡충거미 유충
7
7
?? 궤도님 라디오 중?! 이 목소리는?!?!?!?!?!?!
1
1
