3 ms·
If you're familiar with the literature of programming languages, you'll see references to the "world" or the "universe" all the time. That's the kind of univers
by the_af 5y ago
If you're familiar with the literature of programming languages, you'll see references to the "world" or the "universe" all the time. That's the kind of universe we mean in this discussion, not the one Carl Sagan talked about.
As for the rest: please provide the implementation of your Time.now function and I'll tell you its implicit parameters. If you're not talking about an actual function that can be run by a computer, then please tell me so and I'll drop it -- I'm not interested in hypothetical functions tautologically defined not to be equal to themselves.
- ukj 5y ago>please provide the implementation of your Time.now function and I'll tell you its implicit parameters. You are missing the point about extensional and intensional properties of functions. If you want to look "inside" my Time.now function then maybe you should also look "inside" your equality function and find its implicit parameters? Here's some Python boiler plate - implement equality and make the assertions pass. def f(): return 1 def equal(x,y): # Implement equality assert not equal(1,2) assert equal(1,1) assert equal(f, f) >If you're not talking about an actual function that can be run by a computer As far as I can tell you are not talking about such a function either when you speak about equality, but I'll reserve judgment until you produce an implementation. >I'm not interested in hypothetical functions tautologically defined not to be equal to themselves. OK, but you are interested in hypothetical functions tautologically defined to be equal to themselves. That's perfectly fine - we are interested in different tautologies. You want to say equal(f,f) is true. I want to say not equal(f,f) is true. We want to say different things.