if set theory ie ZFC is incomplete it cannot prove anything

[pam69ur]

the australian philosopher colin ****** dean points out that the systems ZFC, PA, Q due to there, incompleteness cant prove anything

If ZFC is consistent it is incomplete i.e it has statements which cannot
be proven true or false
thus

ZFC is used to prove things in mathematics
but
ZFC can only prove this if all its statement can be proven to be true
but
ZFC has statements which cannot be proven true or false
thus it cant prove anything

ZFC being undecidable cant be used to prove anything as it has statements
which cant be proven thus without those statements being proven these
statements cant prove anything

this follows from Colin ****** dean who argues that Mathematics is
systems of epistemological holisim
set theory
arithmetics
geometry
algebra
etc
are systems of epistemological holisim
epistemological holism means

a systems statement coher ie dont contradict with every other statement in
the system A systems statements interlock they share a common logic and
are involved enblock in every proof.A systems statements face the
tribunal of proof as a corporate body of statements. A systems
statements about mathematics face the tribunal of proof not
individually but only as a corporate body.

thus
if a statement contradicts another statement then the system as a
corporate body enblock falls apart into inconsistency

hence skolems paradox reduces set theory thus ZFC to inconsistency

ALSO
a systems statements face the tribunal of proof as a corporate body of
statements. A systems statements about mathematics face the tribunal of
proof not individually but only as a corporate body.

thus systems which are incomplete ie there is one statement that cant be
proven then the system enblock cant prove anything

thus the systems ZFC, PA, Q due to there, incompleteness cant prove
anything

[Nocturne]

pam69er,

1. ZFC is used to prove things in mathematics
2. ZFC can only prove things if all its statement can be proven to be true
3. ZFC has statements which cannot be proven true or false

Therefore,

4. ZFC cannot prove anything

The second premise is false. It is only necessary that ZFC is consistent for it to be useful in the construction of proofs, not that every and each of 'its statements can be proven to be true' (whatever that means exactly). The validity of an inference is in no way dependent on our ability to prove that the inference is valid, and its consistency (or lackthereof) does not change in response our discoveries and investigations, but is constant and independent of what we think about it. In other words, if we suppose that tomorrow your second premise is satisfied so that ZFC can be used in proof construction, then it must also be good for the construction of proofs right here and now (i.e. if every inference is valid after the second premise has been satisified, then so every inference beforehand must also have been valid). Therefore, it is not necessary that your second premise is fulfilled before ZFC can be used in proof construction, since ZFCs consistency is a property independent of what we can or cannot prove about ZFC or anything else.

[VideCorSpoon]

Nocturne,

pam69ur has been going 'round the internet under different alias trying to convey ideas he (or she for that matter) does not understand. Refer to the post "mathematicians are in big trouble for 2 reasons" near the end. Justin and other moderators think it's he who must not be named, the Australian philosopher coli...Ack!!! I can't breath!!!! My lack of faith has indeed been disturbing!!!!

Also, I don't know if the moderators kicked him off or not, so I don't know if you'll get a response.

[pam69ur]

Therefore, it is not necessary that your second premise is fulfilled before ZFC can be used in proof construction, since ZFCs consistency is a property independent of what we can or cannot prove about ZFC or anything else

complete rubbish

take logic
logic is a system of laws
1)law of idenity
2)law of non-contradiction
3)law of excluded middle

you use these laws in your maths proofs
but unless these laws can be proven to be true
then you cannot prove anything with them
take the law of identity
that law impiles that there is an essence

Gibson claims that of the three laws the law of identity is the more fundamental as it is implied in any proposition and presupposed by the law of non-contradiction. As Gibson notes “… the principle of identity is logically the more fundamental. It is implied in the stating of a proposition and is therefore presupposed in the very enunciation of the principle of non-contradiction.” [1] In this regard the law of identity is the ultimate foundation upon which logic rests, without an ‘identity’ (for the symbols of logic) logic is overthrown and collapses.......The law of non-contradiction to quote Aristotle states “ the same attribute (characteristic essence) cannot at the same time belong and not belong to the same subject and in the same respect.”[3] In terms of propositional calculus ‘ it is not the case both p and not p’. In this regard we see that if there is no essence to characterise a subject in distinction from other subjects there can be no law of non-contradiction and thus no logic at all. In other words if there is nothing to distinguish a ‘horse’ from a ‘non-horse’, either ontological or nominal, in the proposition P ‘there is a horse’ then we can not apply the law of non-contradiction because we have no distinguishable subject for the subject of the proposition.

[1] W. R. B, Gibson, 1908, p,95.

[2] C, Dean, op. cit. p. XXV-XXXV.

[3] A, Flew, 1979, p.75.

now untill this essence is proven the law of identity thus law of non-contradiction cannot be used to prove anything all i can do with these laws is offer conjectures


similary
if i use 1+1=2 in a proof
untill i can prove 1+1=2 then i cannot prove anything with it all i can do is give a conjecture with it

Conjecture - Wikipedia, the free encyclopedia

In mathematics, a conjecture is a mathematical statement which appears likely to be true, but has not been formally proven to be true under the rules of mathematical logic

