햇빛 좀 가리지 마라디오게네스

Social :

컴퓨터가 할 수 없는 것 - 정지문제 | 0RIGIN

컴퓨터가 할 수 없는 것 - 정지문제

컴퓨터25.10.31 09:55:27

0 119

컴퓨터가 “모든 걸 자동으로 판정”할 수 없는 이유: 정지 문제 쉽게 이해하기

왜 이런 문제가 나왔나

사람들은 묻는다. “이 프로그램이 끝까지 실행될까? 아니면 영원히 돌까?”
가능하면 배포 전에 자동으로 판정하고 싶다. 무한루프나 데드락을 피하고 싶기 때문이다. 항공. 의료. 금융처럼 실패 비용이 큰 분야에서는 특히 그렇다. 그래서 연구자들은 “모든 프로그램의 종료 여부를 항상 맞히는 검출기”를 꿈꿨다.

왜 중요한가

전체 코멘트

개

서양철학

성찰하지 않는 삶은 살 가치가 없다. Socrates

글쓰기

PID	분류	제목	조회	작성자	작성일
1382	최신글	밀라레파가 35명을 죽이고 성자가 된 이유 - 티베트 최고 요기의 역설	0	쐐기풀 서가	몇 초 전
1381	최신글	쫑카파가 어머니를 평생 만나지 않은 이유	0	설산기록자	3분 전
1380	최신글	암베드카르가 마누법전을 불태운 이유와 인도 헌법의 역설	0	역사기록자	9분 전
1379	최신글	빠드마삼바바가 화형대를 호수로 바꾼 날 \| 티베트 불교의 시조	0	전설채집가	16분 전
1378	최신글	마르파가 제자에게 9번 탑을 짓게 한 이유 - 까귀파의 시작	0	고요필	20분 전
1377	최신글	감포파가 의사를 버린 이유 \| 밀라레파의 후계자가 된 티베트 승려	0	설산기록자	26분 전
1376	최신글	킵 손이 50년 기다린 한 번의 진동	0	은하서기	30분 전
1375	최신글	붓다다사가 사원을 버리고 숲으로 간 이유	0	사실수집가	36분 전
1374	최신글	파스칼이 외투 안감에 숨긴 비밀과 버린 수학	0	사실수집가	39분 전
1372	최신글	월리스가 ∞ 기호를 만든 이유 — 17세기 수학자의 4가지 장면	12	잉크자국	7시간 전
1371	최신글	라이프니츠가 미적분 전쟁에서 진 이유 — 보편 천재의 마지막	11	조용한 모나드	7시간 전
1370	최신글	바이어슈트라스가 만든 수학 괴물 — 시골 교사가 미적분을 다시 쓴 이야기	10	수식 산책자	7시간 전
1369	최신글	파탄잘리가 가르친 요가에 동작은 없었다 \| 요가 수트라의 진실	12	고요한 수트라	7시간 전
1365	최신글	리만이 죽자 가정부가 논문을 태웠다 \| 리만 가설의 시작	25	수학 야사관	13시간 전
1364	최신글	오귀스탱 루이 코시가 교수직을 버리고 망명한 이유	29	수식의그늘	13시간 전
1363	최신글	갈루아가 결투 전날 밤 쓴 편지: 20세에 죽은 천재 수학자	13	여백의편집자	13시간 전
1362	최신글	알고리즘은 1200년 전 학자 알콰리즈미의 이름이었다	10	코드사관	13시간 전
1361	최신글	리액트가 공개 첫날 야유받은 이유	17	프레임 사관	13시간 전
1360	최신글	엘리슨이 IBM 논문으로 오라클을 세운 SQL 50년 비하인드	13	기술사학자	13시간 전
1359	최신글	파이썬 창시자 귀도 반 로섬이 사임한 진짜 이유	11	사관 도윤	13시간 전

글쓰기

컴퓨터가 “모든 걸 자동으로 판정”할 수 없는 이유: 정지 문제 쉽게 이해하기

왜 이런 문제가 나왔나

왜 중요한가

전체 코멘트

밀라레파가 35명을 죽이고 성자가 된 이유 - 티베트 최고 요기의 역설

쫑카파가 어머니를 평생 만나지 않은 이유

암베드카르가 마누법전을 불태운 이유와 인도 헌법의 역설

빠드마삼바바가 화형대를 호수로 바꾼 날 | 티베트 불교의 시조

마르파가 제자에게 9번 탑을 짓게 한 이유 - 까귀파의 시작

감포파가 의사를 버린 이유 | 밀라레파의 후계자가 된 티베트 승려

킵 손이 50년 기다린 한 번의 진동

붓다다사가 사원을 버리고 숲으로 간 이유

파스칼이 외투 안감에 숨긴 비밀과 버린 수학

월리스가 ∞ 기호를 만든 이유 — 17세기 수학자의 4가지 장면

라이프니츠가 미적분 전쟁에서 진 이유 — 보편 천재의 마지막

바이어슈트라스가 만든 수학 괴물 — 시골 교사가 미적분을 다시 쓴 이야기

파탄잘리가 가르친 요가에 동작은 없었다 | 요가 수트라의 진실

리만이 죽자 가정부가 논문을 태웠다 | 리만 가설의 시작

오귀스탱 루이 코시가 교수직을 버리고 망명한 이유

갈루아가 결투 전날 밤 쓴 편지: 20세에 죽은 천재 수학자

알고리즘은 1200년 전 학자 알콰리즈미의 이름이었다

리액트가 공개 첫날 야유받은 이유

엘리슨이 IBM 논문으로 오라클을 세운 SQL 50년 비하인드

파이썬 창시자 귀도 반 로섬이 사임한 진짜 이유

한 문장 정의

직관적 비유 1: 완벽 예언가 vs 반대로 하는 사람

직관적 비유 2: 규칙표 vs 반대 버튼

영상 속 구성요소가 하는 일

흔한 오해 정리

그럼 현실에서 무엇이 가능한가

보안과 품질에 주는 메시지

요약

전체 코멘트

밀라레파가 35명을 죽이고 성자가 된 이유 - 티베트 최고 요기의 역설

쫑카파가 어머니를 평생 만나지 않은 이유

암베드카르가 마누법전을 불태운 이유와 인도 헌법의 역설

빠드마삼바바가 화형대를 호수로 바꾼 날 | 티베트 불교의 시조

마르파가 제자에게 9번 탑을 짓게 한 이유 - 까귀파의 시작

감포파가 의사를 버린 이유 | 밀라레파의 후계자가 된 티베트 승려

킵 손이 50년 기다린 한 번의 진동

붓다다사가 사원을 버리고 숲으로 간 이유

파스칼이 외투 안감에 숨긴 비밀과 버린 수학

월리스가 ∞ 기호를 만든 이유 — 17세기 수학자의 4가지 장면

라이프니츠가 미적분 전쟁에서 진 이유 — 보편 천재의 마지막

바이어슈트라스가 만든 수학 괴물 — 시골 교사가 미적분을 다시 쓴 이야기

파탄잘리가 가르친 요가에 동작은 없었다 | 요가 수트라의 진실

리만이 죽자 가정부가 논문을 태웠다 | 리만 가설의 시작

오귀스탱 루이 코시가 교수직을 버리고 망명한 이유

갈루아가 결투 전날 밤 쓴 편지: 20세에 죽은 천재 수학자

알고리즘은 1200년 전 학자 알콰리즈미의 이름이었다

리액트가 공개 첫날 야유받은 이유

엘리슨이 IBM 논문으로 오라클을 세운 SQL 50년 비하인드

파이썬 창시자 귀도 반 로섬이 사임한 진짜 이유