| [ PhilosophyThought ] in KIDS 글 쓴 이(By): eulia (수선화애인) 날 짜 (Date): 1998년 6월 22일 월요일 오전 03시 02분 43초 제 목(Title): Re: 질문] Turing Computable Function에 게스트님의 바로 윗글중. ['시스템' 이 있다고 하면 이번엔 이 '시스템' 이 꼭 계산 가능하다고 (물론 심지어 함수라고도) 확신할 수가 없습니다. 따라서 어떤 기술하고자 하는 대상을 CSP 던 Pi calculus 건 기술했다고 하면 명백한 경우가 아닌 한 이것이 computable 하다는 것을 증명할 필요가 있을 것입니다. [] 초기 제가 드렸던 질문이지만... 바로 위의 게스트님의 글에서 처럼 임의의 시스템이 주어졌을때(참고로 비동기회로는 병행시스템의 일종으로 볼수 있으며, 실제로 Petri Net이나 Process Algebra, Temporal logic ...등 병행모델로 기술될수 있읍니다.) 이시스템이 가지는 behavior(게스트님의 말씀처럼 함수일수도 있고, 아닐수도 있습니다. 그러나 아닐경우에는 computability를 따지는것이 무의미하겠죠.) 가 cokmputable할수 도 있고 아닐수 도 있습니다.(따라서 게스트님의 말씀 처럼 이에 대한 증명이 필요하겠죠.) 그럼 하위 논리수준의 Computability에서 시각을 좀 위로 올려서 시스템 수준에서 과연 시스템의 어떤 성질, 특성, 또는 성격(?)이 이 시스템을 Computable하지 못하게 만드냐 ?, 즉 이런 생각이 가능하지 않을지도 모르지만, "Computability Characterization on System Level Behavior" 의 해결에 대해서 말씀을 드리는 겁니다. 물론 주어진 병행시스템을 임의의 Formalism(다양한 종류가 있겠죠)으로 reduce한후에 그런 성질들을 보아도 되겠으나, 저는 주어진 시스템상에서 직접보고 싶은겁니다. 그러한 이유는 주어진 시스템상에서 직접보는것이 개발하고자 하는 시스템의 한계를 그 시스템의 특성으로 가늠할수 있기 때문입니다. -- 저에게는 Formalism보다는 실제 회로의 특성(예를 들어 물리적 현상인 Metastable상태가 가져오는 회로의 non-determinism)과 같은 것이 중요하기 때문입니다. 문제의 reduction없이, 주어진 문제 그자체에서 보고 싶은것입니다. -------------------------- 감사합니다. 초보는 즐거워... ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ---------------------------------------------------------------------------- |