👍인기글
침착맨
독립 게시판
구쭈
행정실
홈
요즘 유튜브 보면
컴퓨터 과학에 대해서 설명해주던데요
처음엔 오토마톤 - 오토마타 - 결정적 유한 오토마타 - 푸쉬다운 오토마타 - 튜링 머신 이런게 나오고
정지문제가 나오고
이걸 또 알아볼려고 하니깐
이제 수학의 체계에서대해서 나오더라구요
수학의 체계에서 힐버트는 수학체계가 완전하고 뭐 결정가능하고 이런데
또 괴델인가? 그사람이 불완전성 정리 라고 하면서
뭐 수학은 불완전하고, 튜링은 끝에 수학은 결정가능하지도 않다 이러면서
나오는데 한번쯤 침착맨에서 다뤄주시지 않을려나 질문드려봅니다.
댓글
비센샤프트
23.05.02
베리타시움 봐야될듯
전체게시글 전체글
쥴스 목장 너무 재밋엇는데 오늘 9시 공개겠죠?
1
1
히사이시 조 - Summer (공식 단편 영화)
깨팔이가 징그럽지 않은 이유
3
3
아이유 청룡네컷
아끼던 침착맨 키보드 키캡 어쎔블
AI 대부에게 듣는 미래이야기 (최신)인터뷰
조사‘병’단
4
4
궤도님의 양자얽힘, 초끈이론 강의 찾아요!
거인에게 물려간 엘빈이 살 수 있었던 이유
1
1
(*정답드래그*) 2025.07.20 꼬들 꼬오오오오들
4
4
진격거 완전판에는 이 부분 추가해주시면 어떨까요
4
4
간 개박살난 인간 (음악모음~)
300만원 갖다 버리는 법
6
6
7/21 월 ~ 7/27 일 방송일정 안내
39
39
101
공지
침착맨
·
2164
·
7시간전
[크랙] 목소리도 생겼네요.
어릴 때 이유 없이 괜히 해본 것들
13
13
애기 댕댕이가 계단 내려가는 방법
10
10
나온지 10년 됐다고 하면 다들 놀람
6
6
목장 영상보다가 빵터진 구간
1
1
공항에서 피규어 검사 당한 오타쿠
3
3
