[問題] bounded maximalization

[hokia (叫拎袋鼠出來啪啦！)]

一題計算理論的習題是 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