does he really mean "Any system as powerful as number theory which can prove its consistency is inconsistant", or rather "Any system as powerful as number theory which can prove its consistency is INCOMPLETE" ?
how could something be consistent and inconsistant?
@alphaJA No, he means it how he said it. The point is that if a system is inconsistent, it can be used to prove it's own consistency, BUT, that doesn't mean the system both consistent and inconsistent. It's inconsistent; the proof of consistency doesn't matter because it comes from an inconsistent system. Like he said, a system that contains a contradiction can be used to prove ANYTHING, including things that aren't necessarily true.
God can´t prove it self because if it can is inconsistent. Therefore ... GOD DOES NOT EXIST :D
DraskyVanderhoff 2 months ago
AGAIN! YOU DON'T CREATE ANYTHING! THAT EQUATION EXIST EVEN BEFORE ANYONE EVEN THINK ABOUT IT!
-.- concepts are not created, they just are.
DraskyVanderhoff 2 months ago
does he really mean "Any system as powerful as number theory which can prove its consistency is inconsistant", or rather "Any system as powerful as number theory which can prove its consistency is INCOMPLETE" ?
how could something be consistent and inconsistant?
alphaJA 9 months ago
@alphaJA No, he means it how he said it. The point is that if a system is inconsistent, it can be used to prove it's own consistency, BUT, that doesn't mean the system both consistent and inconsistent. It's inconsistent; the proof of consistency doesn't matter because it comes from an inconsistent system. Like he said, a system that contains a contradiction can be used to prove ANYTHING, including things that aren't necessarily true.
thunderdan7000 9 months ago
@thunderdan7000
Ah. That makes sense.
Inconsistent system = there are contradictions.
which would mean that you can take advantage of the contradictions to prove its consistency...is that what it is?
Thanks, man.
alphaJA 9 months ago
the guy in class is so annoying, prof is really good though
nedobirdwere 1 year ago