Kurt Godel: The World's Most Incredible Mind (Part 1 of 3)
HTML-код
- Опубликовано: 27 сен 2024
- Kurt Godel: The World's Most Incredible Mind.
"Either mathematics is too big for the human mind or the human mind is more than a machine" ~ Godel
Kurt Godel (1931) proved two important things about any axiomatic system rich enough to include all of number theory.
1) You'll never be able to prove every true result..... you'll never be able to prove every result that is true in your system.
2) Godel also proved that one of the results that you can never prove is the result that says that the system is consistent. More precisely: You cannot prove the consistency of any mathematical system rich enough to include the known theory of numbers.
Hence, any consistent mathematical system that is rich enough to include number theory is inherently incomplete.
Second, one of the propositions whose truth or falsity cannot be proved within the system is precisely the proposition that states that the system is consistent. "
What Godel's proof means, then, is that we can't prove that arithmetic-let alone any more-complicated system-is consistent.
For 2000 years, mathematics has been the model-the subject-that convinces us that certainty is possible. Yet Now there's no certainty anywhere-not even in mathematics.
More...
teachingcompany...
Goedel's Ontological Proof.
For those interested in a discussion of Goedel's reasoning for God, then I suggest starting with this heavily annotated work, which I recently stumbled upon.
www.scribd.com/doc/95364925/Goedel-s-God-Proof-Annotated-Version
"It's not that God is subject to the Freedom Proof or the Doubt Proof.
According to Gödel, He's not. But we have to be, or else we are not free. So
our truth game with God turns into something like Feynman had described.
Feynman's Gods, every time physicists think they have the rules of the game
figured out, throw in a new wrinkle. They let people like Feynman make
progress, but if the Feynmans of the world learn too much, physics will stop
being the joy and challenge that it is. The Gods don't let that happen.
Gödel's God has to be very careful about how he lets our universe unfold.
If the world becomes totally controllable and comprehensible, we'll be God.
God does not object to that. In fact, according to Gödel, that is our destiny.
But it is also the end of us as free human beings. And human freedom is an
essential part of the beauty of God's universe."
~ page 251
I love maths, and I think that everybody should learn math continually all their lives.
It is very satisfying.
I'm absolutely sure that not everybody should learn math continually all their lives. Who'd grow the food and who'd pick up the garbage if everybody was obsessed with math? For most people math is mental torture and not satisfying at all.
dlwatib
They could fake it.
I like it very much but its to hard for me.
Never was very good at math anything past basic shop- type math. That’s why I’m not an engineer. One thing I learned about all that hard math I couldn’t do. Unless I was and engineer or something like that I would never use it in life
What Godel shows with incompleteness theorem, is that the human mind has a capacity for intuition and creativity, which ultimately lay at the foundations of reasoning. This is in direct opposition to logicistic attitudes, which suggest that the formal axiomization of mathematics could lead to all truths. Godel understood that truth (including logic) relies on the foundations of axioms, not all of which have been discovered, and our infinite.
great stuff. i've been watching too much garbage on youtube lately. i need to get back to this stuff. it's very satisfyingly interesting.
calabiyou Watch "Gödel, Escher & Bach" instead. :)
Agreed!
Blind faith in religion has simply been replaced by blind faith in Science.
But i guess the flip side is that the educational system mostly stifles creativity and curiosity, and children are "made" to study rather than them "wanting" to. This state of affairs will never lead them to ask questions which are on the edge, which question the results, which stretch the science beyond the banal examples which are given in the classroom and which lead to incremental learning...
There's some confusion in the comments about implications of the theorem. I've studied Gödel quite a bit. An analogous finding was Turing's "undecidability", which proved that every program has a problem which it fundamentally cannot solve even if you gave it an infinite amount of time. The two are analogous to everything: if we build some kind of thinking process out of rules, that system will ALWAYS be flawed. I'm attempting to write a book on expanding the logical implications and some more commonsense analogies.
Do you have the book written? Or is still "undecidable"?
COVID got him maybe. Wish we could see his work
All systems are necessarily finite and therefore flawed to that degree.
Mind, if properly cultivated, can intuit the Infinite and realize It eventually.
@@manuelfrn still writing, not dead
@@thenowchurch6419 humans can recognize a loop and intuit that it has no end, but we cannot grasp an uncountable infinity.
I first heard this presentation as a podcast and was impressed at what a good communicator Mark Colyvan is, and what an interesting talk he gave here. I still think it's one of the best offerings on Godel out there.
The alarming way to clear a crowded room is to yell “Fire!!” However, the safest way to clear such a room is to tell the crowd that you are going to talk about complex problems in math. You will soon be enjoying the empty space.
*Tips fedora
or was that enjoying the empty "set"
Or bring a baby to a lecture
I would not leave the room based on someone's claim alone. I would wait until the proof, e.g. smoke.
@@artoffugue333 smoke on its own isn't a rigorous proof, it's just a hint you can build a conjecture on.
I am amazed that people are still talking about the mind/machine issue. The resolution is simple. An analogy goes like this: Ask this question: "In general, is it possible to trisect an angle?" The knee-jerk mathematical response is: "Of course not! Everybody knows that!" But the better response is: "Of course you can! Just not with a compass and straightedge." The mind/machine issue similarly hinges on the technical definition of the word "algorithm": a finite set of instructions that is guaranteed to produce a correct result in a finite time. Human minds are not an algorithm. Neither do they need to be anything more than a computer to do what they do. A human mind is a gigantic (but finite) non-terminating (except by death) Monte Carlo process, some parts of which run in a deductive (mathematical) mode. It has been possible to build something mind-like for decades now. The trick is to recognize what a mind is by recognizing what it accomplishes, and then noting how it does it. It's like evolution: once you see the trick, there is nothing hard about it. What turns out to be hard is encompassing all of the consequences of the little trick.
The best trick I learned in this life was how to tell shit from shinola. :D
My father know how to trisec the angle but you need a different tool for it.
Nice. I like what you say sir, and I appreciate you saying it.
+Steven Abell
Well, it is possible to trisect an angle using origami. There are some problems that are impossible by ANY finite construction, like, for instance, squaring the circle. So this means the mind/machine issue is solved? Um, ok. So how did you reach the conclusion that the mind is a giant Monte Carlo process? What exactly do you mean by a Monte Carlo process? The Monte Carlo process refers to the generation of random numbers in a computer to solve some problem. So, if the mind is a Monte Carlo simulation, does that mean the human mind is a computer generating random numbers or...
I'm not clear what your point is.
Agreed. I think this opinion is similar to that of AI pioneer Marvin Minsky.
@Dent Niggemeyer: "Uncertainty" is an enormous threat to the established system and those who control it and benefit from it. If the public were to become uncertain, then they would become less vested, and perhaps turn to alternatives, or turn to themselves, or perhaps turn to direct relationship with the spiritual. All of these trajectories disintermediate the current power structure. Hence, Goedel's findings are extremely dangerous to the status quo.
You are right about that....We cannot prove any property of any system inside the system itself. But Godel proved the INconsistency of arithmetic outside of its system
Starts out as a bit of a dry treatment for those not intellectually inclined. But for those who can hang in for a few minutes there's a lot to enjoy, and even a few good laughs.
We need more solicitation to improve college learning facilities and expand our horizons into the next generation of well wishers.
paradox lies at the heart of reality.
A power set has a property {a,b} = {b,a}
but, where {a,b} *= {b,a} the set is defined by a linear algorithm
@Pooja Deshpande: What a fabulous question!
What's preposterous is that children are taught these tools without being told of their limitations, especially when compared to the human mind or the real world. But I guess if you want to create an elite supersystem you must convince all of the people within that system that science is a god that its subjects must religiously follow. And when science takes over, humanity is marginalized, as numbers, charts & algorthms drive all decision making.
because it's a good approximation that works in enough cases to be useful. that's the answer for all theories - we'll probably never find a perfectly consistent system that perfectly describes the real world, partly because of the limits of language, our brains, logic, etc.
@prof5string: The sentence "this sentence has five words" is NOT self-referential. It refers to a numbering system that defines the number of words in the sentence, and that numbering system is outside the language of the sentence.
@Pooja Deshpande Set theory is not inconsistent.
In order for a system to be inconsistent, it must be the case that both a formula of the system and that very formula's negation can be proven within the system (I.E. you can prove some formula P and you can also prove NOT P).
Set theory is a consistent system. It is impossible to prove both a formula of set theory and that very formula's negation within set theory.
Godel's incompleteness theorem does not demonstrate that set theory is inconsistent (this cannot be demonstrated, because set theory is consistent). Godel proved that set theory is incomplete. A system is incomplete if there is some formula of the system which is true, but cannot be proven within the system. Godel's theorem demonstrates that there is at least one formula of set theory which is true, but cannot be proven according to the deductive rules of set theory (it follows that there are actually infinitely many formulae of set theory which cannot be proven).
Now, to answer your question: you asked why set theory is still taught in schools even though it is inconsistent. If set theory were inconsistent, it would hardly make sense to teach it at all. For example, if basic arithmetic were inconsistent (it is, in fact, not), then we would be able to prove both that 1 + 1 = 2 and that 1 + 1 =/= 2. In an inconsistent system, you can prove anything, no matter how crazy-sounding! So teaching it would be a breeze because every formula you demonstrate can be proven. The only downside would be that you could come in the next day and teach the exact opposite of what you had taught the previous day without breaking the rules of the system. That is why it is important to teach consistent systems.
However, there is a much more interesting question of why it is that we still teach incomplete systems (like set theory). I find this question much more open to discussion, as there are many different arguments in favor of teaching incomplete systems. One point to be made is that systems which are both complete and consistent are often not considered "interesting" as fields of study. For example, first order predicate logic is a system which is both consistent and complete, but the complexity of provable statements within first order logic comes nowhere near the complexity of some of the results provable within set theory.
Another argument one could make in favor of teaching incomplete systems is to appeal to the results provable within the system themselves. Much of our discoveries in mathematics rest on set theory as a foundation for demonstrating our results, and giving up set theory might also mean giving up on those discoveries.
Again, my answer to this second question is much more speculative than the first, but I hope I was able to clear up the confusion about the consistency of set theory and explain why we still teach set theory in schools even after the discovery of Godel's incompleteness theorem.
Everyone holds all truths of life in their heart, me and many others have found all truths needed. I feel blessed. God bless you all on earth!
Consistency allows some things to be true and others false. Inconsistency makes everything and its opposite true. You really have to expect the answer to the consistency question to be “yes”.
In an inconsistent world, you can answer the Consistency Question and any other question “yes”. In a consistent world, “yes” is the obvious answer to the Consistency Question.
So that’s two choices. One is “yes” and the other is “yes”. Gödel"s Proof showed the answer to the Consistency Question was “no”.
The movement, pacing back and forth, induces nausea.
It's not set theory, but Arithmetic that Godel examined, and he showed not that it is inconsistent, but that it is consistent only if incomplete.
He paces back and forth with a rhythmic tempo. The acoustics change in this distance. It sounds like he's being recorded with a slight flanger.
this is kicking ass and taking names. thanks for posting this video and the great link info like Goedell's ontological. Greatly and gratefully appreciated. life is good.
I am a man. Self-referential, but not "stupid and fake". The problem with those self-referential paradoxes is that the object of those sentences are not complete enough to ascribe "truth" or "falseness" to. "This sentence" is neither true nor false, by itself. It does not assert or deny anything. Same thing for "time", or "space", or "apple", or "man", or anything like that.
"A word is the skin of a living idea". We are talking about mathematical certainty here, not human certainty. The importance of the proof is not that when you measure the length of a building's shadow and its angle with the ground that you should distrust the height you calculate. The importance is that a software developer who is writing a software program that determines the correctness of other software programs can give up the impossible and create a video game instead.
I'm tempted to say that "this sentence has five words" is a true self referential statement but i dont really know.
I'm not an expert in any sense. But from the description i have seen here. Incompleteness is an observation if anything. It doesn't need to have a mathematical framework justifying it.
(con't).....I realized that there were as many branches of math as there are types of literature & in fact maths is literature of numbers, relationships, etc. So the equivalence is that maths & literature begin as one, then diverge developing into their recognizable forms based on how people decide to develop their characters.
You must get ahead of inconsistencies and find involvement with true conjecture a future which satisfies a dream yet unattainable in present circumstances of inner desertion.
I mentioned it because the lecturer mentioned some of Godel's personal beliefs.
The reason why not many good books are written is that people that know stuff don't know how to write.
It's only inconsistent if you're too loose with your definition of "set". That problem was eventually solved.
The concept of cardinality (or "size"- two sets are the same size if their elements can be put in 1-1 correspondence) is, for finite sets, the underlying concept that the "counting numbers" 1,2,3... are based on, so sets are indispensable in math.
No we are NOT, and Godel helps to show this. John von Neumann took Godel Numbering and used it to help create binary numbering systems, which can be "gamed" to create a Complete Formal System where there is none, via a computer controlled virtual "reality".
@QuantumBunk: To be more specific, the "problem" is that the public does not understand the limits of Mathmetics. Further, I believe that these limits are deliberately hidden from the general population, so that science can be sold to the masses as its new god.
"For something to be either true of false it cannot be self referential, it must refer to something outside itself."
Really? "This sentence has five words" is self-referential and true.
ZFC set theory is not inconsistent, but the standard set theory at the time was. Modern mathematicians use a set of axioms to avoid paradoxes.
@Bloke Poppy: My point in the earlier post is to illustrate that a system where the public believes in God-over-men creates more freedom for the people living in that system. When God is disbelieved, men can fill that role and exert godly powers over the public, resulting in massive suppression.
Very interesting and worthwhile video.
What is the highest level of math that you have used in your everyday lives? Me? In the days before supermarkets listed the price/volume, I would do a simple ratio to determine if the economy size was really a better deal than the other. I weigh stuff to make sure that I am not being cheated, too.
I'm not quite sure why I shared this...
I once when working in retail used the integration of a disc to prove the length of a coil of wire was accurate...now I don't work retail anymore...
I do that same thing for best pricing at the market! I'm glad I'm not alone on that
Hi- who is the speaker here? I'm sorry if it is mentioned somewhere, I just couldn't see it myself... Thanks for putting it up.
oh Mark, still waiting for Godel.
The moment he placed Darwin in the ranks of the greatest thinkers, I knew this guy doesn't have any idea about what Darwin REALLY BELIEVED AND WHAT HE PROVED.
Evolution is not proof rather it is most likely for one who doesn't find religion rational or is not willing to believe in it. intelligent design Idk but can also be a possible explanation as long as it is self-consistent and gives a possible explanation to our observations....similarly, evolution is also a possible explanation and is based on an underlying belief in naturalism which according to some philosophers like Alvin Plantinga argued that evolution is not consistent with naturalism. moreover, Darwin was not the first to propose an evolutionary story and natural selection many medieval scholars did before him like al Jahiz.
Very good Global!! Very good.
I suggest readers look into Godel's Ontological proof on why God exists. Ultimate, it is what keeps humanity free... free from other men who purport to be gods. It's a beautiful system, but the public is not supposed to understand this, because it would render those seeking "godship" powerless in everyones eyes.
Set theory has not been shown to be inconsistent. It is taught because it is useful.
Very good general explanation of Godel incompleteness theorem and it's implication;
I hoped it was longer :(
Please do not forget, that people like Einsten and Gödel lived in times, when being an atheist was not an option. If anyone would have taken the position of an atheist, he wouldn't have the chance to study or the chance for a job. At this time, churches have been overcrowded on sundays. If you're not there taking part in praying silly crap, you'd have a very good excuse or become an unadapted outlaw. Like in the bible belt today.
The labyrinth finally destroyed Goedel as it did Newton, Weierstrass, Cantor, Frege, Ramanujan, von Neumann et al. They used bad infinities & not the transfinite fractions of Non-Cantorian set theory. I painted a large triptych called The Madness of Mathematics.
I'm not sure what you mean. Completeness has to do more with formulas in a system which are also theorems in that system. So a system is considered incomplete if there is a formula in a system that cannot be proven. I haven't taken enough number theory, though I would imagine it wouldn't be trivial to attempt to prove this rigorously enough for mathematicians. If there is something I'm missing, I would like to know.
Jim Overbeck
[A]: The Copenhagen Interpretation implies that stasis aka equilibrium [reached after a while] results in the cat being simultaneously alive & dead [B]: an observer sees the cat as either alive or dead > this poses the question when exactly SUPERIMPOSITION - quantum superposing - ends & "reality" resolves into one possibility or other > I suggest 'resolution' rests in 2 impossibles > Einstein said to Svhroedinger that unstable gunpowder superposes both exploded & unexploded states [B]a: mathematically, this involves linear solutions for Schroedinger's equation + the EPR Paradox considerations of "reality" - hence, I responded [cont].
I responded by having transfinite fractions negate tertium non datur & equated it with the Fourier-Bolzano [= Grandi] series 1 - 1 + 1 - 1 + ..... [D]: Physicists and mathematical theorists cannot go beyond this impasse, without the codes into deific realms. Cantor's Paradise is a redoubt of hell - hence, Cantor's madness - an insane substitute for Paradise Accessed. The CAT state of quantum physics negates [divine] identity & tertium exclusi> mortal life = immortal death & the tertium is IMMORTAL LIFE. s madness - an insane substitute for Paradise Accessed.
I think SUPERPOSING is really the superimposition of mortality on to immortality = 2 diametrically opposed conditions with 1 APPEARANCE in time, giving rise to an invalid conjunction [= alive & dead at the same time], this simultaneity having a reversal point I named aleph- p / q [= the 1st transfinite cardinal fraction], which destabilizes death [= mortality] & flips it into immortality. The infinities of death are Cantor's aleph-null & 2 to the aleph-null, whereas the infinity I found is immortal - hence, I negated Schroedinger's equations & probabilistic mechanics by taking this cat into the Ineffable, Immaculate and Infinite beyond, owned by God Almighty.
To say "biggest problems w/ math, science & computer tech...." is erroneous because that's like saying, "....the biggest problem w/ literature is....." No. There's no problem w/ literature or maths. The 'problem' isn't a 'problem.' People have a tool, they just don't know what they want to apply it to. That's 'the problem.' They want it to answer a question, they just don't know they don't have a question.
The speaker makes an error by saying "set theory was shown to be inconsistent". What he means to say that the Naive Set Theory of Cantor where sets could be described without types or classes or additional axioms restricting what defines a set. In this case, he is evoking Russell's paradox, namely "is the set R which is the set of all sets which are not members of themselves contained in itself?"
We must write rules for god to follow,,im not kidding, it will cure all illnesses and it will cure god and when we have written all the rules for god god can finnaly become pure good and can heal us and we all can live a perfect life etc. Thats all we need to do. Thx me on a later time in the universe.
@QuantumBunk: One could say paradoxes are "stupid & fake" if they are KNOWN and ACKNOWLEDGED. One of the biggest problems with mathemetatics, science and computer technology is that they are being sold to the public as techniques and systems that are infallable. The general population does not understand the weaknesses and faults inherent in these system, and therefore they place them on a pedastal that is undeserved.
I have 1 question. If Godel proved that we cannot guarantee that the mathematical axiom's are consistent, doesn't that ironically undermine his own proof? He used a framework to prove that there is no framework wich is fale safe, or at least we can't determine it.
@Nukutawiti: And that makes arithmetic INCOMPLETE. Exactly what Goedel had said.
It was not Russell, but Cantor that showed that *naive* set theory was inconsistent. The axiomatic set theory that mathematics is based on is *consistent*
4:22 "Doctoral dissertation: completeness of first order logic"
The set theory everyone is talking about here is *equivalent* to fist order logic. Which Godel proved was COMPLETE. Not incomplete, not inconsistent; Consistent and Complete.
@Nukutawiti:Right, one has to rely upon an EXTERNAL system to prove consistence of the target system. That's incompleteness. If the mathematical system were complete, then it would be able to prove it's own consistency. But it can't.
What about when Nature seems to conform to mathematical laws? I am not advocating a sort of Platonic mathematical ideality, but I still believe that mathematics is something objective and independent of the human mind. I am not altogether sure I understand my current conception of what mathematics -is-.
What brought me here was a Bach's ricercar. Is it because Bach was actually the world's most incredible mind?
For incompleteness theorem...isnt there just one true infinite set that all other 'infinite sets' are contained in. the totality of all infinite sets is true infinity.and also,the only set. That is to say, when sets are made, it is us that are breaking up the true infinity into these categories, when really, there are no sets or categories,real numbers, irrational numbers, all the numbers exist in their infinite ways coincidingly.and that existence of every possible number,is the only true set.
Why did Bertrand Russell need advanced set theory for his part of this? That's just an internally inconsistent definition of a set; you could do the same thing with a variable in beginning algebra:
let a = a+1
If a is 1, then a must be 2. If it's 2, then it must be 3. Etc. This variable is just as self-contradictory as Russell's set.
I always thought of the Russel paradox as an oscillating paradox.
Just waiting for the door to open. Counting is involuntary and leads to confusion in a formal sense of course.
Def 1 is an arbitrary biconditional which relies on undefined terms like 'positive'. Def 3 concerning necessary existence replies on these ontological terms (essence) that are not well-defined and furthermore this word 'exemplified', which isn't well-defined. It seems to be one big 'begging the question' fallacy, wherein we invent some terms, use those terms to enforce our system, and then say, 'look at that, I've proved it.'
The part where he jokes that philosophers have been somewhat silly in asking questions like in the liar paradox for millenia, the same reasoning can apply to the question whether we are not computers!
good discussion. thanks.
This guy is a very gifted lecturer. What is the setting of his presentation? Thanks.
Point of clarification. When I was 22 I had my first profound realization about mathematics. Up to that point I had continuously struggled to find the relationship between maths & literature. Is there a difference? Which is most fundamental, etc. Well I discovered that the field of mathematics is = to literature: some fiction, some non-fiction, but just hadn't been labeled as such.
Like the corporations, microsoft programmers and rock and roll stars....not to mention many of our parents, and world leaders. sad to say.
Incredible videos. Who is the speaker?
Precisely, that was Russell's conclusion, your reasoning, is a shallow view of Russell paradox, indeed, if you read the first conclusions on that, you would notice that Russell refer that paradox to explain why a set may not be self referential. Off course, if you are very rigorous, you would notice that this is not a paradox a posteriori since ZF system exclude this kind of rare sets thanks to Russell's ideas. If you talk about language, you need to set a framework.
................................................shared again................................!!!
Meh. What happens if we allow 'logical' statements (the Russel Paradox) in set theory to violate the law of non-contradiction? Set theory becomes inconsistent.
What a surprising result.
I still think such (self-contradictory) statements should be held to be undefined (much like dividing by zero), unable to take a truth value because in a very real sense they are neither true nor false, but meaningless.
So much for 2,000 years of controversy.
Wrong. It refers to, splinters off into several ideas- sentences, words, numbers, etc. If you think that is the same as "The apple is false." You just don't get it, sorry. Very different. Thank you very much for proving my point. Next? QED.
i have a question that if set theory is inconsistent, then why are children still taught that at school?
@dekippiesip: I too, am struggling with this same question. If anyone has anything to add here, I'd appreciate.
@MagisterPridgen: yes, the "anchors" are outside the mathematical system
the mind which rules the dream is not within the dream, the brain waves are not part of that system. Holographic 3d universe is ruled from 2d reality.
Very interesting !
Thanks
My friend your belief in paradoxes is like believing Fred Flintstone is a real guy. Keep living in that little fiction cocoon. It's fun to make believe. You must be a heavy video gamer, as well.
does "truth" exist outside of the human experience, or, does the fact that human consciousness is capable of defining "truth" isolate man made logical functionality from so called natural systems and turn it in to a tautology?
WHO is the speaker,please?
That is of course the question which haunted him , near the end of his life . I simply find it hard to believe the great Kurt Godel actually believed in the Judeo/Christian personal god . I would side with those who say he believed in Spinozas god , which I do . Honest people can disagree on which one he believed in , no ?
That's because the word "God" is ambiguous, you have to define it first.
What can I say but be smart and suave.
@HebaruSan If you start out with pure logic you cannot do things like a=a+1. Pure logic doesn't admit the concept of infinite procedural truths.
This goes back to something called the paradox of analysis. Either it is true or it tells you something useful, not both.
a is a
a is a+1
then a+1 is a
If a is 1 then a+1 is 1
Unless you want to claim that 1=2 you cannot hold the proposition a+1=2. This is prohibited by the law of the excluded middle.
I doubt the correctness of the subtitles
Excellent talk, but the most amazing bit was he restless baby crying to ask a question. 😂😂😂 For crying out loud, who would take an infant to a lecture like this?!?! People have no common sense.
I am looking at the proof and am baffled into silence. I will continue scrutinizing it. My poor logical abilities pale in comparison. I won't stop looking at this, though. I will let you know my findings.
read "godel, escher, bach - an eternal golden braid" - you might enjoy it
Great talk but the constant pauses and lip smacking were incredibly annoying.
Godel's "Theorem"
Godel's "Theorem" is a complete farce and absolutely trivial.
Godel assigns a unique number to all the symbols in real numbers via the Fundamental Theorem of Algebra: e.g., the syntactical symbols "+", "-", "x" (multiplication) as well as the actual numbers and powers (e.g. 3^2).
By his criteria, a "proof" consists of a tautology on each side of the equal sign.
At first, one might think the statement "3 + 4 = 7" is a "proof", since it can be reduced to a sum of units on either side.
But that would be a contradiction, according to Godel, because "3 + 4" has a different Godel Number than "7". So the only "proofs" for Godel are G(wff) = G(wff); any other statement is a contradiction by Godel Number. NOte that this characterization is not restricted to Wwff's: the equality is also true for gibberish n the metalanguage.
By that criterion, all systems comprised of symbols (wffs or not) can be proved as true or false, but not both. Even gibberish is true, provided their Godel numbers match.
And who decides that the Godel Numbers are equal? I do, since you are probably a figment of my imagination... :) TRUST me :)
I call it a giant twittering machine built on nothing,
see my pdfs on physicsdiscussionforum dot org
Remember, you read it here first... :)
Of course not. You can't prove/disprove a negative. Why should something that doesn't exist (like the hundredthousands gods of the humans) be part of a scrutiny in the first place?
delightful!
Established system of what, mathematics? I know of the uncertainties in mathematics and yet I am not unreasonably any more or less vested in the 'system'. This is silly to think that a purely logical-mathematical theorem likes Godel's has any severe implications for the way society orients itself. Anarcho-communism is my favored political system, but Godel had nothing to do with my decision and certainly has nothing to do with anyone else I know. Am I being irrational? Yes, no?
@NewInfinityRecursion Clearly, Godel showed we're not.
Is mathematics merely the natural language of physics, or is it also indispensable at the core of its conceptual development, as well? In other words, is the conceptual foundation of physics ultimately mathematical in nature?
um no - this is exactly wrong. Godel's incompleteness theorem is completely orthogonal to logic. Appealing to Godel only shows you have not yet understood Aristotle.