Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Solving Equations of Code

  1. Aug 19, 2011 #1


    User Avatar

    I was just wondering about solving equations like: f(g(x)) = h(j(x)) where each function would be written in some minimal ideal systematic Turing-complete (all I know about "Turing-complete" is what I learned from briefly looking over a Wikipedia article) language. So, not that the "code" I'm about to write is necessarily in whatever the ideal language would be, but you might have something like:

    Code (Text):

    output = empty list
    for i=0 to infinity
        output.append g(i)
    Code (Text):

    output = empty list
    for i=0 to infinity
        if(j(i) == 0)
    So in the above example, we might want to "solve" in some sense for all possibilities for g(x) and j(x) (both functions from the natural numbers to the natural numbers), or maybe just one of g(x) and j(x) if the other is given. We would want f(x) produce the same value for the "output" list/array/tuple as h(x) after an infinite amount of time (so the notion of "equality" is kind of complicated and in writing an equation, one would probably have some systematic way to indicate what exactly is being solved for - and having a statement like "return output" at the end of f(x) and g(x) seemed weird since both run for an infinite amount of time).

    What area of math would this be in? Would anybody be able to point me towards where I can learn more about this type of stuff? I'm really interested in the fundamentals of math+computer science and systematically breaking problems down into atomic pieces. Thanks.
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted

Similar Discussions: Solving Equations of Code
  1. Equation solving (Replies: 6)

  2. Equation solving (Replies: 5)

  3. Solving equation (Replies: 4)

  4. Solve an equation (Replies: 8)