Gödel, Escher, Bach - Lecture 3: Part 2 of 7

During the summer of 2007, Gödel, Escher, Bach was recorded for OpenCourseWare.

Original Content Location: http://ocw.mit.edu/OcwWeb/hs/geb/VideoLectures/

Terms Of Use: http://ocw.mit.edu/OcwWeb/web/terms/terms/index.htm

Category:

Education

Tags:

• Gödel
• Escher
• Bach
• Education
• Strange Loops

[DraskyVanderhoff]

God can´t prove it self because if it can is inconsistent. Therefore ... GOD DOES NOT EXIST :D

[DraskyVanderhoff]

AGAIN! YOU DON'T CREATE ANYTHING! THAT EQUATION EXIST EVEN BEFORE ANYONE EVEN THINK ABOUT IT!

-.- concepts are not created, they just are.

[alphaJA]

@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.

[thunderdan7000]

@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.

[alphaJA]

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?

[nedobirdwere]

the guy in class is so annoying, prof is really good though