/sci/ - Science & Math

[Anonymous No.15336370]

>without evil there is no good
>without darkness no light
Bullshit.
The conventional wisdom behind these proverbs is that for all properties P, E[x:P(x)] => E[y:~P(y)].
Okay retard, consider the recursively-defined property P(x) = E[y:~P(y)].
Then (P(x) ^ (E[x:P(x)] => E[y:~P(y)])) => E[y:~P(y)], but if ~P(y), then ~E[z:~P(z)], but y is one such z.

[Anonymous No.15336419]

Actually, P(x) = E[y:~P(y)] is fundamentally flawed all on its own.
The expression E[y:~P(y)] is invariant in x. Therefore, if any property Q(x) = E[y:~P(y)] for any other property P(y), and E[y:~P(y)], then A[z:Q(z)].
So if Q(x) IS P(x), and E[y:~P(y)], then A[z:P(z)], then ~E[y:~P(y)].
If [if E[y:~P(y)] then ~E[y:~P(y)]], then ~E[y:~P(y)] ((p => ~p) => ~p).
In conclusion, if we define P(x) = E[y:~P(y)], then P is unrealizable.

[Anonymous No.15336501]

>without niggers there is no society

I think I understand better how people think now

[Anonymous No.15336529]

Applying first order logic outside of math is a categorical error. Philosophy is fucking retarded.

[Anonymous No.15337798]

https://www.youtube.com/shorts/ChL2HNyxFxo

[Anonymous No.15337841]

>>15336529
This. You can't generalize shit with first order logic like you can in math. It leads to paradoxes such as Russel's paradox.