@pam69ur,
The Three Refutations of Pam69ur
First of all, diction and proper syntax is essential to a coherent response.
You say, "hey all i need to know is that godel tells us he uses system P in his proof and that system has the axiom of reducibility as the uni of california maths department tell us" (Pam69ur)
A somewhat proper English composition would say, "Hey, all I need to know is this. Godel tells us he uses System P in his proof and further that that particular system incorporates the axiom of reducibility as the university of California Math department tells us.
That much had to be said. I'm sorry, but for someone who proclaims an intimate understanding of abstract logical ideas, you cannot formulate a proper sentence for the life of you.
Second, you don't know quantifier logic, and I would suspect propositional logic for that matter. That bluff I called and which was justified was ridiculously easy to solve if you knew the foundation on which any of the theories you have quoted. How can you presume to provide your own comment if you cannot even read the basic structure of the argument.
Copying and pasting with VERY spotty logic to say the least is absurd. You know, if you wanted to B.S. a subject, you could have picked something you could at least minimally comprehend in a technical way.
Thirdly, you do not respond to the question and I suspect cannot respond to the question. That much is clear. Also, you support your weak comment by referring to the University of California as a source itself? Even if a university did all of the sudden retain intelligence, you don't even state which university of California it came from.
But maybe you are in earnest. I'll tell you what. I'll give you the rest of the formula, and I'll leave out one citation that can be solved with propositional logic.
1.(∃x) (Gx) --> (y) (Gy --> Jy) / (x) (Gx --> Jx)
2._|__Gu_________Assumed Premises
3._|__(∃x)Gx______Existential Genralization 2
4._|__(y)(Gy-->Jy)__Modus Ponens 1,3
5._|__Gu-->Ju_____Universal Instantiation 4
6._|__Ju__________ [
insert citation here] 2,5
7.Gu-->Ju_________Conditional Proof
8.(x)(Gx-->Jx)______Universal Generalization 7
Let the power of the Australian Philosopher Colin Leslie Dean flow through you. Let it fill your soul with courage as Colin Leslie Dean had when he fought twelve grizzly bears with a toothbrush and the sheer actualization of wisdom as Colin Leslie Dean had done when he need only stare at a book for a fraction of a second to get his answers. For Colin Leslie Dean has the power within him to completely reject the periodic table of elements and accept only one element, the element of surprise.
