The best part of Gödel incompleteness theorem is not really the consequences, but the proof itself. He created the very system using natural numbers and arithmetic operations. He made the system talk about itself and constructed the sentence. It's a "proof" of how we should explore self references much more deeply. And mathematicians tried to avoid it as much as possible due to obvious reasons if you're in the field.
The look on Joe's face is priceless, good on him! I recognize it because it was the same look on my face listening to WVO Quine trying to explain the same thing in a talk I attended in 1993.
In other words: Start with a set of operations and rules for applying them (such as arithmetic). Godel showed, (1) it is possible to combine the operations according to the rules in ways that cannot be satisfyingly explained by the existing operations & rules. However, (2) To explain those inexplicable things, you will simply, cleverly, invent at least one new operation/rule. Invent an "innovation" and voila, (3) Thanks to the new operation/rule, you can now explain everything that "cannot be satisfactorily explained" (from step 1). However, （4）As it happens, while the addition of the new rule (step 2) did indeed successfully achieve our aim (step 3), there are now ALSO some fresh things that are possible (thanks to the new operations/rule in step 2) and SOME of those fresh things cannot be satisfactorily explained (seems like be are back at step 1, but these new things are fresh; they were impossible without the new rule that was invented in step 2). Go to step 5 to see how to deal with these "fresh things". (5) To deal with these fresh things, we just need to "repeat" step 2 but with a fresh innovation. Our clever, fresh innovation will succeed to get us to step 3 ( all the fresh things will now be satisfactorily explained), but it will also lead us to a fresh case of step 4. This sounds like an endless loop, but it's more like a tower that is built higher and higher. Sometimes, people say that Godel's theorem "breaks" mathematics. Quite the opposite. Without Godel's theorem, Math would eventually die -- at step3! But, as Godel has shown, every time we succeed in solving every (or, generally, almost any) existing set of math puzzles, we will also create a fresh set puzzles never before seen (step 4) to which we can turn our attention. Mathematics has no end. Godel proved that mathematics is infinite; it will never end. Math will only be increasingly interesting. It appears that we have every reason to believe the same might be true of Physics, too: There will never be an ultimate "theory of everything" in Physics just as there will never be a "complete" mathematics. Every time we create a new theory of Physics, we can use it to create new ways to look at Physical reality (new kinds of telescopes for example, eg LIGO) and we'll use the new tools to discover new things that will themselves need to be explained. Math and Science are both unending projects that will keep us and our descendents endlessly engaged. There is likely every reason to suppose that this might also be true of every other interesting human endeavour. For example, Justice: We strive to create a perfect system of justice; but while we might be able to bring justice to every existing problem, as we create new rules and laws and procedures to address existing injustices, we create new situations in which fresh injustices may arise; fresh injustices which we'll be able to address with new proceedings and laws. People may be able to continuously improve our situation because we can always find a way to solve any significant problem in Math, Science, the Law, etc, etc, but in doing so we will not come to a "final" answer because each improvement we make will bring to our attention new issues to which our attention will be drawn and which we'll strive to improve. Godel's theorem is a profound insight into mathematics but perhaps also into every other interesting facet of our universe and ourselves.
A negating self-referencing proposition is incomplete or contradictory since the logical outcome implied in the proposition either confirms the fact that the proposition can't be proven or contradicts the intent of the proposition.
This classic JRE is the way the world should be. Less celebrities, more diverse conversations, less trendy bullshit. But I understand… things change as you grow. Old JRE> new JRE
It would be better to give an example, like the Barber paradox which says a barber will only shave the people who don't shave themselves, then the question is: will the barber shave himself? And you cannot say True or False to (i.e., cannot prove) the statement "Yes, the barber will shave himself".
I think Penrose is generally a bright interesting guy but this explanation is not helpful. I seem to know less of Godel's theorem than when he started.
He gave as good of an explanation as he could give in 3 minutes without grossly oversimplifying it or “soundbiting” it the way Niel Degrasse Tyson often does with topics. If you want to understand it, Veritasium has a great video explaining it visually with note cards. It’s also very easy to follow.
Agree. I know less now than I did before. As far as I understood (before Penrose), was that Gödel said that: an axiomatic system will contain theorems that cannot be proved one way or the other. It could be that Goldbach's conjecture is one of those "gaps"? Or Fermat's theorem? Anyway, that seems to me not too surprising. After all, in chess not all games result in win or loss. We can have a stalemate. This, I think, is the counterpart of the "gap".
I think that, this incompleteness theory is fundamental to understanding a little bit more about the way in which Humans make discoveries on things that we cannot see. Basically the magic of turning mathematical abstraction to real life applications. Also explains well how there is so much that we don’t know yet, in our journey to have more control over earth and the universe.
As with all formal proofs, this is not about how humans do things, or even about how this universe does things. Formal proofs, if correct, are correct in any universe and no universe.
No, you obviously don't understand it at all. Firstly a statement in a logical system can be true and provable and still unkown. A statement having no proof in the system doesn't mean you can't know it. And science is not just mathematics. You don't know something about the real world, because you are simply lacking information about the real world and you need to go out and collect it. That has absolutely nothing to do with Incompleteness.
I am no fan of Joe Rogan, but I might have to check this interview out. Penrose seems like precisely the lovely and intelligent person I’d imagined him to be from his mathematical discoveries!! He’s too often overlooked in my opinion
Mathematics is concerned with the truth value of statements given the axioms without necessarily caring if the axioms themselves are true. You can easily pick a different set of axioms and see what else you come up with. Religious people believe it is true with their whole being and believe other religions are false.
And he hinted the worst was that John van Neumann, who had an office next door to him, played big band music very loudly to help him concentrate. Nice human insights, eh?
@@carloscoll5249 Eh? I just thought it was interesting Einstein said it annoyed him to have John van Neumann playing martial band music in the next office. OK, he didn't say it was the worst, I put that in to make it a bit more fun. I don't know what inspired your waspish reply, but there I'm happy to leave it.
I feel like he gave up half way through when he realized he wasn't talking to a room full of PhD students, he was talking to the guy who hosted fear factor on the podcast where he regularly features his flat Earther BJJ coach 😂
Godel's theorem might have a 2D planar instantaneous resolution: comment on a puzzle where you place a piece of paper with two riders on other pieces of paper with two donkeys: wow! I saw a video where a piece of paper was printed with godel's incompleteness theorem, one side of the paper said this is true, the other side said this is !true. it reminds me of the upside down/right side up riders, but if you put them in the right 2D way, they fit, that suggests all kinds of things. if both the donkeys face the same direction it doesn’t work, but if they are like the chemical equilibrium opposite directions double arrow the opposite riders then fit, that suggets that if you can do something at 90 degrees to each other, with reflective symmetry godel’s theorem is instantly resolved, just by putting it in a 2D math space, my previous solution utilized individual element sequential reading of A=!A, mathematicians might like an instantaneous 2D solution by embedding a godel theorem statement in a plane for an instantaneous no-step, noncomputed, timeless solution. If it happens to work that just by putting any undecideable math on a bidirectional 2D plane it becomes consistent, much more math might have whatever order might mean to mathematicians. the orientable donkeys and riders puzzle is at youtube ua-cam.com/users/shortsNmJ1ATJeIbM
@@jengleheimerschmitt7941 To be fair, a mathematician on DMT would be very interesting. Since the geometry that you see seem to be related to the internal structure of the brain as perceived by your consciousness.
Joe Rogan talks to Roger Penrose, what the hellll is going on? Can Joe Rogan understand 1% of what Penrose talking about? It is like Denis Rodman having a conversation with Einstein.
I'll never forget the first time I met this brilliant man. I was an undergrad at Oxford and all I had with me was a mathematics textbook and green pen. I asked him to sign it and he happily obliged. I still open it almost weekly to see the short, wonderful message inside. It said "All the best, Joe Rogan".
Rogan is a meathead but he’s fairly close to average intellect, he can recognize when he cannot say anything contributory. It’s not evident with normal guests but Penrose is a genius on Einstein’s level and beyond. Rogan felt it.
No one interrupts when they don't know what a person is talking about, but one who is extremely well versed in a subject will also not interrupt, as they do not need to. We know which side joe is on with regards to maths, but at least he's not like other know it all hosts.
"I've briefly met this man. I had him sign my pre-algebra textbook. Then I completed my undergrad in Math. That textbook sits proudly on my shelf" You have a degree in math...and you are clueless that Penrose made a fool of himself in this video.
You can mock Joe for not knowing every thing that every guest is really good at. Yet he gives them the space, and gives us the opportunity to see these kind of things.
Your comment made me realize that a lot of people here are slinging hate at Joe because they too have no fucking clue what Penrose is talking about. Makes them feel better, I'm sure. Anyway, great observation!
@@robertwalkley4665 (rather than just conducting them) If Joe actually learned from these interviews as to how they are applicable to daily thought and argument formulation, specifically in the realm of the scientific mathematical reasoning, he would have never start availing himself as some specialized microbiologist epidemiologist virologist….
The LOGICAL structure of Godel's proof is simple. He tweaks "This statement is false" to make this: "This statement is unprovable." There are two possible truth-values for this: If the statement is true, then you have a true statement that is unprovable. If the statement is false, then the statement is provable, which means you have proof of a false statement. So any (sufficiently complex) mathematical-logical system is either incomplete (with statements you know to be true but can't prove) or self-contradictory (with false statements you can prove), or both.
So is the philosophic implication that: a "system", may never be able to completly assess it's self, or to word it differently, one can never completely assess a system from within the system? A system being anything from a system of formal logic to a universe.
@@DavidKolbSantosh Yea I think so too. Specifically, the system can't completely assess itself the way it wants to using its own rules. Kind of like the human brain trying to understand itself using the knowledge understood by the human brain.
@@edwardjones2202 Absolutely right. I understand WHAT Godel did to implement his proof, but I don't yet understand HOW he worked it through. In particular, I've wondered whether he proves merely that some self-referential statements (such as the one I stated above; not original with me) entail this uncertainty--falsity vs. incompleteness--or whether his method of proof somehow gets around this limitation so that the proof potentially applies to any meaningful statement that can be asked within the system. Surely though the latter cannot be the case, or Godel's proof would not be the big deal that it is.
I remember going through the proof in my logic class. We spent 2 full long lectures establishing the coding system and learning how it works. Then, in like 15 minutes, the professor writes the code that translates to "This statement cannot be proved." And proves that the fact this statement can be encoded in a system (and very simple systems can encode it) means that the system cannot be complete.
@@ihsahnakerfeldt9280 I think the 200 level course on logic did that. I took the 400 level and we did all the details. Not really sure I got any benefit out of those details though. I'm kind of with you.
@@ihsahnakerfeldt9280 no because you have to use the same symbology as the system you are trying to demonstrate is incomplete. It must be done on its own terms to stand mathematical scrutiny, although a conceptual explanation of the proof is then possible. Its a matter of rigour.
Unless the referee is convinced by the set of steps you take to be true you didn't tap. No one can prove the truthfulness of the set of axiomatic/self-referential intermediate steps using the formal declaration of tapping itself. I think what you're referring to is called the observer effect not the self-referential fiasco that Godel proved.
You might have confused Schrodinger's cat-in-a-box thought experiment with Godel's incompleteness theorem. "Is the cat required to be an observer, or does its existence in a single well-defined classical state require another external observer?"
Penrose: "Everything proceeds mathematically" Joe: "Wanna see a video of a one thousand pounds polar bear being killed by four Eskimo midgets using nothing but Inuit axes?"
I really get the impression that Penrose is doing his absolute best to explain the theorem to the lay-person (not just Rogan, but also the wider audience) and unfortunately, he completely lost me. I'm no pure mathematician by anyone's reckoning, but I have reasonable training in mathematics at a university level from studying physics and then from taking an interest in it beyond that. I still don't understand what he said. Penrose is a bit of a legend in the physics world, though. Honestly I didn't realise he was still alive to be able to give interviews at all.
I agree. You can't understand Goedel's theorem from Penrose's description. The problem with Goedel's theorem is that there's no simple easily stated example, unlike Fermat's theorem or Goldbach's conjecture, to simply show what the theorem is "about", let alone to show it's truth.
No, actually, it's quite simple. Mathematics is not and cannot ever be complete. Just let that soak in, and it doesn't matter what the proof itself consists of.
Especially for a lay person who's really interested in all that but will probably never have the time to really get into the nitty gritty of understanding the ins and outs of Principia and all the logic stuff.
Not shown here, but I loved how Rogan immediately jumped in with several razor-sharp rebuttals to Penrose’s thesis; especially with regard to the worrying epistemological implications of applying temporal elliptic curves to the integral space-time manifold projected in Hilbert space by the application of algebraic homotopy determinants.
I wouldn’t say that Penrose “just explained Gödel’s incompleteness theorem.” He described it, but did not explain it at all. Douglas Hoffstaedter explained it, but maybe not in a way that’s accessible to everyone, in his book “Gödel, Escher, Bach; an Eternal Golden Braid.” It hasn’t aged well, but if you forget that computer languages used to be much more basic it still makes sense. That one book will transform your knowledge and understanding of the world, sciences, arts, and everything else. G-Plot - one of Hoffstaedter’s illustrations - is like witnessing the code of the universe. It’s a book that’s impossible to sum up, but which genuinely tries to make the most complex things simple enough to understand and appreciate.
I agree about that book. Superb and raised my understanding of life and intelligence to a whole new level. Douglas wrote a book about just Goedel that was not so good. After that I tried to find a good book about the theorem and failed. So then I tried to find a good book about the logic behind the theorem and failed. It turned out that at that time no-one had yet formally proven Goedel's theorem, and the logic books were filled with BS handwaving. This whole area of math caused me to take my career in the direction of computers instead of functional analysis, much as Penrose is talking about here. Sure did me a great favor in the long run.
When I remember, it is interesting to me how many of my intellectual interests find their first spark in Godel, Escher, Bach, which I read in 8th grade.
The simplest ("word") explanation is: whatever system of (mathematical) rules you adopt, there will always be statements that can be constructed in accordance with those rules...and yet be unprovable BY those rules.
@@stevekru6518 Feynman wasnt on Godels' or Einsteins level. He was a genius spefically on his field, a one trick pony. Philosophy was beyond him, a very smart brute he was.
Consider the sentence: "Roger Penrose does not believe this sentence is true." There are two cases: either Penrole believes it or he does not. Suppose he does, then it is false and Penrose believes a falsehood. Moreover, it is obvious even to Penrose that this is false, and in fact it is false BECAUSE he believes it, which is crazy. So suppose he doesn't believe it. Then it is true, and indeed OBVIOUSLY true, even to Penrose himself; yet he doesn't believe it. Of course, you can do this for anyone. We all have our own Penrose sentence. What Goedel showed was that you can even do it for arithmetic.
@@tomasmcelhoney4054 Sure, but now you are playing a different game (which has nothing to do with Gödel's theorem). My point was that you can take the same logic used by Gödel and apply it to Penrose himself (or anyone else). Penrose has written several long books arguing that it only applies to machines or formal systems, not to humans. Wrong. BTW, you don't escape the Gödel argument by introducing a third 'unknown' value, it just gets a bit more complicated. The question is "Penrose believes this sentence is neither true nor unknown".
Hmm... there is an underlying assumption here that a statement has to be, statically, either true or false. What if the statement doesnt have that dimension at all. It is like asking what color gravity is. It isnt relevant.
I think this man is one of the 5 most brilliant people in the world, his papers are deep and profound and his books are little masterpieces of prose and logic.
Great explaination but I think a key point that is not mentioned and that shows why this is mind blowing, is that this can be applied to all knowledge and not only maths, and that nothing can be proved to be true unless you have a set of base “rules” that you believe in , so theres a impossibility for 100% “real” or “checked”knowledge by definition. Similar to Munchausens trilem.
2:43 and further: this goes deeper than the average explanation of Godel's theorem: " You see this statement Godel comes up with, is something you can see on the basis of the same understanding that allows you to trust the rules, that it (the statement) is true. But it is not actually derivable by the rules. You see it's true by virtue of your believe in the rules"
Praise to gödel who saved us from the centuries spanning tyranny of mathematicians and logicians who espoused their indifferent, static and abstract proofs as a means to come to deeper knowledge which resulted in the complete disruption of human connectedness with our being en sui. It took a righteous logician, a truth-seeker in the deepest sense, to end their reign.
You can't use logic to defend logic. Wow. This is my new favourite quote. I've been frustratingly trying to explain this to people, and you just summed it up perfectly in 7 words. 👌
And I just realised. Defending logic with logic, is itself a self-reference paradox, that requires something outside of it (belief) this goes deeper than I realised.
@@acobster Title is missleading. Penrose is not really trying to explain Goedel's theorem here, he is kinda summarizing it to make it easier to understand why it changed his way of thinking.
“Is God willing to prevent evil, but not able? Then he is not omnipotent. Is he able, but not willing? Then he is malevolent. Is he both able and willing? Then whence cometh evil? Is he neither able nor willing? Then why call him God?” ― Epicurus
@@LOCATIONREDACTED Even the supposed text doesnt have that meaning. Epicurus was of the position that God/s dont interfere in earthly matters. That was the point of the riddle.
I think the Incompleteness Theorem supports the philosophical view of mathematics as something that is constructed. It is more natural and less paradoxical in that conception of mathematics. Since we build things as we go along basically, that is we add axioms to make sense of a new mathematical object or what-not. (And I think this view has been internalized in a way. For example, Fermat's last theorem seemingly required a new kind of machinery in order to prove it. And when confronted with something that is difficult to prove, the mathematician now is convinced that it requires a "new" kind of mathematics. It's also been said in related fields like theoretical physics. How often the physicist would remark that gravity and quantum mechanics require a "new" physics. ) It is only kind of paradoxical in the realist view of mathematics, where the mathematician is conceiving a grand "theory-of-everything" as they used to, from which derives all theorems, in the way of Euclid. That realist view of an absolute conception of mathematics is in some tension with incompleteness. I think Godel's genius thrived in that tension. I couldn't imagine him as anything but a realist.
Godel himself was a platonist, and believed his theorem supported that metaphysics. If Mathematics cannot be exhausted by merely constructing formal systems, then there is some sense in which Mathematics is "beyond" any human construction. Personally, I don't think the theorem really has any effect on metaphysics. You can make up explanations either way.
@@APaleDot The first claim in your first sentence I will not dispute. The second claim, of course, I find interesting whether Godel really thought that way I don't know. But it's plausible. The second sentence is either vague or a non-sequitur. And the third sentence is a hasty generalization.
@@helioliskfire5954 The implication is there: "either mathematics is too big for the human mind, or the human mind is more than a machine." and here: "Intuition is not proof; it is the opposite of proof. We do not analyze intuition to see a proof but by intuition we see something without a proof."
I've been studying Penrose' CCC for more years now, trying to disprove it and I literally can't. I've never come across an idea so bulletproof that I can't poke even a single hole in it. I genuinely think, despite my fear, that Penrose is correct
Weird. I've seen physicists poke holes in CCC all over the place. Not that they claimed to disprove it, but some of the implications of CCC do not seem to easily agree with our current models. That being said, I'm a fan of CCC and if it turns out to be correct it will be the most exciting new discovery in a very long time IMO
@@PetrCobra I'd very much like to know which physicists you're referring to, what they specifically said, and why you beleive that they're correct. Because I'm not entirely sure you've noticed this but every physicist will tell you that the laws of physics break down at a certain point and don't apply in the earliest stages of the universe. Meaning that they have literally zero business using physics to debunk anything outside of the purview of physics.
@@jaxwhyland I'm aware of that (terrible) idea. It would of course be dreadful if all the tragedies of the world played out again. Not to mention the awful thought of how many times I already typed this sentence. But there's no reason to think, and every reason to doubt, that anything would be the same twice? If the universe reemerged then the tiniest difference would change everything.
So basically Penrose is saying : Godel’s first incompleteness theorem doesn’t say that Mathematics is incomplete, it says that either Mathematics is inconsistent, or it is incomplete. In other words, if you believe the system of axioms is consistent, and it is just a believe since according to Godel’s 2nd incompleteness theorem it can’t derive from the axioms, then it is incomplete. Well, this is my understanding of what Penrose just said.
I suspect that the above is less your understanding of what Penrose said than of what he should have said. He didn't mention the word "inconsistent" even once, so I strongly suspect you got that from somewhere else.
@@alqpr Indeed, it's probably very difficult to understand Penrose's explanation if you yourself have not studied first order logic. I take "believing in the system" to mean "assuming the particular axioms you're working with are consistent". One proves that the Gödel sentence is independent of the axioms by assuming the axioms are consistent. Moreover, one proves that the Gödel sentence is true (in the standard model) by assuming the axioms are consistent.
''So it's exactly like my brain interprets words and concepts but my interpretation is wrong'' - How would you ever know? Noone does? Reason and imagnination isnt enough. The most baseless stuff ever - Yet its right?
@@IDMYM8 But that's just a reflection. How sure are you that your reflection accurately gives you a representation (not an image) of your very own eyes?
Roger Penrose is actually the first intellectual who got me started on this whole train of logic, incompleteness and halting problems. I was always interested in the study of logic, but by first listening to him talk about this matters is what deepened my curiosity. His books go into more detail and is a pure joy to read for logic/math/science nerds alike. I have immense respect for this man, just for the way he bridges the cutting edge of human thought with simplistic language, a feat not easy for mere mortals like us.
@@pavel672 His book Emperor's New Mind gets into a lot of things. Chapter 2 is almost a complete description of Turing's machine including one exercise for the reader lol.
Somewhere Godel is smiling because after all these decades people are still debating this and a lot of them are just as uncomfortable with it as his colleagues were when he first stated it.
All reasoning ultimately traces back to faith in something that you cannot prove. Faith and Reason are not enemies. One is absolutely necessary for the other to exist.
Penrose explains one aspect of Godel's findings, a consequence of his incompleteness theorem, which is that in any axiomatic system that is strong enouhg to only establish the propositions of simple arithmatic, there will aways be true statements in the system that are undecideable, cannot be decided as to whether they are true or false. The consequence is that if you have an algorithmic system based on such axiomatics, you can never know if won't be missing a needed true statement in the calculation because its truth cannot be decided. This is problematic for robotics. meaning you cannot leave the robotics to make it own decision without a human fail safe observer ready to manually correct it. Example: running a machine with life or death consequences using this kind of algorithm, it cannot be trusted not to fail at some unknowable point. The same with Penrose's example. Godel discovered that such axiomatic systems designed to be consistent cannot prove their own consistency using their axiomatic rules. Similarly, a robotic system running on an algorithmic system cannot be relied upon to never suffer a fatal inconsitency even though it is designed to be consistent because its consistency cannot be proved.
Read "Godel, Escher, Bach: an Eternal Golden Braid" by Douglas Hofstadter. First edition perhaps 1979. While it may further twist your mind and make you more hungry greater, he has several books to follow up!
I think my favorite video explaining Goedel's Incompleteness Theorem is Veritasium's, he does a great job walking a layman through it. If you're actually looking to kind of play around with how this is more formally proven, I really like Raymond Smullyan's book To Mock a Mockingbird which is presented as a long series of logic puzzles using birds that culminates in a proof of the Incompleteness theorem. Goedel, Escher, Bach is another classic book that covers how self-reference is used by all three of them in their various masterworks.
or you could just googlescholar "biological annhilation" - the common claim by mathematicians is that "it works" - well if it works so well then why are we accelerating to "biological annihilation"?
@@Bodyknock Oh so you've never read Stuart Hameroff's quantum biology work in collaboration with Roger Penrose? That's what Penrose calls "protoconsciousness" and as Penrose emphasizes "calculations are not consciousness." Of course if you need to practice self-censorship by creating your own fake boundaries of thinking, that's perfectly common to do. haha.
@@voidisyinyangvoidisyinyang885 Again, Godel's Incompleteness Theorem has nothing, at all, to do with biology. It's a theory about infinite sets of first order logical statements. Biology is an inherently finite system of cells. There's no intersection between the two. (It doesn't even have anything to do with quantum mechanics or the definitions of consciousness either frankly.)
@@Bodyknock So your youtube troll comment just debunked the Royal Society (formally The Royal Society of London for Improving Natural Knowledge formed in 1660, is a learned society and the United Kingdom's national academy of sciences) Science book of the year award in 2016 for the quantum biology book "Life On the Edge" by Professor JohnJoe McFadden and Jim al-khalili? Wow! Impressive.
Gödel's Incompleteness Theorem: A Mathematical Corollary of the Epistemological Münchhausen Trilemma Abstract: This treatise delves into the profound implications of Gödel's Incompleteness Theorem, interpreting it as a mathematical corollary of the philosophical Münchhausen Trilemma. It elucidates the inherent constraints of formal axiomatic systems and mirrors the deeper epistemological quandaries underscored by the Trilemma. --- In the annals of mathematical logic, Kurt Gödel's Incompleteness Theorem stands as a seminal testament to the inherent constraints of formal axiomatic systems. This theorem, which posits that within any sufficiently expressive formal system, there exist propositions that are true but unprovable, has profound implications that reverberate beyond the confines of mathematical logic, resonating in the realm of philosophy. Specifically, Gödel's theorem can be construed as a mathematical corollary of the Münchhausen Trilemma, a philosophical paradigm that underscores the dilemmas in substantiating any proposition. The Münchhausen Trilemma, named after the Baron Münchhausen who allegedly extricated himself from a swamp by his own hair, presents us with three ostensibly unsatisfactory options for substantiating a proposition. First, we may base the substantiation on accepted axioms or assumptions, which we take as true without further substantiation, a strategy known as foundationalism or axiomatic dogmatism. Second, we may base the substantiation on a circular argument in which the proposition substantiates itself, a method known as coherentism or circular reasoning. Finally, we may base the substantiation on an infinite regress of reasons, never arriving at a final point of substantiation, a path known as infinitism or infinite regress. Gödel's Incompleteness Theorem, in a sense, encapsulates this trilemma within the mathematical world. The theorem elucidates that there are true propositions within any sufficiently expressive formal system that we cannot prove within the system itself. This implies that we cannot find a final substantiation for these propositions within the system. We could accept them as axioms (foundationalism), but then they would remain unproven. We could attempt to substantiate them based on other propositions within the system (coherentism or infinitism), but Gödel's theorem demonstrates that this is unattainable. This confluence of mathematical logic and philosophy underscores the inherent limitations of our logical systems and our attempts to substantiate knowledge. Just as the Münchhausen Trilemma highlights the challenges in finding a satisfactory basis for any proposition, Gödel's Incompleteness Theorem illuminates the inherent incompleteness in our mathematical systems. Both reveal that there are boundaries to what we can prove or substantiate, no matter how powerful our logical or mathematical system may be. In conclusion, Gödel's Incompleteness Theorem serves as a stark reminder of the limitations of formal axiomatic systems, echoing the philosophical dilemmas presented by the Münchhausen Trilemma. It is a testament to the intricate interplay between mathematical logic and philosophy, and a humbling reminder of the limits of our quest for knowledge. As we continue to traverse the vast landscapes of mathematics and philosophy, we must remain cognizant of these inherent limitations, and perhaps find solace in the journey of exploration itself, rather than the elusive, final destination of absolute truth. GPT-4
no offense to mr. penrose but this explanation sucks. that's understandable though; doubt he had this written out in preparation lol, was just an anecdote off the top of his head
Penrose's explanation here is quite interesting. As a mathematician who has studied the proof of Gödel's incompleteness theorems, he does a good job explaining them _from the perspective of someone who already knows the subject well._ A lot of people misstate Gödel's incompleteness theorems or misunderstand them, and Penrose doesn't do that here. At the same time, the explanation seems like it would be quite hard to follow for someone not familiar with the subject. As you state though, he was probably going off the cuff, not having prepared remarks. I compare this with Neil deGrasse Tyson talking about the different sizes of infinity. Tyson actually makes several outright false claims in his explanation. One can, to some extent, excuse him since it's outside his area of expertise and he's speaking off the cuff without preparation. However, I think this says a lot to Penrose's credit. It may be hard to follow, but he doesn't make false statements in his explanation and he doesn't even perpetuate the same misconceptions that most people perpetuate about it.
Respectfully, he is correct but makes it more confusing for non-mathematicians. Here is the gist: There exist true propositions in mathematical systems, at least as complex as arithmetic, but which cannot be proven to be so. Now, one can create a new system by adding axioms and rules to create a path of proof of that previously inaccessible proof, but now, that newly created system will have certain true propositions which cannot be proven to so; and so, ad infinitum. How godel went about proving the above result will require advanced mathematical background, but this deep result is broadly comprehensible by non mathematicians also.
To me, it's analogous to Cantor's diagonal argument for transfinite ordinals; just with respect to mathematic systems as a whole, not just for an individual set of numbers. Essentially, no matter what system of rules you create and impose upon a system, you can always create an ad hoc exception that satisfies the conditions of that system, but doesn't satisfy one or more of the rules of that system.
@@xxFortunadoxx "analogous" might be a bit of a stretch, but you're right in that in follows a similar line of construction. btw: the Turing halting problem is analogous to the incompleteness theorem and both are answers to Hilbert's entscheidungsproblem
He makes it more confusing for everyone (and this wasn't the only instance of it). Penrose, for all his great work in multiple fields (geometry, astrophysics, etc.), is a terrible teacher. He's clearly very good at _understanding_ things, but terrible at explaining them.
@@RFC-3514 hey...think you need to cut the guy some slack,he's not a young man and when he was, there wasn't this need for complicated theorem to be distilled into two minute sound bites...not everyone needs their teacher to be media savvy.
@@user-fb9os7hy2y - He's always been kind of like this, though. Even when talking about his own work (which I'm sure he understands). I think he's just not very good with language.
I think you need a bit more time to explain this in a way that the layman (eg me) can understand. I remember seeing this explained with cards by I think veritasium, and it clicked with me in a way that this explanation didn't. Not Mr Penrose's fault, it's not just something you can explain in 3 minutes IMHO, at least not to someone who isn't a mathematician.
With something like this theorem, you want a good visual to make it understandable. Once you understand the visual, you understand Penrose's explanation
I’ve been slowly reading, comprehending, and trying to fully understand the entirety of this man’s Book “The Road to Reality: A Complete Guide to the Laws of the Universe” since I graduated High School. Fascinating stuff.
@@kensandale243 Just because his explanation left much to be desired, it doesn't make him a fool? The guy's resume speaks for itself. So fucking cringy when people, like yourself, feel the need to speak in such an inflammatory way
@@andrewmcpherson8441 "ust because his explanation left much to be desired, it doesn't make him a fool? " No, the fact that he says foolish things makes him a fool. "The guy's resume speaks for itself." You are impressed by things you should not be. If someone is an idiot but has an "impressive" resume, it does not mean he is not an idiot. It means resumes are not always accurate. Einstein's resume right after grad school was that he graduated in the lower half of his class, and was the only student who could not find a job. So, logically, you should have thought he was worthless. Are you willing to be logical? What matters is the quality of a person's thought, not his popularity among his peers.
@@kensandale243 Your logic is flawed in suggesting that I would dismiss Einstein as a fool based on his school attainment. By Penrose's resume I'm simply meaning his body of work; y'know, the things he's legitimately achieved?! My opinion of Penrose has sweet F.A. to do with his popularity among his peers. All you did was come bumbling in, dismiss him as a fool, without offering any elaboration as to why you think he is such. Might I suggest you actually explain why you think he's wrong? Bonus points for doing it with a bit of respect, rather than just insulting someone with no explanation supplied. I'm always a willing ear for someone actually giving an explanation about WHY they think someone's work or thinking is problematic, but when someone just calls someone a fool and leaves it at that, wtf do I have to work with?
@@andrewmcpherson8441 "By Penrose's resume I'm simply meaning his body of work; y'know, the things he's legitimately achieved?! " Oh really? Are you on a position to evaluate Penrose's work? How well do you know Relativity?
I mean, I have a maths degree, I like high level maths, and this barely made sense to me. The concept of Godel's theorem may be tricky (and widely misunderstood) but too many people are impressed by what sounds complicated, rather than what is actually insightful, which requires you to understand. The most brilliant people can put things in simple terms a layman can understand. Rogan probably has no idea what Goldbach's conjecture is or Fermat's Last Theorem, so how would he follow the rest? Politely listening is not the same as understanding.
Heh well to be fair I don't know if many people are claiming that Rogan understands what is being said here... but that said, I'd also say that this video does not encompass an explanation of Godel's incompleteness theorems... so the only people who really understand what's being said here already know the subject. But Penrose as always is still doing a good job of mentioning what is necessary to give a layman a rough intuition of how the ideas connect.
@@jhansenhlebica6080 I disagree. I think his explanation is atrocious. Being smart does not guarantee being a good teacher. Honestly he seems terrible, based on this clip. It is a confusing topic though and seldom gets explained well anyway.
There's a pair of books called Godel Escher Bach that discusses this at length. Every time I read it, I thoroughly understand Godel's proof for about 2 hours. There are also other completely unrelated statements that you can prove are true but unprovable, involving (for example) relationships between infinite sets each member of which is an infinite set. The Halting Problem is probably an easier thing to understand but is the same concept.
Yes. I think so. There would be things in the system that the rules of the system cannot determine the truthfulness of or falseness of. This guy here does a better explanation. ua-cam.com/video/HeQX2HjkcNo/v-deo.html
That's awesome! I believe Kant's revolution in epistemology goes around that insight as well when it shows that theories (mainly philosophical ones) are incompatible as they are because reason is self-sufficient. Independently on which epistemic approach you come up with, no approach to the 'truth' of an object can ever exhaust the intelligibility of such object. Mind blowing eh?
@@Tauan That’s fantastic, thanks for sharing that. I heard a debate on epistemology recently and we’ve always assumed as brains get more complex (early mammals -> primates -> humans, etc) that our conceptual world model would become more accurate, and map ever closer to the actual, objective world. But research has shown that the only driver of brain complexity is reproductive success. So our shared intellectual model of reality has evolved for reproductive advantage only, and there’s little chance the actual, objective world bears any real resemblance to the one we’ve evolved to see (or experience). I can’t cite the source at the moment, so take my account of it with a grain of salt.
@@baTonkaTruck Hoffman found (in a computer simulation) that species that select for commensurability with "reality" die out and species with the most useful models survive.
this is honestly a terrible description of the incompleteness theorem. this guy is not a great math/science communicator to my mind. if you want to listen to/watch a better explanation of Gödel’s Incompleteness Theorem, watch Number File’s video on the topic. Much clearer and more detailed explanation.
Throughout that entire speech, All Joe is thinking is - "I could take this dude, easily."
😄
🤣😂
Throughout that entire speech, all Joe is thinking is about a bj he got from a DMT entity
Haha cmon Roger Penrose
was 89 during this interview.
@@Fascistbeast makes it easier for Joe
This reminds me of that time when I read Shakespeare to a pigeon.
🤣
Roger Penrose Spoke about Gödel's Proof for Three Minutes would be an accurate title. He "explained" nothing.
lmao
This might be the greatest comment I’ve ever seen
@@meofamily4 he did tho
This is like when you accidentally wander into a zone 90 levels too high in an mmo
True unless you are smurfing in that case it can't be proven
lmfao
Hahahhahaa
Joe understood that so completely that, unusually for him, he didn't have any questions to ask or supporting comments to make.
The best part of Gödel incompleteness theorem is not really the consequences, but the proof itself. He created the very system using natural numbers and arithmetic operations. He made the system talk about itself and constructed the sentence. It's a "proof" of how we should explore self references much more deeply. And mathematicians tried to avoid it as much as possible due to obvious reasons if you're in the field.
Gödel went mad himself.
The look on Joe's face is priceless, good on him! I recognize it because it was the same look on my face listening to WVO Quine trying to explain the same thing in a talk I attended in 1993.
That's a very slow, partial and casual explanation
In other words: Start with a set of operations and rules for applying them (such as arithmetic).
Godel showed,
(1) it is possible to combine the operations according to the rules in ways that cannot be satisfyingly explained by the existing operations & rules. However,
(2) To explain those inexplicable things, you will simply, cleverly, invent at least one new operation/rule. Invent an "innovation" and voila,
(3) Thanks to the new operation/rule, you can now explain everything that "cannot be satisfactorily explained" (from step 1). However,
（4）As it happens, while the addition of the new rule (step 2) did indeed successfully achieve our aim (step 3), there are now ALSO some fresh things that are possible (thanks to the new operations/rule in step 2) and SOME of those fresh things cannot be satisfactorily explained (seems like be are back at step 1, but these new things are fresh; they were impossible without the new rule that was invented in step 2). Go to step 5 to see how to deal with these "fresh things".
(5) To deal with these fresh things, we just need to "repeat" step 2 but with a fresh innovation. Our clever, fresh innovation will succeed to get us to step 3 ( all the fresh things will now be satisfactorily explained), but it will also lead us to a fresh case of step 4.
This sounds like an endless loop, but it's more like a tower that is built higher and higher.
Sometimes, people say that Godel's theorem "breaks" mathematics. Quite the opposite. Without Godel's theorem, Math would eventually die -- at step3! But, as Godel has shown, every time we succeed in solving every (or, generally, almost any) existing set of math puzzles, we will also create a fresh set puzzles never before seen (step 4) to which we can turn our attention. Mathematics has no end. Godel proved that mathematics is infinite; it will never end. Math will only be increasingly interesting.
It appears that we have every reason to believe the same might be true of Physics, too:
There will never be an ultimate "theory of everything" in Physics just as there will never be a "complete" mathematics. Every time we create a new theory of Physics, we can use it to create new ways to look at Physical reality (new kinds of telescopes for example, eg LIGO) and we'll use the new tools to discover new things that will themselves need to be explained.
Math and Science are both unending projects that will keep us and our descendents endlessly engaged.
There is likely every reason to suppose that this might also be true of every other interesting human endeavour. For example,
Justice: We strive to create a perfect system of justice; but while we might be able to bring justice to every existing problem, as we create new rules and laws and procedures to address existing injustices, we create new situations in which fresh injustices may arise; fresh injustices which we'll be able to address with new proceedings and laws.
People may be able to continuously improve our situation because we can always find a way to solve any significant problem in Math, Science, the Law, etc, etc, but in doing so we will not come to a "final" answer because each improvement we make will bring to our attention new issues to which our attention will be drawn and which we'll strive to improve.
Godel's theorem is a profound insight into mathematics but perhaps also into every other interesting facet of our universe and ourselves.
*takes a hit* "Hey Jamie, why don't you pull up that chimpanzee counting video you showed me."
A negating self-referencing proposition is incomplete or contradictory since the logical outcome implied in the proposition either confirms the fact that the proposition can't be proven or contradicts the intent of the proposition.
This is like that scene in 2001 A Space Odyssey where the proto-hominids encounter the first Monolith.
This classic JRE is the way the world should be. Less celebrities, more diverse conversations, less trendy bullshit. But I understand… things change as you grow.
Old JRE> new JRE
How joe rogan end up with Roger Penrose?
Am I the only one who needs a drink right now ?
For me- This explains the depth and breadth of God.
It’s also why intelligent machines can be manipulated without their knowledge
It would be better to give an example, like the Barber paradox which says a barber will only shave the people who don't shave themselves, then the question is: will the barber shave himself? And you cannot say True or False to (i.e., cannot prove) the statement "Yes, the barber will shave himself".
I think Penrose is generally a bright interesting guy but this explanation is not helpful. I seem to know less of Godel's theorem than when he started.
He gave as good of an explanation as he could give in 3 minutes without grossly oversimplifying it or “soundbiting” it the way Niel Degrasse Tyson often does with topics. If you want to understand it, Veritasium has a great video explaining it visually with note cards. It’s also very easy to follow.
Exactly my sentiment.
How can that be a bad result?
Yes, the veritasium video is very good
Agree. I know less now than I did before. As far as I understood (before Penrose), was that Gödel said that:
an axiomatic system will contain theorems that cannot be proved one way or the other.
It could be that Goldbach's conjecture is one of those "gaps"?
Or Fermat's theorem?
Anyway, that seems to me not too surprising. After all, in chess not all games result in win or loss. We can have a stalemate. This, I think, is the counterpart of the "gap".
I think that, this incompleteness theory is fundamental to understanding a little bit more about the way in which Humans make discoveries on things that we cannot see. Basically the magic of turning mathematical abstraction to real life applications. Also explains well how there is so much that we don’t know yet, in our journey to have more control over earth and the universe.
As with all formal proofs, this is not about how humans do things, or even about how this universe does things. Formal proofs, if correct, are correct in any universe and no universe.
No, you obviously don't understand it at all.
Firstly a statement in a logical system can be true and provable and still unkown. A statement having no proof in the system doesn't mean you can't know it. And science is not just mathematics. You don't know something about the real world, because you are simply lacking information about the real world and you need to go out and collect it. That has absolutely nothing to do with Incompleteness.
There are true things that can't be proven. There are people that are guilty but can't be proven to be guilty.
I am no fan of Joe Rogan, but I might have to check this interview out. Penrose seems like precisely the lovely and intelligent person I’d imagined him to be from his mathematical discoveries!! He’s too often overlooked in my opinion
His interview with Lex Fridman is pretty great too, if you want to check it, he's a computer scientist so the dialogue is a bit more fluent.
In essence, you must axiomatically accept something in order to understand and _believe_ the whole picture.
Religions call this "faith".
Apples and oranges
@@axxeny Fruits?
Mathematics is concerned with the truth value of statements given the axioms without necessarily caring if the axioms themselves are true. You can easily pick a different set of axioms and see what else you come up with. Religious people believe it is true with their whole being and believe other religions are false.
Einstein said in his later days in life, that the best part of going to Pricenton University, was his walks with Kurt Gdel
And he hinted the worst was that John van Neumann, who had an office next door to him, played big band music very loudly to help him concentrate. Nice human insights, eh?
Yeah well I was more concerned with what Eistein actually said, not what he hinted at. How is that for human insight?
@@carloscoll5249 Eh? I just thought it was interesting Einstein said it annoyed him to have John van Neumann playing martial band music in the next office. OK, he didn't say it was the worst, I put that in to make it a bit more fun. I don't know what inspired your waspish reply, but there I'm happy to leave it.
With Penrose, you're better off reading what he has to say.
I respect and admire Roger Penrose but that wasn't one of his better explanations.
I feel like he gave up half way through when he realized he wasn't talking to a room full of PhD students, he was talking to the guy who hosted fear factor on the podcast where he regularly features his flat Earther BJJ coach 😂
Joe: are you into fractals? smoke some of this and close your eyes
Ancient Greek skeptics wrote about this principle 2000 years ago.
Joe might not have grasped what he said, but for damn sure someone watching just did. 🤘
Godel's theorem might have a 2D planar instantaneous resolution: comment on a puzzle where you place a piece of paper with two riders on other pieces of paper with two donkeys: wow! I saw a video where a piece of paper was printed with godel's incompleteness theorem, one side of the paper said this is true, the other side said this is !true. it reminds me of the upside down/right side up riders, but if you put them in the right 2D way, they fit, that suggests all kinds of things. if both the donkeys face the same direction it doesn’t work, but if they are like the chemical equilibrium opposite directions double arrow the opposite riders then fit, that suggets that if you can do something at 90 degrees to each other, with reflective symmetry godel’s theorem is instantly resolved, just by putting it in a 2D math space, my previous solution utilized individual element sequential reading of A=!A, mathematicians might like an instantaneous 2D solution by embedding a godel theorem statement in a plane for an instantaneous no-step, noncomputed, timeless solution.
If it happens to work that just by putting any undecideable math on a bidirectional 2D plane it becomes consistent, much more math might have whatever order might mean to mathematicians. the orientable donkeys and riders puzzle is at youtube ua-cam.com/users/shortsNmJ1ATJeIbM
Before I read yer comment I must know, or ask rather what does the ending of your name mean it's driving me nuts.
If there is one nuanced intellectual on the planet with which you want to discuss high level pure mathematics, it's Joe Rogan.
LOL
I feel Joe would approve of that joke at his expense.
He has had several interviews with and about Penrose's work, you prancing dunce 🙄
Exactly! Because Joe Rogan puts it on UA-cam for all of us to enjoy!
I've never seen Joe so lost for words in this interview !
Actually: If there's one nuanced intellectual ... , *then* it's Joe Rogan.
Penrose: *finishes explaining mathematical theorems*
Joe: I too think that Conor will win the trilogy
... do you want to come over and do some DMT?
@@jengleheimerschmitt7941 To be fair, a mathematician on DMT would be very interesting. Since the geometry that you see seem to be related to the internal structure of the brain as perceived by your consciousness.
😂😂😅
Joe Rogan talks to Roger Penrose, what the hellll is going on? Can Joe Rogan understand 1% of what Penrose talking about? It is like Denis Rodman having a conversation with Einstein.
These interviews are for Jamie who got an A in physics.
I'll never forget the first time I met this brilliant man. I was an undergrad at Oxford and all I had with me was a mathematics textbook and green pen. I asked him to sign it and he happily obliged. I still open it almost weekly to see the short, wonderful message inside. It said "All the best, Joe Rogan".
I got belaired so bad I'll never escape the shame cube.
Well done.
xd
@@dexterwestin3747 Indeed, what was yours again?
So that is true but we can't prove that it's true?
Joe’s face in the first few seconds says it all.
hahahah
that's the face of breathing through your mouth
He looks like he's about to fall asleep!
I lost it
hahahah!
I appreciate that Joe just lets Penrose talk uninterrupted to complete his thought. The interview is about the interviewee.
You can’t interrupt someone if you don’t know what they’re talking about.
@@roccodimeo3271 comment of the century.
@@roccodimeo3271 hahahaha!
Rogan is a meathead but he’s fairly close to average intellect, he can recognize when he cannot say anything contributory. It’s not evident with normal guests but Penrose is a genius on Einstein’s level and beyond. Rogan felt it.
No one interrupts when they don't know what a person is talking about, but one who is extremely well versed in a subject will also not interrupt, as they do not need to. We know which side joe is on with regards to maths, but at least he's not like other know it all hosts.
glad he cleared that up
Gosh I love this comment hahA
lmao
kek
Lmao
I've briefly met this man. I had him sign my *pre-algebra* textbook. Then I completed my undergrad in Math. That textbook sits proudly on my shelf.
Everyone thinks you mean Roger Penrose, but I know you mean Joe Rogan. 😁
Lucky.
"I've briefly met this man. I had him sign my pre-algebra textbook. Then I completed my undergrad in Math. That textbook sits proudly on my shelf"
You have a degree in math...and you are clueless that Penrose made a fool of himself in this video.
@@kensandale243
How did he make a fool of himself?
I saw him once giving an excellent keynote talk and still insisted on using those old projectors with hand drawn slides.
Joe's thoughts: 'for the life of me I'm not even sure if he's speaking english!'
🤣🤣
He sounded like he was speaking in some kind of British dialect
thousand cock stare
You can mock Joe for not knowing every thing that every guest is really good at. Yet he gives them the space, and gives us the opportunity to see these kind of things.
You get it.
Your comment made me realize that a lot of people here are slinging hate at Joe because they too have no fucking clue what Penrose is talking about. Makes them feel better, I'm sure. Anyway, great observation!
Quite, Joe is great in the chair
This is when Joe Rogan is and was at his best. We're getting less and less of it over time though on the JRE.
@@robertwalkley4665 (rather than just conducting them) If Joe actually learned from these interviews as to how they are applicable to daily thought and argument formulation, specifically in the realm of the scientific mathematical reasoning, he would have never start availing himself as some specialized microbiologist epidemiologist virologist….
The LOGICAL structure of Godel's proof is simple. He tweaks "This statement is false" to make this: "This statement is unprovable." There are two possible truth-values for this: If the statement is true, then you have a true statement that is unprovable. If the statement is false, then the statement is provable, which means you have proof of a false statement. So any (sufficiently complex) mathematical-logical system is either incomplete (with statements you know to be true but can't prove) or self-contradictory (with false statements you can prove), or both.
Well that's the easy bit. The ingenuity for which he is celebrated lies in making such statements equivalent to statements of number theory.
So is the philosophic implication that: a "system", may never be able to completly assess it's self, or to word it differently, one can never completely assess a system from within the system? A system being anything from a system of formal logic to a universe.
@@DavidKolbSantosh Yea I think so too. Specifically, the system can't completely assess itself the way it wants to using its own rules. Kind of like the human brain trying to understand itself using the knowledge understood by the human brain.
This is way better than Roger Penrose explanation
@@edwardjones2202 Absolutely right. I understand WHAT Godel did to implement his proof, but I don't yet understand HOW he worked it through. In particular, I've wondered whether he proves merely that some self-referential statements (such as the one I stated above; not original with me) entail this uncertainty--falsity vs. incompleteness--or whether his method of proof somehow gets around this limitation so that the proof potentially applies to any meaningful statement that can be asked within the system. Surely though the latter cannot be the case, or Godel's proof would not be the big deal that it is.
I remember going through the proof in my logic class. We spent 2 full long lectures establishing the coding system and learning how it works. Then, in like 15 minutes, the professor writes the code that translates to "This statement cannot be proved." And proves that the fact this statement can be encoded in a system (and very simple systems can encode it) means that the system cannot be complete.
ua-cam.com/video/SOWt2fBI1VI/v-deo.html
But the question is why go through the effort of concocting this coding system? Couldn't this proof have been just conceptual?
@@ihsahnakerfeldt9280 I think the 200 level course on logic did that. I took the 400 level and we did all the details. Not really sure I got any benefit out of those details though. I'm kind of with you.
Thats a better explanation.
@@ihsahnakerfeldt9280 no because you have to use the same symbology as the system you are trying to demonstrate is incomplete. It must be done on its own terms to stand mathematical scrutiny, although a conceptual explanation of the proof is then possible. Its a matter of rigour.
Joe Rogan : So you are saying that you can tap someone out but you can not really prove it unless the referee is watching it?
this fucking ended me
Unless the referee is convinced by the set of steps you take to be true you didn't tap. No one can prove the truthfulness of the set of axiomatic/self-referential intermediate steps using the formal declaration of tapping itself. I think what you're referring to is called the observer effect not the self-referential fiasco that Godel proved.
I'm dying. Lol
Penrose could have tried this for Joe: There are legal moves in a match that can't be foreseen from the rules.
You might have confused Schrodinger's cat-in-a-box thought experiment with Godel's incompleteness theorem. "Is the cat required to be an observer, or does its existence in a single well-defined classical state require another external observer?"
Joe is by no means a brilliant man, but he was smart enough to listen and not interrupt.
He was asleep... didn't you hear the snoring in the background ? 🙄😂
Penrose: "Everything proceeds mathematically"
Joe: "Wanna see a video of a one thousand pounds polar bear being killed by four Eskimo midgets using nothing but Inuit axes?"
Where's that video?
"It's entirely possible."
Penrose : "fuck yes, and hoi me a blunt over you Bogart."
I really get the impression that Penrose is doing his absolute best to explain the theorem to the lay-person (not just Rogan, but also the wider audience) and unfortunately, he completely lost me. I'm no pure mathematician by anyone's reckoning, but I have reasonable training in mathematics at a university level from studying physics and then from taking an interest in it beyond that. I still don't understand what he said.
Penrose is a bit of a legend in the physics world, though. Honestly I didn't realise he was still alive to be able to give interviews at all.
I agree. You can't understand Goedel's theorem from Penrose's description. The problem with Goedel's theorem is that there's no simple easily stated example, unlike Fermat's theorem or Goldbach's conjecture, to simply show what the theorem is "about", let alone to show it's truth.
Physicist here too, still a bit of a hard time following Penrose's explanation on this.
"You see it is true by virtue of your belief in the rules."
@@BrucknerMotet "It depends what you mean by true"
JBP
No, actually, it's quite simple. Mathematics is not and cannot ever be complete. Just let that soak in, and it doesn't matter what the proof itself consists of.
Veritasium owned this in his video. Best explanation I've seen.
Facts. Great video.
Came here after seeing that video
Especially for a lay person who's really interested in all that but will probably never have the time to really get into the nitty gritty of understanding the ins and outs of Principia and all the logic stuff.
@@spacevspitch4028 Have you read Principia? 😯
@@atomknife9106 Hell no 😄. I've feathered through the pages before. It's a gorgeous tome but damn 🤯
Not shown here, but I loved how Rogan immediately jumped in with several razor-sharp rebuttals to Penrose’s thesis; especially with regard to the worrying epistemological implications of applying temporal elliptic curves to the integral space-time manifold projected in Hilbert space by the application of algebraic homotopy determinants.
Full video where?
Next semester youll being talking about Gordon Wood...
@@DG-kr8pt But sure, embarrass my friend and go park the car in Harvard Yard.
He spent the entire 3:38 holding in the hit of DMT he took right before.
I had Bertrand Russell in da back ov my fucking cab de ovver day ,,,,off to Kensington of course!!
"But, and hear me out, could a chimp smoking weed maybe help disprove this?"
I wouldn’t say that Penrose “just explained Gödel’s incompleteness theorem.” He described it, but did not explain it at all. Douglas Hoffstaedter explained it, but maybe not in a way that’s accessible to everyone, in his book “Gödel, Escher, Bach; an Eternal Golden Braid.” It hasn’t aged well, but if you forget that computer languages used to be much more basic it still makes sense. That one book will transform your knowledge and understanding of the world, sciences, arts, and everything else. G-Plot - one of Hoffstaedter’s illustrations - is like witnessing the code of the universe. It’s a book that’s impossible to sum up, but which genuinely tries to make the most complex things simple enough to understand and appreciate.
Sounds like a bunch of hokum to me. A bit like those post modernist clowns. You know, Derrida and whatnot.
I agree about that book. Superb and raised my understanding of life and intelligence to a whole new level. Douglas wrote a book about just Goedel that was not so good. After that I tried to find a good book about the theorem and failed. So then I tried to find a good book about the logic behind the theorem and failed. It turned out that at that time no-one had yet formally proven Goedel's theorem, and the logic books were filled with BS handwaving. This whole area of math caused me to take my career in the direction of computers instead of functional analysis, much as Penrose is talking about here. Sure did me a great favor in the long run.
When I remember, it is interesting to me how many of my intellectual interests find their first spark in Godel, Escher, Bach, which I read in 8th grade.
@@talastra you must be super smart
@@Hubertusthesaint Maybe you! :)
The simplest ("word") explanation is: whatever system of (mathematical) rules you adopt, there will always be statements that can be constructed in accordance with those rules...and yet be unprovable BY those rules.
You know Roger is a genius, but you can’t prove it
Read his works. They prove it.
I can prove Einstein, Godel and Feynman were geniuses. I can’t prove Penrose is a genius, but perhaps others can
@@stevekru6518 Feynman wasnt on Godels' or Einsteins level. He was a genius spefically on his field, a one trick pony. Philosophy was beyond him, a very smart brute he was.
Consider the sentence: "Roger Penrose does not believe this sentence is true." There are two cases: either Penrole believes it or he does not. Suppose he does, then it is false and Penrose believes a falsehood. Moreover, it is obvious even to Penrose that this is false, and in fact it is false BECAUSE he believes it, which is crazy. So suppose he doesn't believe it. Then it is true, and indeed OBVIOUSLY true, even to Penrose himself; yet he doesn't believe it.
Of course, you can do this for anyone. We all have our own Penrose sentence. What Goedel showed was that you can even do it for arithmetic.
Russell's paradox
@@vincentrusso4332 Not quite, but closely related. Both Russell's and the Goedel result can be seen as adaptations of the old liar paradox.
@@tomasmcelhoney4054 Sure, but now you are playing a different game (which has nothing to do with Gödel's theorem). My point was that you can take the same logic used by Gödel and apply it to Penrose himself (or anyone else). Penrose has written several long books arguing that it only applies to machines or formal systems, not to humans. Wrong.
BTW, you don't escape the Gödel argument by introducing a third 'unknown' value, it just gets a bit more complicated. The question is "Penrose believes this sentence is neither true nor unknown".
@@patrickhayes2516 Very good explanation "this statement is false" - is this true or false? Either way its bs.
Hmm... there is an underlying assumption here that a statement has to be, statically, either true or false. What if the statement doesnt have that dimension at all. It is like asking what color gravity is. It isnt relevant.
it is kind of redeeming to learn that wittgenstein did not wanted to accept godel and penrose don't know how to explain it concisely
note the camera didnt pan over to joe having a stroke trying to remember the third word penrose said
I read most of the previous comments until your cough me unprepared. I've laughed so hard and I don't understand why 🤣🤣🤣
I think this man is one of the 5 most brilliant people in the world, his papers are deep and profound and his books are little masterpieces of prose and logic.
What work of his would you recommend as an introduction?
Rodger Penrose was quite interesting too😁
Who would you say are the other 4?
He is the smartest along with Higgs
@@Hates-handleStuart Hameroff
Peter Shor
David Deutsch
Gregory Chaitin
...imho 🤗
the tension is killing me. how will Joe respond once he stops talking lmaooooooooooo
Great explaination but I think a key point that is not mentioned and that shows why this is mind blowing, is that this can be applied to all knowledge and not only maths, and that nothing can be proved to be true unless you have a set of base “rules” that you believe in , so theres a impossibility for 100% “real” or “checked”knowledge by definition. Similar to Munchausens trilem.
Ergo, the Earth is flat.
Is it just me or did Roger Penrose actually do a terrible job explaining this?
I also found it was a pretty convoluted way of describing Godel's theorem
He's a genius but a remarkable poor communicator. It takes an advanced degree in math to decode what he said.
It was convoluted but he did get to the point at the end
@@rrcw320 "He's a genius"
How do you know this?
@@kensandale243 It's Roger Penrose.
2:43 and further: this goes deeper than the average explanation of Godel's theorem:
" You see this statement Godel comes up with, is something you can see on the basis of the same understanding that allows you to trust the rules, that it (the statement) is true. But it is not actually derivable by the rules. You see it's true by virtue of your believe in the rules"
Yes exactly, you can't use logic to defend logic.
Praise to gödel who saved us from the centuries spanning tyranny of mathematicians and logicians who espoused their indifferent, static and abstract proofs as a means to come to deeper knowledge which resulted in the complete disruption of human connectedness with our being en sui. It took a righteous logician, a truth-seeker in the deepest sense, to end their reign.
Most people miss this. Belief trumps Logic. Lol
You can't use logic to defend logic. Wow. This is my new favourite quote. I've been frustratingly trying to explain this to people, and you just summed it up perfectly in 7 words. 👌
And I just realised. Defending logic with logic, is itself a self-reference paradox, that requires something outside of it (belief) this goes deeper than I realised.
Veritasium explains it better. To follow Penrose you have to understand the basics.
I agree. I don't think this is a very good explanation.
@@acobster Title is missleading. Penrose is not really trying to explain Goedel's theorem here, he is kinda summarizing it to make it easier to understand why it changed his way of thinking.
I agree, very nice explanation for people who don't speak mathemathese
“Is God willing to prevent evil, but not able? Then he is not omnipotent.
Is he able, but not willing? Then he is malevolent.
Is he both able and willing? Then whence cometh evil?
Is he neither able nor willing? Then why call him God?”
― Epicurus
Is this a direct translation? Was he a monotheist? Not being a turd, genuinely interested.
@@LOCATIONREDACTED This is a supposed Epicurus riddle, there is no original text.
@@mskidi Thanks. Steven Pressfield writes in similar terms in his book Gates of Fire, wondered if I've been missing something re Greek theology.
@@LOCATIONREDACTED Even the supposed text doesnt have that meaning. Epicurus was of the position that God/s dont interfere in earthly matters. That was the point of the riddle.
That was the WORST explanation of Godel's Incompleteness Theorem that I've ever heard
There's a chapter in Penrose's book The Emperor's New Mind dedicated to Göedel's theorem, worth reading. Not only the chapter, the whole book.
The follow-up book, Shadows of the Mind, goes more deeply into the argument mostly to fend of the critics of the first.
Wait until he finds out about Tarski’s undefinability theorem.
I think the Incompleteness Theorem supports the philosophical view of mathematics as something that is constructed. It is more natural and less paradoxical in that conception of mathematics. Since we build things as we go along basically, that is we add axioms to make sense of a new mathematical object or what-not.
(And I think this view has been internalized in a way. For example, Fermat's last theorem seemingly required a new kind of machinery in order to prove it. And when confronted with something that is difficult to prove, the mathematician now is convinced that it requires a "new" kind of mathematics. It's also been said in related fields like theoretical physics. How often the physicist would remark that gravity and quantum mechanics require a "new" physics. )
It is only kind of paradoxical in the realist view of mathematics, where the mathematician is conceiving a grand "theory-of-everything" as they used to, from which derives all theorems, in the way of Euclid. That realist view of an absolute conception of mathematics is in some tension with incompleteness.
I think Godel's genius thrived in that tension. I couldn't imagine him as anything but a realist.
Godel himself was a platonist, and believed his theorem supported that metaphysics.
If Mathematics cannot be exhausted by merely constructing formal systems, then there is some sense in which Mathematics is "beyond" any human construction.
Personally, I don't think the theorem really has any effect on metaphysics. You can make up explanations either way.
@@APaleDot The first claim in your first sentence I will not dispute. The second claim, of course, I find interesting whether Godel really thought that way I don't know. But it's plausible.
The second sentence is either vague or a non-sequitur.
And the third sentence is a hasty generalization.
@@helioliskfire5954
The implication is there:
"either mathematics is too
big for the human mind, or the human mind is more than a machine."
and here:
"Intuition is not proof; it is the opposite of proof. We do not analyze intuition to see a proof but by intuition we see something without a proof."
Maybe the universe is just a paradox and that's all there is to it
I've been studying Penrose' CCC for more years now, trying to disprove it and I literally can't. I've never come across an idea so bulletproof that I can't poke even a single hole in it.
I genuinely think, despite my fear, that Penrose is correct
Why do you fear this idea?
Weird. I've seen physicists poke holes in CCC all over the place. Not that they claimed to disprove it, but some of the implications of CCC do not seem to easily agree with our current models. That being said, I'm a fan of CCC and if it turns out to be correct it will be the most exciting new discovery in a very long time IMO
@@PetrCobra I'd very much like to know which physicists you're referring to, what they specifically said, and why you beleive that they're correct. Because I'm not entirely sure you've noticed this but every physicist will tell you that the laws of physics break down at a certain point and don't apply in the earliest stages of the universe. Meaning that they have literally zero business using physics to debunk anything outside of the purview of physics.
@@mrb7094 Nietzsches "eternal recurrence" is the best way of putting it
@@jaxwhyland I'm aware of that (terrible) idea. It would of course be dreadful if all the tragedies of the world played out again. Not to mention the awful thought of how many times I already typed this sentence. But there's no reason to think, and every reason to doubt, that anything would be the same twice? If the universe reemerged then the tiniest difference would change everything.
Roger Penrose's younger brother, Well-known British Chess Grandmaster Jonathan Penrose passed away earlier this year. May his soul rest in peace.
man i read 'cheese-gradnmaster' at first
Jonathan Penrose beat Tal…
So the ultimate validity of a formal system cannot be achieved by the system itself.
imagine having a conversation like this with kimmel or fallon
Joe: That’s crazy, man. Have you ever done DMT?
You just know that Joe rolled up a fat one before this started and then just stared at this man through the haze - like me.😵💫
So basically Penrose is saying :
Godel’s first incompleteness theorem doesn’t say that Mathematics is incomplete, it says that either Mathematics is inconsistent, or it is incomplete.
In other words, if you believe the system of axioms is consistent, and it is just a believe since according to Godel’s 2nd incompleteness theorem it can’t derive from the axioms, then it is incomplete.
Well, this is my understanding of what Penrose just said.
Penrose uses it to conclude that brains are more than computers. Dan Dennett debunks this view.
uh?
In the context of the first order theory of Robinson Arithmetic, yes 👍
I suspect that the above is less your understanding of what Penrose said than of what he should have said. He didn't mention the word "inconsistent" even once, so I strongly suspect you got that from somewhere else.
@@alqpr Indeed, it's probably very difficult to understand Penrose's explanation if you yourself have not studied first order logic. I take "believing in the system" to mean "assuming the particular axioms you're working with are consistent". One proves that the Gödel sentence is independent of the axioms by assuming the axioms are consistent. Moreover, one proves that the Gödel sentence is true (in the standard model) by assuming the axioms are consistent.
So it's kinda like using my eyes to look at stuff but not being able to use my eyes to look at my eyes.
nice !
''So it's exactly like my brain interprets words and concepts but my interpretation is wrong'' - How would you ever know? Noone does? Reason and imagnination isnt enough. The most baseless stuff ever - Yet its right?
Mirror
@@IDMYM8 think about it
@@IDMYM8 But that's just a reflection. How sure are you that your reflection accurately gives you a representation (not an image) of your very own eyes?
Roger Penrose is actually the first intellectual who got me started on this whole train of logic, incompleteness and halting problems. I was always interested in the study of logic, but by first listening to him talk about this matters is what deepened my curiosity. His books go into more detail and is a pure joy to read for logic/math/science nerds alike. I have immense respect for this man, just for the way he bridges the cutting edge of human thought with simplistic language, a feat not easy for mere mortals like us.
Hey, wouldn't have expected Penrose to have written on logic and halting problems. Any reading recommendations where he gets into the topics?
@@pavel672 His book Emperor's New Mind gets into a lot of things. Chapter 2 is almost a complete description of Turing's machine including one exercise for the reader lol.
@@abhishekshah11 Great! Thx :)
It's gives me goosebumps when I think about Gödel Church Turing and how computer science came to be
@@Artaxerxes. Hilbert: Mathematics is complete, consistent, and decidable!
Gödel Church and Turing: We're about to fuck this mans day up big time...
I read Douglas Hofstadter's books many years ago, also a book on Godel. Roger's explanation is completely lacking coherence.
"You see it's true by virtue of your belief in the rules". Nietzsche said we killed god, Godel said he hid behind reason.
Somewhere Godel is smiling because after all these decades people are still debating this and a lot of them are just as uncomfortable with it as his colleagues were when he first stated it.
Gödel went mad.
All reasoning ultimately traces back to faith in something that you cannot prove. Faith and Reason are not enemies. One is absolutely necessary for the other to exist.
Joe is LOST
He's not the only one to be fair!
Why you need to do like that to him 🤣🤣🤣
"Joe is LOST"
So is Roger.
Penrose explains one aspect of Godel's findings, a consequence of his incompleteness theorem, which is that in any axiomatic system that is strong enouhg to only establish the propositions of simple arithmatic, there will aways be true statements in the system that are undecideable, cannot be decided as to whether they are true or false. The consequence is that if you have an algorithmic system based on such axiomatics, you can never know if won't be missing a needed true statement in the calculation because its truth cannot be decided. This is problematic for robotics. meaning you cannot leave the robotics to make it own decision without a human fail safe observer ready to manually correct it. Example: running a machine with life or death consequences using this kind of algorithm, it cannot be trusted not to fail at some unknowable point.
The same with Penrose's example. Godel discovered that such axiomatic systems designed to be consistent cannot prove their own consistency using their axiomatic rules. Similarly, a robotic system running on an algorithmic system cannot be relied upon to never suffer a fatal inconsitency even though it is designed to be consistent because its consistency cannot be proved.
this video has twisted my mind into a pretzel and now I'm hungry dammit!
Read "Godel, Escher, Bach: an Eternal Golden Braid" by Douglas Hofstadter. First edition perhaps 1979. While it may further twist your mind and make you more hungry greater, he has several books to follow up!
I think my favorite video explaining Goedel's Incompleteness Theorem is Veritasium's, he does a great job walking a layman through it.
If you're actually looking to kind of play around with how this is more formally proven, I really like Raymond Smullyan's book To Mock a Mockingbird which is presented as a long series of logic puzzles using birds that culminates in a proof of the Incompleteness theorem.
Goedel, Escher, Bach is another classic book that covers how self-reference is used by all three of them in their various masterworks.
or you could just googlescholar "biological annhilation" - the common claim by mathematicians is that "it works" - well if it works so well then why are we accelerating to "biological annihilation"?
@@voidisyinyangvoidisyinyang885 Godel's Incompleteness Theorem has literally zero to do with biology. Are you posting in the wrong thread?
@@Bodyknock Oh so you've never read Stuart Hameroff's quantum biology work in collaboration with Roger Penrose? That's what Penrose calls "protoconsciousness" and as Penrose emphasizes "calculations are not consciousness." Of course if you need to practice self-censorship by creating your own fake boundaries of thinking, that's perfectly common to do. haha.
@@voidisyinyangvoidisyinyang885 Again, Godel's Incompleteness Theorem has nothing, at all, to do with biology. It's a theory about infinite sets of first order logical statements. Biology is an inherently finite system of cells. There's no intersection between the two. (It doesn't even have anything to do with quantum mechanics or the definitions of consciousness either frankly.)
@@Bodyknock So your youtube troll comment just debunked the Royal Society (formally The Royal Society of London for Improving Natural Knowledge formed in 1660, is a learned society and the United Kingdom's national academy of sciences) Science book of the year award in 2016 for the quantum biology book "Life On the Edge" by Professor JohnJoe McFadden and Jim al-khalili? Wow! Impressive.
Roe Jogan just sitting there like he’s the missing link
Gödel's Incompleteness Theorem:
A Mathematical Corollary of the Epistemological Münchhausen Trilemma
Abstract: This treatise delves into the profound implications of Gödel's Incompleteness Theorem, interpreting it as a mathematical corollary of the philosophical Münchhausen Trilemma. It elucidates the inherent constraints of formal axiomatic systems and mirrors the deeper epistemological quandaries underscored by the Trilemma.
---
In the annals of mathematical logic, Kurt Gödel's Incompleteness Theorem stands as a seminal testament to the inherent constraints of formal axiomatic systems. This theorem, which posits that within any sufficiently expressive formal system, there exist propositions that are true but unprovable, has profound implications that reverberate beyond the confines of mathematical logic, resonating in the realm of philosophy. Specifically, Gödel's theorem can be construed as a mathematical corollary of the Münchhausen Trilemma, a philosophical paradigm that underscores the dilemmas in substantiating any proposition.
The Münchhausen Trilemma, named after the Baron Münchhausen who allegedly extricated himself from a swamp by his own hair, presents us with three ostensibly unsatisfactory options for substantiating a proposition. First, we may base the substantiation on accepted axioms or assumptions, which we take as true without further substantiation, a strategy known as foundationalism or axiomatic dogmatism. Second, we may base the substantiation on a circular argument in which the proposition substantiates itself, a method known as coherentism or circular reasoning. Finally, we may base the substantiation on an infinite regress of reasons, never arriving at a final point of substantiation, a path known as infinitism or infinite regress.
Gödel's Incompleteness Theorem, in a sense, encapsulates this trilemma within the mathematical world. The theorem elucidates that there are true propositions within any sufficiently expressive formal system that we cannot prove within the system itself. This implies that we cannot find a final substantiation for these propositions within the system. We could accept them as axioms (foundationalism), but then they would remain unproven. We could attempt to substantiate them based on other propositions within the system (coherentism or infinitism), but Gödel's theorem demonstrates that this is unattainable.
This confluence of mathematical logic and philosophy underscores the inherent limitations of our logical systems and our attempts to substantiate knowledge. Just as the Münchhausen Trilemma highlights the challenges in finding a satisfactory basis for any proposition, Gödel's Incompleteness Theorem illuminates the inherent incompleteness in our mathematical systems. Both reveal that there are boundaries to what we can prove or substantiate, no matter how powerful our logical or mathematical system may be.
In conclusion, Gödel's Incompleteness Theorem serves as a stark reminder of the limitations of formal axiomatic systems, echoing the philosophical dilemmas presented by the Münchhausen Trilemma. It is a testament to the intricate interplay between mathematical logic and philosophy, and a humbling reminder of the limits of our quest for knowledge. As we continue to traverse the vast landscapes of mathematics and philosophy, we must remain cognizant of these inherent limitations, and perhaps find solace in the journey of exploration itself, rather than the elusive, final destination of absolute truth.
GPT-4
no offense to mr. penrose but this explanation sucks. that's understandable though; doubt he had this written out in preparation lol, was just an anecdote off the top of his head
Penrose's explanation here is quite interesting. As a mathematician who has studied the proof of Gödel's incompleteness theorems, he does a good job explaining them _from the perspective of someone who already knows the subject well._ A lot of people misstate Gödel's incompleteness theorems or misunderstand them, and Penrose doesn't do that here. At the same time, the explanation seems like it would be quite hard to follow for someone not familiar with the subject. As you state though, he was probably going off the cuff, not having prepared remarks.
I compare this with Neil deGrasse Tyson talking about the different sizes of infinity. Tyson actually makes several outright false claims in his explanation. One can, to some extent, excuse him since it's outside his area of expertise and he's speaking off the cuff without preparation. However, I think this says a lot to Penrose's credit. It may be hard to follow, but he doesn't make false statements in his explanation and he doesn't even perpetuate the same misconceptions that most people perpetuate about it.
He didn't explain it at all. There are several good explanations of Godel's theorem on UA-cam (and on the web in general). This was *not* one of them.
Want a complete lecture on Godels theorem?
@@conceptofeverything8793 - I can only suggest you read my comment again.
@@RFC-3514 yeah, but you havent explained what your comment means.
Respectfully, he is correct but makes it more confusing for non-mathematicians.
Here is the gist:
There exist true propositions in mathematical systems, at least as complex as arithmetic, but which cannot be proven to be so.
Now, one can create a new system by adding axioms and rules to create a path of proof of that previously inaccessible proof, but now, that newly created system will have certain true propositions which cannot be proven to so; and so, ad infinitum.
How godel went about proving the above result will require advanced mathematical background, but this deep result is broadly comprehensible by non mathematicians also.
To me, it's analogous to Cantor's diagonal argument for transfinite ordinals; just with respect to mathematic systems as a whole, not just for an individual set of numbers. Essentially, no matter what system of rules you create and impose upon a system, you can always create an ad hoc exception that satisfies the conditions of that system, but doesn't satisfy one or more of the rules of that system.
@@xxFortunadoxx "analogous" might be a bit of a stretch, but you're right in that in follows a similar line of construction. btw: the Turing halting problem is analogous to the incompleteness theorem and both are answers to Hilbert's entscheidungsproblem
He makes it more confusing for everyone (and this wasn't the only instance of it). Penrose, for all his great work in multiple fields (geometry, astrophysics, etc.), is a terrible teacher. He's clearly very good at _understanding_ things, but terrible at explaining them.
@@RFC-3514 hey...think you need to cut the guy some slack,he's not a young man and when he was, there wasn't this need for complicated theorem to be distilled into two minute sound bites...not everyone needs their teacher to be media savvy.
@@user-fb9os7hy2y - He's always been kind of like this, though. Even when talking about his own work (which I'm sure he understands). I think he's just not very good with language.
I think you need a bit more time to explain this in a way that the layman (eg me) can understand. I remember seeing this explained with cards by I think veritasium, and it clicked with me in a way that this explanation didn't. Not Mr Penrose's fault, it's not just something you can explain in 3 minutes IMHO, at least not to someone who isn't a mathematician.
With something like this theorem, you want a good visual to make it understandable. Once you understand the visual, you understand Penrose's explanation
I’ve been slowly reading, comprehending, and trying to fully understand the entirety of this man’s Book “The Road to Reality: A Complete Guide to the Laws of the Universe” since I graduated High School. Fascinating stuff.
Penrose: *Explains Godels theorem*
Rogan: “I like roundhouse kicks! Wooo!”
"Penrose: Explains Godels theore"
He got the explanation horrifically wrong. The guy is a fool.
@@kensandale243 Just because his explanation left much to be desired, it doesn't make him a fool? The guy's resume speaks for itself. So fucking cringy when people, like yourself, feel the need to speak in such an inflammatory way
@@andrewmcpherson8441 "ust because his explanation left much to be desired, it doesn't make him a fool? "
No, the fact that he says foolish things makes him a fool.
"The guy's resume speaks for itself."
You are impressed by things you should not be. If someone is an idiot but has an "impressive" resume, it does not mean he is not an idiot. It means resumes are not always accurate.
Einstein's resume right after grad school was that he graduated in the lower half of his class, and was the only student who could not find a job. So, logically, you should have thought he was worthless. Are you willing to be logical?
What matters is the quality of a person's thought, not his popularity among his peers.
@@kensandale243 Your logic is flawed in suggesting that I would dismiss Einstein as a fool based on his school attainment. By Penrose's resume I'm simply meaning his body of work; y'know, the things he's legitimately achieved?! My opinion of Penrose has sweet F.A. to do with his popularity among his peers.
All you did was come bumbling in, dismiss him as a fool, without offering any elaboration as to why you think he is such. Might I suggest you actually explain why you think he's wrong? Bonus points for doing it with a bit of respect, rather than just insulting someone with no explanation supplied. I'm always a willing ear for someone actually giving an explanation about WHY they think someone's work or thinking is problematic, but when someone just calls someone a fool and leaves it at that, wtf do I have to work with?
@@andrewmcpherson8441
"By Penrose's resume I'm simply meaning his body of work; y'know, the things he's legitimately achieved?! "
Oh really? Are you on a position to evaluate Penrose's work? How well do you know Relativity?
I mean, I have a maths degree, I like high level maths, and this barely made sense to me.
The concept of Godel's theorem may be tricky (and widely misunderstood) but too many people are impressed by what sounds complicated, rather than what is actually insightful, which requires you to understand. The most brilliant people can put things in simple terms a layman can understand.
Rogan probably has no idea what Goldbach's conjecture is or Fermat's Last Theorem, so how would he follow the rest? Politely listening is not the same as understanding.
Heh well to be fair I don't know if many people are claiming that Rogan understands what is being said here... but that said, I'd also say that this video does not encompass an explanation of Godel's incompleteness theorems... so the only people who really understand what's being said here already know the subject. But Penrose as always is still doing a good job of mentioning what is necessary to give a layman a rough intuition of how the ideas connect.
@@jhansenhlebica6080 I disagree. I think his explanation is atrocious. Being smart does not guarantee being a good teacher. Honestly he seems terrible, based on this clip. It is a confusing topic though and seldom gets explained well anyway.
Goedel's theorem is pure bs. (like, snow is white = unprovable its a human-rule)
The explanation was crap...
A real Professor of Logic at the University of Science. I wonder if he has a doghouse.
There's a pair of books called Godel Escher Bach that discusses this at length. Every time I read it, I thoroughly understand Godel's proof for about 2 hours. There are also other completely unrelated statements that you can prove are true but unprovable, involving (for example) relationships between infinite sets each member of which is an infinite set. The Halting Problem is probably an easier thing to understand but is the same concept.
Does this mean that a system can have properties that can’t be derived from the rules of the system?
Yes. I think so. There would be things in the system that the rules of the system cannot determine the truthfulness of or falseness of. This guy here does a better explanation. ua-cam.com/video/HeQX2HjkcNo/v-deo.html
Yes; importantly, though, the properties must be consistent with the rules even if they are not derivable from them.
Mortals listening to an immortal speak...
Alan Watts talked about Goedel, and described his theorem very elegantly: “No system can define all of its own axioms.”
That's awesome! I believe Kant's revolution in epistemology goes around that insight as well when it shows that theories (mainly philosophical ones) are incompatible as they are because reason is self-sufficient. Independently on which epistemic approach you come up with, no approach to the 'truth' of an object can ever exhaust the intelligibility of such object. Mind blowing eh?
@@Tauan That’s fantastic, thanks for sharing that. I heard a debate on epistemology recently and we’ve always assumed as brains get more complex (early mammals -> primates -> humans, etc) that our conceptual world model would become more accurate, and map ever closer to the actual, objective world. But research has shown that the only driver of brain complexity is reproductive success. So our shared intellectual model of reality has evolved for reproductive advantage only, and there’s little chance the actual, objective world bears any real resemblance to the one we’ve evolved to see (or experience). I can’t cite the source at the moment, so take my account of it with a grain of salt.
@@baTonkaTruck Hoffman found (in a computer simulation) that species that select for commensurability with "reality" die out and species with the most useful models survive.
that.. has nothing to do with the theorem
@@98danielray For a thread about a theorem that involves self-referential statements, your "that" appears to have no clear referent at all!
I went to school with his nephew, Mathew . An absolute child genius, now a professor of mathematics
I never would have guessed Joe's nephew would be a professor of mathematics.
Something in the water over there when you look at the Penrose family.
George boolos once explained the second incompleteness theorem using only one syllable words
this is honestly a terrible description of the incompleteness theorem. this guy is not a great math/science communicator to my mind. if you want to listen to/watch a better explanation of Gödel’s Incompleteness Theorem, watch Number File’s video on the topic. Much clearer and more detailed explanation.
why is roger penrose wasting his time talking to joe rogan?
Think he could explain it for another 3 hours and I’d still look like I failed high school Physics again.
I greatly enjoy Penrose's style of discourse and presentation. A venerable thinker, calm and polite.