[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

Viewing source code

The following is the source code for post >>>/math/966

I do not know whether you see me as a part of the problem.
I just comes here to discuss something about mathematical logic. Even if you hold the opinion that logic belongs merely in the realm of philosophy or whatever, you have to admit that symbolical logic like propositional logic are teached and investigated by serious mathematicans like Gödel, Hilbert etc. Hasn't even Erdos proofed something in this field?

I know, am far away from mastery but compared to the endless discussion about 3/3 = 0,999... = 1 or something, I regard myself as a good contributer.