no system can describe itself through the language of itself. — Samppa Hannikainen
B is "A then C" or "not A" — Samppa Hannikainen
—————A is an existential condition of B — Samppa Hannikainen
The "existential condition" is "A". I will go ahead and call this "existence". — Samppa Hannikainen
And it is BOTH "defined and undefined" in a very precise way that is described in the forming of the condition B as "Content" of condition A. — Samppa Hannikainen
The truth value of "E" ("not A") will always be false, no matter from what viewpoint it is evaluated. The truth value of D however is by definition "variable". — Samppa Hannikainen
being able to read through the opening post and following what it says. — god must be atheist
My English is apparently outdated. — god must be atheist
Editing to note that I'm also interested in finding out if the Gödel symbols (noticed a small list of them on a webpage) have an order. To me it seems they were ordered as I'd order them "mostly", but I didn't yet fully understand some. If anyone has a pointer on this I'd be very interested. — Samppa Hannikainen
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.