정지문제는 이론적 증명이지 제약사항이 많습니다. 튜링 기계에서 의사코드로 재귀서브루틴을 무한 가깝게 호출한다고 하는데 실제 컴퓨터는 유한 기계로 재귀호출 시에 스택 오버플로우 발생 합니다, 또 정지문제에서 모든 입력값, 임의값이라고 했는데 실제 프로그램에서는 자료형이 존재합니다 int정수, float,double은 입력값에 대한 범위와 형태 정해져 있어 이상적인 튜닝 기계와 다릅니다.
설명해 주셔서 감사합니다! 주제와 약간 동떨어진 질문이 있습니다: 내 OKX 지갑에 USDT가 있으며, 복구 문구를 가지고 있습니다. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). 이들을 Binance로 옮기는 방법을 설명해 주실 수 있나요?
음 그니까.. 컴퓨터 알고리즘(수학체계/프로그램)은 인간과는 다르게 메타인지가 불가능하다. 정도로 이해하면 될까요? 순환/반복만 할 수 있고 스스로 새로운 규칙을 제안한다던가 재정의하는 등의 확장성은 아직인건가요? 설계나 외부개입이 더 이상 필요하지 않을 정도로 ai가 발전하려면, 수학체계 그 이상을 초월해야 한다는 건데 ai가 자기 인식이나 한계 인식이 가능하게 된다면 그 ai는 더 이상 ai가 아니게 되는거네요? 철학적인 과제인건가요. 말하면서도 헷갈리네요..
@@freeasbj무한루프라는 단어 때문에 헷갈리시는 것 같습니다. 우선, 컴퓨터 알고리즘은 완벽하게 계산 가능성을 판단할 수 없습니다. 튜링이 이것을 증명했죠 그리고 편의상 무한루프라는 단어를 사용한 것인데, 그게 진짜 무한 계산이라면 계산 불가능한 문제를 수행하고 있는 것일테고 언젠가 끝나는 계산이라면 말그대로 언젠가 끝날 것 입니다. 그런데 만일 ‘언젠가’ 끝나는 계산이 수십년 수백년 아니 수천년 동안 계산해야 끝나는 작업이라면 우리는 그것이 계산 가능한 작업이었는지 알수 있을까요? 알수 없을 것입니다. 그래서 컴퓨터가 무한루프에 빠질 때 그것이 진짜 무한루프인지 우리는 단정할 수 없을 것입니다.
정지문제는 이론적 증명이지 제약사항이 많습니다.
튜링 기계에서 의사코드로 재귀서브루틴을 무한 가깝게 호출한다고 하는데 실제 컴퓨터는 유한 기계로 재귀호출 시에 스택 오버플로우 발생 합니다, 또 정지문제에서 모든 입력값, 임의값이라고 했는데 실제 프로그램에서는 자료형이 존재합니다 int정수, float,double은 입력값에 대한 범위와 형태 정해져 있어 이상적인 튜닝 기계와 다릅니다.
@@fundev5155 전문적인 설명 감사합니다~ 부족한 지식으로 책 내용 참고로 만들다 보니, 전문적인 설명이 부족했던것 같습니다~^^ 내용 보완 해 주셔서 감사합니다~^^
모든 문제에 대해 계산 가능성을 알 수 없는 것은 아닙니다. 어떤 문제는 돌려보지 않고도 계산 가능성을 파악할 수 있습니다. 다만 어떤 문제의 계산 가능성을 알기 위한 알고리즘이 모든 문제에 적용될 수 없음을 의미합니다.
명쾌한 설명 감사합니다~!
설명해 주셔서 감사합니다! 주제와 약간 동떨어진 질문이 있습니다: 내 OKX 지갑에 USDT가 있으며, 복구 문구를 가지고 있습니다. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). 이들을 Binance로 옮기는 방법을 설명해 주실 수 있나요?
@@crispo-b7k 댓글 감사합니다~ 그런데 질문 주신 내용은 어떤 내용일까요?
음 그니까.. 컴퓨터 알고리즘(수학체계/프로그램)은 인간과는 다르게 메타인지가 불가능하다. 정도로 이해하면 될까요?
순환/반복만 할 수 있고 스스로 새로운 규칙을 제안한다던가 재정의하는 등의 확장성은 아직인건가요?
설계나 외부개입이 더 이상 필요하지 않을 정도로 ai가 발전하려면, 수학체계 그 이상을 초월해야 한다는 건데
ai가 자기 인식이나 한계 인식이 가능하게 된다면 그 ai는 더 이상 ai가 아니게 되는거네요? 철학적인 과제인건가요. 말하면서도 헷갈리네요..
좋은 영상이네요..
@@myopinionaa 좋은 말씀 감사합니다~^^ 힘이 됩니다 ㅎ 오늘도 즐거운 하루 되세요!
예외처리와 타임아웃으로 누더기 프로그래밍을 해야하는 현실이죠...
엔트로피 갇은데
내가 이해를 못하는건지 당신이 바보인지 둘중에 하나다
@@freeasbj 제가 바보겠죠~^^ 영상이 아직 서툴러서 쉽게 설명을 못했나봐요~ 월욜 저녁에 굳이 그런 댓글 남기면서 스트레스 받지 마시고 다른 영상 보세요~
근데.. 님이 쓰신 댓글요.. 다시한번 자세히 읽어보세요~^^ 누가…
@@ccamangnoon 무한 루프를 가정해 놓구 왜 빠져나오지 못한다고 하는지 이해가 안되요.. 내가 바보가 맞는것 같습니다.
@@freeasbj무한루프라는 단어 때문에 헷갈리시는 것 같습니다. 우선, 컴퓨터 알고리즘은 완벽하게 계산 가능성을 판단할 수 없습니다. 튜링이 이것을 증명했죠 그리고 편의상 무한루프라는 단어를 사용한 것인데, 그게 진짜 무한 계산이라면 계산 불가능한 문제를 수행하고 있는 것일테고 언젠가 끝나는 계산이라면 말그대로 언젠가 끝날 것 입니다. 그런데 만일 ‘언젠가’ 끝나는 계산이 수십년 수백년 아니 수천년 동안 계산해야 끝나는 작업이라면 우리는 그것이 계산 가능한 작업이었는지 알수 있을까요? 알수 없을 것입니다. 그래서 컴퓨터가 무한루프에 빠질 때 그것이 진짜 무한루프인지 우리는 단정할 수 없을 것입니다.