[Professer Frost]

Who the heck is Colin Dean and what has he done worthy of note other than (apparently) pay people to go online promote his "philosophy" without let up?
- The Prof.

[VideCorSpoon]

Prof. Frost,

pam69ur has been going 'round the internet under different alias trying to convey ideas he (or she for that matter) does not understand. Refer to the post "mathematicians are in big trouble for 2 reasons" near the end. Justin and other moderators think it's he who must not be named, the Australian philosopher coli...Ack!!! I can't breath!!!! My lack of faith has again indeed been disturbing!!!!

But I guess he's still around if he replied. Case in point, go look at some of pam69ur's other posts in the logic section for a bigger picture of what's going on.

[Professer Frost]

I can’t understand mathematical logic but after skimming a few threads it would appear that neither can this worshiper of ye omniscient philosopher Colin ****** Dean.
- The Prof.

[Nocturne]

pam69ur,

1. If the laws of identity, noncontradiction and excluded middle cannot be proven then they cannot be used to prove anything else.

The laws of identity, noncontradiction and excluded middle are generally assumed by the deductive apparatus, and so to prove them is simply to state explicitly what has been assumed implicitly. It would be a proof in the mathematical sense, but not a 'proof' in the sense which you seem to want, because it would evidently beg the question i.e. if you define 'truth' and 'falsity' so that a proposition can only be true or false, but not both or anything else, then the law of excluded middle clearly follows... but then what have you really proven?

2. The law of identity implies that there is an essence.

False. The law of identity implies that for every x, whatever x might be, x is equal to x. To infer from the law of identity that x has an essence is invalid. The inference would only be valid if you are using the words 'identity' and 'essence' synonymously, in which case you are simply repeating yourself and saying nothing of interest or importance.

In any case, my original point was the validity of an inference does not depend on our ability to prove that it is valid, just as the truth of a proposition does not depend on our ability to prove that it is true i.e. if a proposition true, then it will be true before we have proven that it is true, after we have proven that it is true, and even if we cannot prove that it is true. For example, if I use '1 + 1 = 2' in a mathematical proof, then it is expected that I can or will also develop a proof for '1 + 1 = 2', but the validity of my argument does not depend on whether I have proven '1 + 1 = 2', but only on whether '1 + 1 = 2' is a valid inference. In other words, the validity of an argument depends upon whether or not the rules of inference used are truth-preserving, and not on whether those rules have been proven to be truth-preserving.

[pam69ur]

In any case, my original point was the validity of an inference does not depend on our ability to prove that it is valid, just as the truth of a proposition does not depend on our ability to prove that it is true i.e. if a proposition true, then it will be true before we have proven that it is true, after we have proven that it is true, and even if we cannot prove that it is true. For example, if I use '1 + 1 = 2' in a mathematical proof, then it is expected that I can or will also develop a proof for '1 + 1 = 2', but the validity of my argument does not depend on whether I have proven '1 + 1 = 2', but only on whether '1 + 1 = 2' is a valid inference. In other words, the validity of an argument depends upon whether or not the rules of inference used are truth-preserving, and not on whether those rules have been proven to be truth-preserving.

complete rubbish
wiles proved fermats last theorem with the Taniyama–Shimura conjecture,
untill this conjecture was proven he could not give a proof of fermats last theorem
all he could do untill the conjecture was proven was use it to give another conjecture

same with 1+1=2 untill it is proven all you can do with it is giive conjectures

same with ZFC
with unprovable statements
ZFC cant prove anything but only give conjectures

In the summer of 1986, Ken Ribet succeeded in proving the epsilon conjecture. (His article was published in 1990.) He demonstrated that, just as Frey had anticipated, a special case of the Taniyama–Shimura conjecture (still unproven at the time), together with the now proven epsilon conjecture, implies Fermat's Last Theorem. Thus, if the Taniyama–Shimura conjecture holds for a class of elliptic curves called semistable elliptic curves, then Fermat's Last Theorem would be true.
After learning about Ribet's work, Andrew Wiles set out to prove that every semistable elliptic curve is modular. He did so in almost complete secrecy, working for a full seven years with minimal outside help. Over the course of three lectures delivered at Isaac Newton Institute for Mathematical Sciences on June 21, 22, and 23 of 1993, Wiles announced his proof of the Taniyama–Shimura conjecture, and hence of the Fermat's Last Theorem. Wiles drew upon a wide variety of methods in the proof, some of them having been developed especially for this occasion.

[Nocturne]

Pam69ur,

I agree. Moreover, I think that all knowledge is conjectural, and that there is never any justification for any argument, proof, or rule of inference. However, that has nothing to do with whether an argument, proof, or rule of inference is valid, and I do think that some are. The term 'proof' in mathematics is a hangover from a time when mathemtical arguments were expected or intended to actually prove something, and that they might not would be considered a problem. For example, let us agree that only conjectures can be had from ZFC. That a statement or argument is conjectural does not imply that it is false or invalid, and it is not a criticism of such a statement of argument that it might be false or invalid. If you actually have a criticism of ZFC, rather than the trivial fact that it could possibly be mistaken, please provide it.