一題計算理論的習題是 show gcd(x,y) is primitive recursive. 我的想法是 max(t<=x,y) (t|x & t|y) 問題是課本只有給bounded minimalization是 primitive recursive 那要如何證明max的亦屬於PRC ie. g(x,y)=max(t<=y) R(x,t) R(x,t) is primitive recursive predicate prove g(x,y)is primitive recrsive PS1:max後面的第一個括號是下標 PS2:gcd的問題先不考慮從lcm解決 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.234