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