Can you, please, give me an example of a nonconstructive mathematical concept that's close to what you linked?
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,…
> 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…
Can you, please, give me an example of a nonconstructive mathematical concept that's close to what you linked?
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,…
> 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…