침착맨
독립 게시판
구쭈
행정실
홈
궤도님 요즘 제가 유튜브 보면서 궁금한것들 언젠가 다뤄주실려나요?
23.05.02
·
조회 436
요즘 유튜브 보면
컴퓨터 과학에 대해서 설명해주던데요
처음엔 오토마톤 - 오토마타 - 결정적 유한 오토마타 - 푸쉬다운 오토마타 - 튜링 머신 이런게 나오고
정지문제가 나오고
이걸 또 알아볼려고 하니깐
이제 수학의 체계에서대해서 나오더라구요
수학의 체계에서 힐버트는 수학체계가 완전하고 뭐 결정가능하고 이런데
또 괴델인가? 그사람이 불완전성 정리 라고 하면서
뭐 수학은 불완전하고, 튜링은 끝에 수학은 결정가능하지도 않다 이러면서
나오는데 한번쯤 침착맨에서 다뤄주시지 않을려나 질문드려봅니다.
댓글
비센샤프트
23.05.02
베리타시움 봐야될듯
🚀궤도사령부(궤도) 전체글
사령부 여러분 가시기 전에 이거 하나만 알려주세요
1
1
이 게시판은 곧 이벤트호라이즌으로?
(초초스압) 궤도사령부에 쏘아 올리는 마지막 불꽃: 짤털
3
3
마지막 질문이 있습니다.
1
1
테이저건
1
1
우주 관련 여러가지 망상에서 의문점이 있습니다.
1
1
혹시나 길을 잃어버린 당신께
100
100
885
궤도
궤도
·
18875
·
24.03.17
스포주의) 키링과 함께 파묘 보고왔습니다
9
9
궤도민수 vs 애굽민수
3
3
궤도님 태블렛 바꾸신거같네요??
4
4
안될과학(항성님)과 함께하는 스타쉽3차 중계영상(편집본)
궤도님 목격 썰
4
4
가설도 과학계에서 주류이론이라고 말할수 있나요?
4
4
쌍둥이 역설 이해가 안돼요 도와주세요
2
2
안될과학과 함께하는 '스타쉽' 3차 발사 생중계
2
2
궤도님 소식 이제 어디서듣죠
9
9
아인슈타인 생일카페
4
4
무한궤도
1
1
체르멜로 정리와 바둑AI 미래?
이번 팝업에서
1
1
