4 ms·

You know what the state of the universe is when you do logic? Tell us more! I didn't believe in omniscience until now. Time.now(t1) and Time.now(t2) is meanin

by ukj 5y ago

You know what the state of the universe is when you do logic? Tell us more! I didn't believe in omniscience until now. Time.now(t1) and Time.now(t2) is meaningless in this context because t1 and t2 are unbound variables. What are you passing to your function? Where is it coming from? My function says you are overlooking something. [1] pry(main)> Time.now(t1) NameError: undefined local variable or method `t1' for main:Object from (pry):1:in `__pry__' [2] pry(main)> Time.now(1) ArgumentError: wrong number of arguments (given 1, expected 0) from (pry):2:in `now'

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.

by ukj 5y ago

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.