[yowlingcat]

> Programming functions happens in a limited axiomatic world that simulates logic.

You sure you're not mixing up "programming functions" with "powerpoint presentations" here?

[Geminidog]

Dude whats up with that comment. Are you mocking me?

No. I'm talking about how a computer is basically a logic simulator. You don't need to use empirical methods to prove things in a logic simulator, you just use logic.