An example of LCM semantics of logical formulas

lLet **x,y****Î****Nat** and **f:Nat****®****Nat.
**

lLCM-semantics of **$****y.A(x,f,y)** is

lThere is a machine **M** taking **x** and the first **n **data of **f: (0,f(0)),
(1,f(1)),****~{!-~}****,**

**(n-1,f(n-1)) **and outputs its guess **y****n**

lThe guesses **y****0****,** **y****1****,~{!-~}** converges to a value **y****¥**** **in Gold~{!/~}s sense

l**A(x,f,y****¥****) **holds in
LCM-semantics