@neauoire am I understanding the first equation correctly that adding Zero to N should be rewritten to a Successor of N where N is just some number? shouldn't it result in just N? what am I missing here? :moomin_what:
@neauoire i'm having a hard time grasping what does this example represent. how would it look like when expressed in, say, lambda calculus, or a lisp, or whatever? is such an analogue even possible here?
Gregory's Server
@bellinitte the graph is just the representation of (r | Add(Z, r) = S(w), Add(Z, w) = S(Z) ) What are you asking me exactly?