Quote from: redfish64 on November 16, 2015, 01:01:18 AM

I had a dream about the regression theory in reverse.

In the dream, a sheep befriended me and magically teleported us to the end of universe. It was dark and empty.

Heat death, baaa, it bleated, is the end of the universe. Your money is no good here. There is no energy to expend.. nothing can be accomplished no matter how much you want to give. Baaaa.

The sheep then pulled out a watch it carried in its fur, looked at it for an instance and snapped it shut. The scene subtly changed, just slightly. A moment before the last. Your money is no good here. In a moment it will be useless if I take it now, I cannot spend it in the future, therefore it is useless now. Baaaaa.

The sheep took out its watch, and again we went back a moment, and it repeated, Baaaa, in moment your money will be useless. I wont be able to spend your money in the future, therefore its useless now.

And again and again, we did so, going back one moment in time, each time the sheep repeated the line. I was getting dizzy, so I said Enough!

It transported me back to the present, and said All your kinds of money is useless one moment in the future, therefore it useless now!

--

Is it possible that one day when there are automated agents in Tau, if I can prove something like "All money is worthless" to one of them, then I would be able to trade it a tiny sliver of computation time for all the wealth that it controls?

Could other bugs of logic similar to this exist in Tau?

tau can help people make software meet their formal requirements. selecting the requirements themselves is an ethical question already Wink