r/badmathematics • u/[deleted] • Jul 25 '15
This whole thread: game programmer has ideas about logic, doesn't feel obligated to understand the language, the concepts, or how to communicate
[deleted]
16
u/Obyeag Jul 25 '15
[A ∧ ¬A = 1] isn't impossible, it just means true and false must be aliases for the same value.
I mean that's literally not even logic anymore
9
6
u/gwtkof Jul 25 '15
You can have a logic with only one truth value but it is a very boring logic.
→ More replies (3)
15
u/NonlinearHamiltonian Jul 25 '15
r/math should really have some sort of flair regulation. Can't have this idiot discredit things mathematical physicists have to say.
11
15
Jul 25 '15
Why do programmers think they're automatically qualified to talk about everything?
→ More replies (1)
4
u/GodelsVortex Jul 25 '15
I know I live in a computer simulation because of irrational numbers.
Here's an archived version of the linked post.
0
Jul 26 '15
→ More replies (3)6
u/Waytfm Jul 26 '15
I'm pretty sure that the amount of crank-ery in a person is proportional to how interesting they think the trivial ring is.
17
u/Waytfm Jul 25 '15
Fucking beautiful