accountt

3 ms·

1. 1.▲
   by accountt 10y ago

   Can you, please, give me an example of a nonconstructive mathematical concept that's close to what you linked?
2. 2.▲
   by accountt 10y ago

   Suppose God doesn't exist. Then ... middle, middle, middle,...Contradiction. Thus by "excluded middle", God does exist. I have never seen theology do that. Theology proceeds by saying God exists with no proof, constructive or
3. 3.▲
   by accountt 10y ago

   > Python uses a weird mix of OOP, imperative and functional programming, and this creates mental strain for everybody who has to read it. I used to think so until I came across Oz. It's Prolog, Lisp and Python all in one nice packa