Mathematician explains Gödel's Incompleteness Theorem | Edward Frenkel and Lex Fridman

2023 ж. 12 Сәу.
389 357 Рет қаралды

Lex Fridman Podcast full episode: • Edward Frenkel: Realit...
Please support this podcast by checking out our sponsors:
- House of Macadamias: houseofmacadamias.com/lex and use code LEX to get 20% off your first order
- Shopify: shopify.com/lex to get free trial
- ExpressVPN: expressvpn.com/lexpod to get 3 months free
GUEST BIO:
Edward Frenkel is a mathematician at UC Berkeley working on the interface of mathematics and quantum physics. He is the author of Love and Math: The Heart of Hidden Reality.
PODCAST INFO:
Podcast website: lexfridman.com/podcast
Apple Podcasts: apple.co/2lwqZIr
Spotify: spoti.fi/2nEwCF8
RSS: lexfridman.com/feed/podcast/
Full episodes playlist: • Lex Fridman Podcast
Clips playlist: • Lex Fridman Podcast Clips
SOCIAL:
- Twitter: / lexfridman
- LinkedIn: / lexfridman
- Facebook: / lexfridman
- Instagram: / lexfridman
- Medium: / lexfridman
- Reddit: / lexfridman
- Support on Patreon: / lexfridman

Пікірлер
  • Full podcast episode: kzhead.info/sun/gtehYJGCaoZooZE/bejne.html Lex Fridman podcast channel: kzhead.info Guest bio: Edward Frenkel is a mathematician at UC Berkeley working on the interface of mathematics and quantum physics. He is the author of Love and Math: The Heart of Hidden Reality.

    @LexClips@LexClips Жыл бұрын
    • Gödel's first incompleteness theorem states that for any consistent formal system that is sufficiently powerful to represent arithmetic (which includes most foundational systems of mathematics), there exist statements within that system that are true but cannot be proven within the system. In other words, there are true mathematical statements that cannot be derived or proven using the rules and axioms of the system.

      @cryptic8043@cryptic804311 ай бұрын
    • The key idea behind Gödel's theorem is the concept of self-reference. Gödel constructed a mathematical statement that asserts its own unprovability within a given formal system. This statement, known as Gödel's sentence or Gödel's formula, essentially says, "This statement is unprovable." If the system could prove this statement, it would be inconsistent because it would be asserting both its own provability and unprovability. On the other hand, if the system cannot prove the statement, it implies the existence of true but unprovable statements.

      @cryptic8043@cryptic804311 ай бұрын
    • Gödel's theorems challenged the notion of completeness and consistency within formal systems and had a profound impact on the philosophy of mathematics. They demonstrate inherent limitations of formal systems and suggest that there will always be truths that lie beyond the reach of any particular system. These theorems have also influenced the field of computer science, particularly in the areas of artificial intelligence and algorithmic complexity theory.

      @cryptic8043@cryptic804311 ай бұрын
    • Entanglement

      @vicheakeng6894@vicheakeng689411 ай бұрын
    • 5 formulas, : 1+tan(2)power=sec(2) power

      @vicheakeng6894@vicheakeng689411 ай бұрын
  • I love that he mentioned Alan Watts, who had the best description of Goedel’s Theorem: “No system can define all of its own axioms.”

    @baTonkaTruck@baTonkaTruck Жыл бұрын
    • I was surprised, amazed how he connected them, but then remembered how wide ranging Frenkel's knowledge about things and people are (away from Mathematics). I recall (and am now rewatching) his 2014 talk, when, at the beginning of his talk, the computer system breaks down, he tells the tech, ""Don't worry about it". And "we use computers so much these days, maybe it's a sign". Then still goes onto speak with such humility, humour, and a weird humbleness. Weird because he obviously knows so much but believes he doesn't. The talk's from a book promotion tour, for his "Love and Math". If I remember correctly, he's got a few more of those Alan Watts like comments. kzhead.info/sun/jNKqgZF6jn9-pX0/bejne.html (if you're interested).

      @amante2443@amante2443 Жыл бұрын
    • I don't get it. What does it mean to define an axiom?

      @Leksa135@Leksa135 Жыл бұрын
    • That sounds like a vague description to me, which is fine for people like watts, but no good at all if you want clarity

      @xmathmanx@xmathmanx Жыл бұрын
    • ​@@Leksa135axioms are statements, so yeah, what does it mean to 'define' a statement? Seems like it doesn't mean anything honestly

      @xmathmanx@xmathmanx Жыл бұрын
    • @@Leksa135 At around 4:46, you'll see them show Euclid's five axioms (also called postulates). You'll see it says, "first axiom", "second axiom", etc. Underneath each of those is what is technically called a definition. What this is, is a definition for each axiom. To return back to @FrigginTommyNoble's comment, the system of mathematics being used is called Euclidean Geometry. But the Euclidean Geometry system can't define it's axioms or itself, it needed Euclid (i.e. a person) to define them. Hence, no system (i.e. no mathematical system) can define all of it's own axioms. Which is what Kurt Gödel proved mathematical, or he proved that all mathematical systems will be incomplete, hence Gödel's incompleteness theorems.

      @amante2443@amante2443 Жыл бұрын
  • This is the first time I've been introduced to this guy. I like how he seems to be more of a "unification of knowledge" type of person, rather than just a mathematician. He draws from examples everything from math, to pop-culture, to eastern and western philosophy, and so on. Thanks again Lex!

    @TobyZobell@TobyZobell Жыл бұрын
  • This guy might be the best guest you have had on Lex I love this dude

    @jacksmith4460@jacksmith4460 Жыл бұрын
    • agreed!

      @shimrodson5443@shimrodson5443 Жыл бұрын
    • When I saw this dude on Numberphile a long time ago I knew he was the real deal. Such a delight to see him again here!

      @ExperienceLOS7713@ExperienceLOS7713 Жыл бұрын
    • It's great to hear about Godel's Incompleteness Theorems. What he didn't mention is the motivation behind how Godel ended up with the Incompleteness Theorems. So at the end of 20th century, a genius named Georg Cantor (founder of set theory) wanted to understand God (just like Einstein wanted to understand God). For him God was represented by infinity. Therefore, he wanted to understand infinity, which we failed to understand for thousands of years (and still to this present day). So he asked himself the simple question, we can add numbers, subtract them, etc, but what about infinity? To this end, he constructed a theory that is now known as cantor's set theory. Unfortunately his basis of reasoning (called axioms) contained a contradiction that is now known as Russell's paradox. Nevertheless, he proved that the set of natural numbers is smaller than the set of real numbers. And he wanted to prove whether there is a set in between the naturals and the reals (that is now known as the continuum hypothesis), but failed to prove it. Because of these, David Hilbert (widely considered to be the greatest mathematician at that time and of the 20th century) came up with what's known as the Hilbert's program. In this program, he posed a number of problems, among which is the quest for a basis of reasoning that is both complete (that is to say, if a mathematical statement is true, then it must be provable from this basis of reasoning) and sound (that is, the basis of reasoning only proves true statements). Note that these two properties (completeness and soundness) are the two fundamental properties of all algorithms. Now, comes Godel. So originally godel wanted to prove that such a theory exists, but ended up with the incompleteness theorems in the end. But, the results are so earth shattering that it completely destroyed Hilbert's and mathematicians' dream of having a sound and complete theory for mathematics. On top of that, the mathematics he used to prove the incompleteness theorems were so new that only a handful of mathematicians understood it. Amongst these mathematicians that understood Godel's results were Alan Turing. So what Alan Turing said is that what Godel really means is that there is no machine/algorithm that is able to prove/determine whether an arbitrary program on an arbitrary input will stop or run forever. This is the Turing halting problem. It is important to note that all of these led to the birth of computer science and eventually led to the famous P vs NP problem. Historically, Godel was the first to informally pose the P vs NP problem in a letter to Jon Von Neumann. He also was the first to prove that Einstein's theory of relativity allowed time travel. And he gave the proof to Einstein as a birthday present.

      @dudeshiya@dudeshiya Жыл бұрын
    • @@dudeshiya Thank you for this write up! Is there any book you could recommend to read about this in detail?

      @blueskies3336@blueskies3336 Жыл бұрын
    • @@blueskies3336 If you are capable of reading German, Dirk W. Hoffmann's "Grenzen der Mathematik" is a must. It is mathematically rigorous enough, but as comprehensible as possible for this hard topic. It gives a detailed historical account of the developments. Maybe one could try reading it with the advancing translation technology... I saw that in September 2023 a book called "Foundations of Logic" by Westerståhl will be published, it seems similar from its summary.

      @Flovus@Flovus Жыл бұрын
  • Here are brief statements of the theorems for those interested: Gödel's First Incompleteness Theorem states that "Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable within that theory." Gödel's Second Incompleteness Theorem states that "For any effectively generated formal theory T including basic arithmetical truths and certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent." Just prior to publication of his incompleteness results in 1931, Gödel already had proved the completeness of the First Order logical calculus; but a number-theoretic system consists of both logic plus number-theoretic axioms, so the completeness of PM and the goal of Hilbert's Programme (Die Grundlagen der Mathematik) remained open questions. Gödel proved (1) If the logic is complete, but the whole is incomplete, then the number-theoretic axioms must be incomplete; and (2) It is impossible to prove the consistency of any number-theoretic system within that system. In the context of Mr. Dean's discussion, Gödel's Incompleteness results show that any formal system obtained by combining Peano's axioms for the natural numbers with the logic of PM is incomplete, and that no consistent system so constructed can prove its own consistency. What led Gödel to his Incompleteness theorems is fascinating. Gödel was a mathematical realist (Platonist) who regarded the axioms of set theory as obvious in that they "force themselves upon us as being true." During his study of Hilbert's problem to prove the consistency of Analysis by finitist means, Gödel attempted to "divide the difficulties" by proving the consistency of Number Theory using finitist means, and to then prove the consistency of Analysis by Number Theory, assuming not only the consistency but also the truth of Number Theory. According to Wang (1981): "[Gödel] represented real numbers by formulas...of number theory and found he had to use the concept of truth for sentences in number theory in order to verify the comprehension axiom for analysis. He quickly ran into the paradoxes (in particular, the Liar and Richard's) connected with truth and definability. He realized that truth in number theory cannot be defined in number theory, and therefore his plan...did not work." As a mathematical realist, Gödel already doubted the underlying premise of Hilbert's Formalism, and after discovering that truth could not be defined within number theory using finitist means, Gödel realized the existence of undecidable propositions within sufficiently strong systems. Thereafter, he took great pains to remove the concept of truth from his 1931 results in order to expose the flaw in the Formalist project using only methods to which the Formalist could not object. Gödel writes: “I may add that my objectivist conception of mathematics and metamathematics in general, and of transfinite reasoning in particular, was fundamental also to my work in logic. How indeed could one think of expressing metamathematics in the mathematical systems themselves, if the latter are considered to consist of meaningless symbols which acquire some substitute of meaning only through metamathematics...It should be noted that the heuristic principle of my construction of undecidable number theoretical propositions in the formal systems of mathematics is the highly transfinite concept of 'objective mathematical truth' as opposed to that of demonstrability...” Wang (1974) In an unpublished letter to a graduate student, Gödel writes: “However, in consequence of the philosophical prejudices of our times, 1. nobody was looking for a relative consistency proof because [it] was considered that a consistency proof must be finitary in order to make sense, 2. a concept of objective mathematical truth as opposed to demonstrability was viewed with greatest suspicion and widely rejected as meaningless.” Clearly, despite Gödel's ontological commitment to mathematical truth, he justifiably feared rejection by the formalist establishment dominated by Hilbert's perspective of any results that assumed foundationalist concepts. In so doing, he was led to a result even he did not anticipate - his second Incompleteness theorem -- which established that no sufficiently strong formal system can demonstrate its own consistency. See also, Gödel, Kurt "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" Jean van Heijenoort (trans.), From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879-1931 (Harvard 1931)

    @arsartium108@arsartium10825 күн бұрын
  • Edward Frenkel is so extremely lucid, just extraordinary.

    @BerenddeBoer@BerenddeBoer Жыл бұрын
  • This was one of my favourite shows from Lex. Edward is a truly remarkable human being, and it's always beautiful to see so much love and compassion in one's heart.

    @kaibe5241@kaibe52417 ай бұрын
  • Great show. I really love Frenkel. He is so clear and his enthusiasm and sense of wonder is infectious!

    @johnstebbins6262@johnstebbins6262 Жыл бұрын
  • A full 14 minute in depth explanation of goedel's impossibility theorems, and then lex goes "so every why has a definite answer"

    @0risenloudly@0risenloudly Жыл бұрын
    • ??? every why still can have a definite answer but not on the same system

      @Paronimous@Paronimous Жыл бұрын
    • To be fair, as far as I understand Goedel's incompletness theorem (I think thats what you mean, 'incompletenes' rather than 'impossiblity'?) the theorem only states that there is at lease one state that is not within the universal set. And that by the virtue of at least one, that makes the whole 'completeness' incomplete. It does not mean 'there are questions that can not be anwsered', it just means, 'Mathematically, there is at least one question that can not be anwsered'. I choose to interpret that to mean "Do we get Pizza or Fish and Chips." being the question.

      @jaywulf@jaywulf7 ай бұрын
    • @@jaywulfnot necessarily a question being asked but rather and assumption being posed

      @436tucan4@436tucan46 ай бұрын
    • @@jaywulfbecause a question would imply that if an answer was derived, the answer would be used to start the system of logic, but within the logic the axiom was already assumed without validation (except if you go meta)

      @436tucan4@436tucan46 ай бұрын
    • 9:28 No, no it doesn’t. It “proves” these things if you aren’t a shrewd enough logician to understand that a self-contradicting and semantically empty statement is simply “incoherent” within any coherent formal system (that is coherent with the Logos). Also the halting problem is solved by the Logos and by translating programs into a number of versions until a halting version is found (if the original does not halt by the time that other halting version is found). It’s all easy and these people that think LOGIC is imperfect or can’t prove everything are the fools, even if they’re “big names” and did some cool things. When the Math doesn’t “add up” it’s YOU/US (the fallible mathematician and fallible humans) that screwed up, it’s not Math and Universal Logic (Logos) that were actually imperfect at their Root and in their Essence. Perfect Logic is Perfect Logic and that is tautological and 100% certain. There is no “truth” that is not encompassed by the Universal Logic or (objectively) true without being so according to the Standard of Universal Logic. It is illogical and logically contradictory nonsense to speak of a “truth beyond Logos” or any aspect of Logic that cannot be symbolically represented with Formal Logic.

      @logicalconceptofficial@logicalconceptofficial4 ай бұрын
  • I think it's valuable to also go a bit into the whole "completeness & consistency" thing. One could start with definitions and explaining why they're important things we want from formal systems. Then one could proceed to a little history of how "cracks" in set-theory based formal systems began to be discovered by Frege and Russel almost as soon as those systems arose. The story continues with a quick overview of the various approaches to these issues, like ZF(C), NBG, "New Foundations" and type theory (with Russell for a while, then dormant for a long time, then getting a big comeback with Per-Martin Löf and lots more interest recently with Homotopy Type Theory). This brings us to a classification and analysis of the underlying issue - that of predicativity and impredicativity - one might briefly explain what that is and why it's problematic - using various examples of paradoxa of (direct or indirect) self-referentiality. We can then explain how these developments and the predominant research institutions in Germany and Eastern Europe lead to Gentzen's proof of the consistency of (Peano) arithmetic - and how that was a process of formalization which took us around 2.5 millennia from basic arithmetic and logic to Gentzen's proof. The importance could hardly be overstated. The "victory march" of formalization and the power of formal systems seemed assured. ... and then came Gödel.

    @DumblyDorr@DumblyDorr Жыл бұрын
    • "and then came Gödel" No, Gödel was first (1931) and Rosser's extension of Gödel's first incompleteness theorem (which is often falsely attributed to Gödel) was in the same year as Gentzen's proof, 1936. Gentzen evaded the incompleteness theorems: the system he used to show that PA is consistent is not stronger than PA, but miraculously manages to capture the structure of proofs in PA (in particular, it is not weaker than PA). I think Gentzen's result is even more breathtaking and few people (if any) understand it.

      @Flovus@Flovus Жыл бұрын
    • Godel vs Gentzen? Epic math battles in history? Please tell me this is a KZhead series 🫡

      @jaymethodus3421@jaymethodus342111 ай бұрын
  • In another paper, Gödel developed an axiomatic system containing the self-referential statement, “This statement is false.” He then proved - within the same system -that “This statement is false” is true. All he needed was the countable numbers (the set N) and a few very simple rules. On “Emergence:” Taking simple rules then applying them to a simple structure to produce complex “behaviour,” is also a subjective process. In what axiomatic system can you consistently define both “simple” and “complex,” then show that there are no self-referential contradictions?

    @eamonnsiocain6454@eamonnsiocain6454 Жыл бұрын
    • The Chomsky hierarchy defines classes of complexity of behaviour. Any Turing complete system can capture the fullness of complexity, and they are all well defined computational systems. Also, the simple structure of these systems can produce the most complex behaviour possible: irreducibly complex behaviour.

      @ciarantaaffe4199@ciarantaaffe4199 Жыл бұрын
    • In "another paper"? Which would that be? "All he needed was the countable numbers (the set N) and a few very simple rules." This comic reference to Peano arithmetic and gödelisation really hurts!

      @kurtgodel5236@kurtgodel52362 ай бұрын
  • What a great an inspiring guy Mr. Frankel is. It’s simply great learning from his talks.

    @guntherschabus3458@guntherschabus3458 Жыл бұрын
  • Gödel's theorems challenged the notion of completeness and consistency within formal systems and had a profound impact on the philosophy of mathematics. They demonstrate inherent limitations of formal systems and suggest that there will always be truths that lie beyond the reach of any particular system. These theorems have also influenced the field of computer science, particularly in the areas of artificial intelligence and algorithmic complexity theory.

    @cryptic8043@cryptic804311 ай бұрын
    • It’s so obvious, you can’t put all your eggs in one basket. We need competing ideas, we need theories that “contradict” others, but because of this they work (meaning multi-valued logics that immediately eliminate Gödel’s theorems), etc.

      @olegilin7094@olegilin70944 ай бұрын
    • Thanks for your clear exposition of the core ideas embraced in Godel's amazing theorem...

      @barneyronnie@barneyronnie4 ай бұрын
  • I love his comment on the findings of Godel and Turing being "life affirming". Very well said.

    @arontesfay2520@arontesfay25204 ай бұрын
  • Ed Frenkel is one of my favourite people. His book is fantastic.

    @markcarey67@markcarey67 Жыл бұрын
  • 🎯 Key Takeaways for quick navigation: 00:02 🧠 *Gödel's Incompleteness Theorem Overview* - Gödel's Incompleteness Theorem explores inherent limitations in mathematical reasoning. - Mathematics relies on axioms, fundamental statements taken without proof. - Euclidean geometry serves as an example of a formal system based on axioms. 07:18 🤖 *Formal Systems and Axioms* - Mathematics is structured by formal systems using axioms. - Different choices of axioms lead to distinct branches of mathematics. - Rules of inference guide the logical derivation of theorems within these systems. 09:25 🔍 *Gödel's First Incompleteness Theorem* - Gödel's First Incompleteness Theorem refutes the idea that all of mathematics can be algorithmically derived. - It asserts that within a consistent formal system, there exists a true statement unprovable by syntactic processes. - Challenges the notion that all truths can be computationally generated. 11:45 🧩 *Gödel's Impact and Open-Ended Exploration* - Gödel's theorem sparked a revolution, challenging the completeness of mathematical systems. - Analogous to Turing's halting problem, revealing inherent limitations in algorithmic comprehension. - Encourages an open-ended perspective on computation, leaving room for future discoveries. 13:30 🌌 *Emergence, Complexity, and Neural Networks* - Explores the emergence of complexity from simple rules, analogous to Game of Life. - Discusses the challenge of training neural networks on ambiguous perspectives. - Raises questions about the subjective nature of AI interpretations and biases. 17:00 🔄 *Niels Bohr's Complementarity* - Introduces Niels Bohr's complementarity principle to explain subjective perspectives. - Compares complementarity to ambiguous visual phenomena, emphasizing our limitations. - Suggests embracing the mystery and open-ended nature of understanding complex systems. Made with HARPA AI

    @TK_Prod@TK_Prod3 ай бұрын
    • Your summary is riddled with errors.

      @kurtgodel5236@kurtgodel52362 ай бұрын
    • @@kurtgodel5236 You'll have to be more specific

      @TK_Prod@TK_Prod2 ай бұрын
    • ​@@TK_Prod Would be happy to oblige, if youtube algorithms were less prone to delete my comments.

      @kurtgodel5236@kurtgodel52362 ай бұрын
  • I love this stuff. This channel never seems to disappoint.

    @elindauer@elindauer Жыл бұрын
  • Wow!! Great explanation of incompleteness! The best I have seen so far!

    @sanjitdaniel4588@sanjitdaniel4588 Жыл бұрын
    • GAYDOH

      @rgw5991@rgw5991 Жыл бұрын
    • would you say the explanation was complete?

      5 ай бұрын
    • Ha ha good one.. As complete as an be at this level I guess...

      @sanjitdaniel4588@sanjitdaniel45885 ай бұрын
  • Great video, people take calculus and algebra classes for years and no one explains to them the fundations of what you are studying as clear as this guy does

    @jeremias5688@jeremias5688 Жыл бұрын
    • Do people?

      @unkokusaiwa@unkokusaiwa3 ай бұрын
    • It takes a deep and complete understanding to make it as simple as it can possible be explained.

      @jj4791@jj47913 ай бұрын
    • @@unkokusaiwa HAHAAA

      @jeremias5688@jeremias56883 ай бұрын
  • Reminded me about a study of the mona lisa smile, where they discovered that the smile appears to be more obvious if we use our peripheral view, so that its way she sometimes appear to smile but then again, she does not. Maybe some of those trick images may have an explanation that is more complex than subjective.

    @koraamis5568@koraamis5568 Жыл бұрын
  • Greatly appreciated broadcast. Thanks for sharing! Ex-Maths teacher. Have a GOOD weekend!

    @Keithlfpieterse@Keithlfpieterse Жыл бұрын
  • ‘We’re still feeling the tremors today.” Wow.

    @cyclonasaurusrex1525@cyclonasaurusrex1525 Жыл бұрын
  • this is a Thankyou to Lex and his team for committing to in-person interviews with high quality audio equipment. It makes all the difference to the audience experience.

    @thelovewave@thelovewave4 ай бұрын
  • There are some nice ideas about emergence of complexity. As nothing is the same, there is an incremental effect by repetition, similar to what our memory in the brain does with the episodic memory, each time we see a cat for example, the cat experience adds meaning to our definition of cat, even if it is the same cat at the same place. A bit like Peircean semiotics thirdness, when we interpret a sign it can generate a new one, even more if instead of just one triadic relationship there is a whole network of it, by aggregation and interconnection, at some point it generates more complexity of evolving meaning, because it cannot be the same, different than in mathematics. In mathematics if we add 1 + 1 it is always 2, but in reality that is impossible, and the 2 will be always slightly different each time we add 1+1. In short, complexity has to emerge because repetition is impossible.

    @koraamis5568@koraamis5568 Жыл бұрын
  • I wish my father had teached me mathematics like him. So calm and collected makes it easy😢😅

    @themacso4157@themacso4157 Жыл бұрын
    • Don't forget that he has spent decades of his life dedicated to learning and communicating mathematics. It take a lot of hard work to be able to do what he does.

      @MuffinsAPlenty@MuffinsAPlenty Жыл бұрын
    • Is your dad a mathematician? If not the case, pls respect your dad.

      @linchenpal@linchenpal11 ай бұрын
    • @@linchenpal yes

      @themacso4157@themacso415711 ай бұрын
    • Some people are natural at math but cannot teach or explain it. Others work harder to learn it, but do better conveying it. But most people are bad at what they do and don't care to try to learn everything they are capable of.

      @jj4791@jj47913 ай бұрын
  • Excellent interview

    @alexlucassen8489@alexlucassen8489 Жыл бұрын
  • Great explanation! Regarding the perception problem at 14:52 , the top down perception in the brain can provide a trivial explanation. Just like Lex mentioned for neural networks, the bottom up sensory features leads two activated outputs: 0.5 Rabbit and 0.5 Duck. However, the top down awareness in the human brain can only attend to one output at time. So if you attend to the duck output, the duck neuron will be activated. Now because the information comes from top to bottom, all the related neurons to Duck will activate (none will activate for the Rabbit). And that is why you suddenly perceive it as 100% Duck or 100% Rabbit if your top down awareness attend to the Duck or vice versa.

    @brainxyz@brainxyz Жыл бұрын
    • simply giving it the name "topdown" is neither much of an explanation nor interesting. and who is this "you" picking what to attend to? that's the interesting stuff

      @iranjackheelson@iranjackheelson Жыл бұрын
    • @@iranjackheelson The brain is a reactor and converter not a creator. So this whole story goes into lala land categories.

      @s.muller8688@s.muller8688 Жыл бұрын
    • @@s.muller8688 you're being sarcastic right? brain is exactly not just a converter or reactor. it is a creator indeed. part of the reason why you can't predict what you want to eat for lunch 100%.

      @iranjackheelson@iranjackheelson Жыл бұрын
    • @@iranjackheelson what you going to eat at lunch is already stored in the memory in the form of known data, which than randomly get's chosen by thought. Nice try.

      @s.muller8688@s.muller8688 Жыл бұрын
    • @@s.muller8688 decision to what to eat for lunch is influenced by your prior beliefs and states, but it's not just stored as "known data". nice try

      @iranjackheelson@iranjackheelson Жыл бұрын
  • What is the name of the knot displayed in the title?

    @MichaelT_123@MichaelT_123 Жыл бұрын
  • I've been waiting for this!

    @clydeblair9622@clydeblair962211 ай бұрын
  • Thanks for coming up with this interesting topic with this brilliant guy..❤🎉

    @niranjansaikia9379@niranjansaikia937925 күн бұрын
  • Frenkel is probably my favorite guest of all time I’ve rewatched the interview many times

    @gumbotime9564@gumbotime9564Ай бұрын
  • Loops are similar to self referential statement that are connected to some paradoxes in naive set theory. But they are completelly resolved in modern set theory ZFC. Also there are no connection between these paradoxes and Godel results. Godel theorem are valid for every formal system strong enought to interpet Peano arithmetic.

    @IvanGrozev@IvanGrozev Жыл бұрын
  • "I used the formal system to destroy the formal system." - Thodel

    @timhaldane7588@timhaldane75883 ай бұрын
  • I shit my pants when he tied everything to complementarity. The golden thread of Platonism. Would love to hear this guy talk with Joscha Bach, John Vervaeke, Max Tegmark, Penrose, Graham Priest, or any other modern great who understands and promotes this principle.

    @InterfaceGuhy@InterfaceGuhy Жыл бұрын
    • I've been watching a lot of physics videos lately, mostly from Drs. Sabine Hossenfelder (Science without the Gobbledygook) and Matt O'Dowd (PBS Spacetime). Both channels take dips into the Quantum and explore some of the weirdnesses within. I've been thinking a lot about the ideas of complementarity and how they might relate to quantum superposition and the measurement problem. See, I'm starting to think that maybe the wave function doesn't collapse at all, but rather we are just observing one "version" of the particle. Its unobserved complement might still be just as real as the one we measure, but can't be seen at the same time. In a sense, maybe particles really are in two places at once, but we can only observe one at a time. Thoughts?

      @sabinrawr@sabinrawr18 күн бұрын
    • @@sabinrawr yea I have a lot of thoughts about this. Safe to say there is a lot of confusion surrounding QM as it is popularly understood. I tend to go with interpretations akin to objective collapse or Quantum Bayesianism.

      @InterfaceGuhy@InterfaceGuhy18 күн бұрын
  • In cellular automata the complexity emerges not completely from the rules, but from action of the rules on the initial setup. The rules themselves are just the computational engine. And as any good computer it has the same halting problem. So add a good initial setup and you have complexity - which is a manifestation of the halting problem.

    @petkish@petkish5 күн бұрын
  • 13-42 Сложность возникает из одного из свойств Информации - которое говорит, Информация имеет тенденцию к накапливанию и усложнению своей внутренней структуры и содержания. Complexity arises from one of the properties of Information (with a capital “I”) - which says, Information tends to accumulate and complicate its internal structure and content.

    @olegilin7094@olegilin70944 ай бұрын
  • Fantastic stuff one of my favorite clips.

    @Viethalnumba1@Viethalnumba1 Жыл бұрын
  • That's why this is my favourite channel on platform

    @rudolfsykora3505@rudolfsykora35059 күн бұрын
  • Editing a foundational part of the whole interview✨🙏

    @bjpafa2293@bjpafa2293 Жыл бұрын
  • I really liked when he jst softly said the key to genius . " To have open end process " to let yr conscious intelligence lead . Rather than deciding one thing and another

    @Learner..@Learner..8 ай бұрын
  • Wonderful guest! Obviously Brilliant, yet modest! 👏

    @vm-bz1cd@vm-bz1cd2 ай бұрын
  • I read that 3-SAT is Turing complete. And that's just basic Boolean algebra! And Gödel's incompleteness theorems don't apply to Boolean algebra. However, for example the set of natural numbers is infinite, so one has to use something like induction to define that in Boolean algebra. Or define a Turing machine that runs forever and outputs the natural numbers.

    @Anders01@Anders01 Жыл бұрын
  • Love your podcast, always a hit. But this was a grand slam.

    @amendlowitz@amendlowitz Жыл бұрын
  • Wow. Bravo , that was thrilling

    @e99783@e99783 Жыл бұрын
  • Wonderful interview. If Penrose is right in that consciouness is not an algorithmic computation, as per Godel, then we are not wholly deterministic, a comforting thought!

    @aletheia161@aletheia1615 ай бұрын
    • Or that even if we are wholly deterministic, it is not in a way that can be replicated by any formal / computational approach known today. Penrose has basically said something similar.

      @Mattje8@Mattje8Ай бұрын
    • @Mattje8 Very true. Do you think if we are not wholly deterministic, that Penrose's idea, if true, would explain the phenomenon? Could it be that superposition and entanglement provide human's with the ability to think outside the box, to get the "god's eye view" ?

      @aletheia161@aletheia161Ай бұрын
  • Brilliant discussion

    @Mattje8@Mattje8Ай бұрын
  • Эдуард как всегда на высоте - чертов гений!

    @vladrazzy@vladrazzy Жыл бұрын
  • Lex on Godel's incompleteness and Turing's undecidability: _"It's very depressing."_ Frenkel: _"Or life affirming!"_ Edward is ahead of Lex in spiritual development. When we embrace that we will never attain a _Theory of Everything,_ it opens up greater possibilities!

    @paryanindoeur@paryanindoeur7 ай бұрын
    • I think Lex was joking about programming. There being no means to figure out the perfect program. :)

      @evertoaster@evertoaster4 ай бұрын
    • @@evertoaster Agreed, Lex was not being 100% serious in his answer

      @paryanindoeur@paryanindoeur4 ай бұрын
  • I think the duality like it is mentioned towards the end of the video and also the problem, that identity can't work like in formal logic and math (where something is identical to itself and if it is different, it can't be identical, but in reality everything is always changing, like the ship of Theseus, where every part is replaced one after the other until no part of the original ship is still there) can both be solved if we assume, that nature is really dialectic. And dialectics also allows contradictions, so we don't have the a problem if we prove something and also it's contradiction. So maybe we could advance our understanding of the world if we assume that the natural world is dialectic and only obey formal logic under special constrained circumstances. We would probably need a new kind of logic then, which includes dialectics.

    @rfvtgbzhn@rfvtgbzhn4 ай бұрын
  • Postmoderns have substituted emergence for manifestation, as if "because, because" had any explanatory value.

    @andrewferg8737@andrewferg8737 Жыл бұрын
  • beautiful story so far really, guys...

    @joshh7666@joshh7666 Жыл бұрын
  • An innocent question: if the incompleteness theorem refers to the existence of ''valid'' propositions whose truth or falsity is impossible to prove within a formal system of axioms, then, on what basis is it assumed that the proposition was considered ''valid'' to start with (if it was)? Or, is ''valid'' above = merely ''formally constructable''?

    @farhadfaisal9410@farhadfaisal94104 күн бұрын
  • I've heard it explained in terms of games. If you have chessboard that is halfway through a game say, there is no way to derive using the rules (axioms) what the board looked like say 10 moves before. That's about as far as I get.

    @proteus4301@proteus43014 ай бұрын
  • I don't know why, but Edward Frenkel is my favorite guest so far. Invite him again pls!

    @makikaki15@makikaki15 Жыл бұрын
  • This was fun to listen to.

    @mikefredd3390@mikefredd3390 Жыл бұрын
  • Great talk as always, it is very humbling to remind ourselves of the ground where we're standing. Cheers from Brasil!

    @marcusvinicius5200@marcusvinicius5200 Жыл бұрын
    • ❤ from Brasil

      @raulgalets@raulgaletsАй бұрын
  • In 2015, a group from London proved that many-body quantum systems are analogs of Turing machines, essentially computing for the rules of quantum mechanics. Because the system essentially has to reference itself in optimization of electron distribution, within a limited number of excitations, they then went on to demonstrate that some properties, like spectral gap prediction, are undecidable. Reductionism has a limit and there are things in life not only that we can't predict, but neither can nature!

    @akagordon@akagordon11 ай бұрын
  • Top guest 👍

    @bradleyclutton4564@bradleyclutton4564 Жыл бұрын
  • 11-40 The presenter raised the question of calculation, but he understands this term only from one side. In fact, the word calculation can be understood as a process when images of information (not the information itself, but its stored state, impression, correlation) are transferred to the state of Active Information. For example, the image of the word “fox” is transmitted to the brain. The paper acts as a carrier of the image of the word “fox”. Note that there is no information about the fox itself in the symbols written on the paper, but there is a certain correlation. The observer, in the form of a light stream, acts on the paper (“reads”) the image of the word “fox” and stores it in the form of a frequency modulated signal with its spectrum. Note that nothing remained of the letters “fox”; the letter was considered an observer (light flux), produced in the form of active information and stored in its format in the signal spectrum. The human eye acts as an observer and reads the image of letters from the medium (light flux) and writes new correlations in its own format, for example, into energy signals traveling along nerve endings to the brain. Etc. And only at the last stage, the neural network of the brain, reading the correlations that came to it and using memory and reference sets, creates (generates) an active information flow and generates information about the fox (thereby reproducing reliable information from the word image stored on paper). So calculation is an analogue of the active process of the Observer, it is a mechanism as a result of which “real” Information is born within the context of this Observer.

    @olegilin7094@olegilin70944 ай бұрын
  • Your talk with Edward took a most interesting path from subjective axiomatic foundations, creation of mathematics thru logical inference & syntactic process, to Goedele’s & Turing’s Theorems opening space for new things. You then jumped to cellular automata & emergent complex behavior, leading Alex to bridge to neural nets via figure-ground human perception. At this point I flashed on the interesting possibility that we are all (inescapably) training AI systems to be human in the most fundamental way possible. My thought was that the methods of our perception are at their core, the syntactic evolutionary algorithms that created life and us. Also, that we are incapable of recapitulating ourselves in our dogs, children or AI, in any other way. The intimacy of the evolutionary syntactic process that created us is the heart and soul of our perceptual engine. As we discover this syntax in recreating ourselves, we give this soul to our syntactic silicon selves, our AI. Everything is layers of complexity. My research leads me to conclude that we are close to an inflection point in our understanding of the second law of thermodynamics. When that happens, this next layer of complexity may provide a foundation for a true science of life… and AI is our ashlar test vehicle.

    @michaeloconnor4925@michaeloconnor4925 Жыл бұрын
  • I think Euclidean geometry is a good example for the difference between physics and math. In math, the 5th postulate is just an axiom. in classical physics, it's derived from observation and in general relativity, which was necessary because classical physics didn't agree anymore with some observations (like the orbit of Mercury), it is only valid in the special case of flat space, which is a good approximation in some cases, but strictly only exists in an empty universe or in single points which have a curvature of 0.

    @rfvtgbzhn@rfvtgbzhn4 ай бұрын
  • Is there a quantum generalization of logic in which statements can be in a superposition of true and false states, and is there an analog of Godel's theorem in the framework of quantum logic? (More basically, what is a "quantum proof"?)

    @kenjohnson6101@kenjohnson61014 ай бұрын
  • I know the theorem and the proof and all the theory and i can say that i like the way he summariezed it for wide audiance

    @JosiahWarren@JosiahWarren Жыл бұрын
    • GAYDOH

      @rgw5991@rgw5991 Жыл бұрын
  • I like the late Dr. Van Till's view of how that its necessary to start with "the very first principle" of our creator's existence. THEN we can make sense of everything in virtue of that divine ultimacy of reality. Top down rather than bottom up. It acknowledges the need for divine revelation, not only in order for us to know that the ultimate nature of reality is divine, but so we can have intelligibility for facts generally, regarding things we can see and touch.

    @ChessArmyCommander@ChessArmyCommander4 ай бұрын
    • Except it's been understood for a while now that there doesn't need to be a creator in the universe we inhabit. It's an established part of physics that structure can emerge from "nothing" due to spontaneous symmetry breaking. "Structure" referring the laws of the universe that give rise to what we see as material reality. It's understood that as energy levels lower, the many symmetries of the universe break down in ways that create more and more differentiated structure as opposed to the extremely high symmetry of nothingness (everything being the same under all possible transformations. This isn't just speculation. It's proven that the most fundamental laws of physics, the conservation laws, are all just emergent expressions of symmetries in the universe. They did not have to be decided on or written down by a creator. They just emerge due to the "shape" of reality. Even the most fundamental "things" in reality, quantum fields, emerge spontaneously as energy decreases. The four fundamental forces emerge spontaneously from one as the universe cools. At the beginning of the big bang, there was a single fundamental force, and as the universe cooled, broke into 4 different forces. More symmetry to less symmetry. More similarity in the universe to less, which is to say more structure emerging from less. No creator needed. The big bang itself is very likely the breaking of time symmetry. The existence of things like "charge" is due to spontaneous symmetry breaks too. Like liquid water being the same/symmetric from all sides spontaneously turning into a snow flake as energy lowers and suddenly being symmetric from only 6 sides. That's a rough analogy of a symmetry break. The structure of the snowflake emerged from the less structured water completely passively due to the symmetries of liquid water breaking as energy falls. None of this proves there is no God, but it DOES mean that God isn't necessary or inevitable to explain the universe existing. Structure can emerge from where there was no structure completely passively as things go from high energy to lower energy, which is just to say time passes.

      @ryandempsey4830@ryandempsey48303 ай бұрын
  • Would love to hear Douglas Hofstadter interview 🖤

    @bygonebotanical@bygonebotanical Жыл бұрын
  • However, perhaps the counterexamples produced by Gödel and Turing come down to loops. A clear disjunction between formal systems and meaning happens in music. The works of Bach all follow rules which can be expressed as a mathematical formal system. The mathematical validity is a framework which helps support the emotional meaning (different for everyone), but the emotional meaning is outside the formal system.

    @laurenceglazier@laurenceglazier Жыл бұрын
    • The eternal golden braid

      @conor2337@conor2337 Жыл бұрын
  • this is like listening to a theologian saying the practice of theology itself is nonsense when it takes itself to seriously. refreshing.

    @davidthurman3963@davidthurman3963 Жыл бұрын
  • In mathematics and IT, sometimes, evaluating whether the a particular process will complete or not is just as complex as actually doing the process.

    @philippenachtergal6077@philippenachtergal60774 ай бұрын
  • 13:00 LEX: I think your comments here really convey (in a wonderful way) how you view such matters. I approach such topics with more caution than yourself, but this really does convey your Intent regarding AI and related matters.

    @jacksmith4460@jacksmith4460 Жыл бұрын
  • Great conversation. An interesting detail: Mr. Fridman wears a jacket and tie, while Mr. Frenkel wears neither jacket nor tie. I like Mr. Frenkel's look.

    @JCP389@JCP389Ай бұрын
  • That was great!

    @jaitanmartini1478@jaitanmartini1478 Жыл бұрын
  • I worked for IBM in the 1980's on Artificial Neural Network systems and encountered the dog-cat problem the guest describes here (only they were printed numbers with voids in the images such that 0 and 8 could not be distinguished reliably). The ANN would classify those as patterns as rejects, i.e. unreadable or unrecognizable, based on the difference between the highest class score and the next highest against a confidence level, which was derived statistically across all patterns. But rather than being attributed to perception as the guest suggests, it really was the result of two factors: too low an optical resolution and an insufficiently precise definition what would constitute an "8" and a "0" in the case where the "8" was degraded and the training patterns were manually tagged based on those low resolution images. What needed to be done was the training patterns should have been tagged by the printer program that generated them. As to cats vs dogs, it goes back to precisely defining what a cat is vs what a dog is ontologically. For that you'd have to look at every possible variation of what each is, their similarities and differences in order to derive a precise definition, which is what the ANN is attempting to do. So it's a chicken-egg problem, but as mis-tagged images are discovered in the training set that cause errors in the test set, then those mis-tagged images can be corrected, further refining the definitions for each. This kind of corrective (and adaptive) feedback is what makes these systems work.

    @alecepting1371@alecepting13714 ай бұрын
    • You’ve missed the point entirely.

      @Mattje8@Mattje8Ай бұрын
  • Lex is such a good interviewer.

    @jameswilliamjones@jameswilliamjones7 ай бұрын
    • Be smart. Ask good questions. STFU. 😮

      @jj4791@jj47913 ай бұрын
  • This interviewee is a very smart man.

    @higherbeingX@higherbeingX4 ай бұрын
  • This clip was amazig. I love it.

    @ot44eto@ot44eto11 күн бұрын
  • The weirdest thing is the proof isn’t even that complicated once you develop all the foundational theory of logical deduction. Since there are a finite number of rules for deduction you can assign an integer code to every rule. I don’t remember exactly, but you take a self-referential statement like “this statement is false” and turn it into integer code. It becomes a “theorem” about integers, but the self referential nature can be used to show that if a proof of the special theorem constructed exists, then the statement must be false which is a contradiction. The conclusion must be that no proof of the constructed theorem exists. A proof that the theorem is false also doesn’t exist following the same method, which is the part thats really hard to wrap your head around.

    @marshallsweatherhiking1820@marshallsweatherhiking1820 Жыл бұрын
    • The key was indeed the Godel numbering system...

      @barneyronnie@barneyronnie4 ай бұрын
    • Nagel and Newman have a lot to answer for.

      @kurtgodel5236@kurtgodel52362 ай бұрын
  • Mr. Lex, for every question you have that bothers me, you have ten that I find fascinating.

    @nicholas1460@nicholas14602 ай бұрын
  • complexity emerges from simplicity due to entropy. Simple things have simple structures of information, which have a higher degree of freedom of arrangement, which creates complexity in arrangement. From complexity emerges (systemic) simplicity, because complex systems have a lower degree of freedom of arrangement.

    @benjaminangel5601@benjaminangel5601 Жыл бұрын
    • Due to decoherence…

      @tessxu8367@tessxu8367 Жыл бұрын
    • Damn, that's a good explanation.

      @trisbane4086@trisbane40862 ай бұрын
  • Fascinating conversation, as always. I have to disagree with Mr. Frenkel 's statement that no one knows why people automatically see one, or the other representation in an image such as the duck/rabbit one. A simple way to recognize this is to imagine that you show a picture of a rare animal to a hunter-gatherer for whom it is a common threat to their group. This image can also be seen as a small vehicle to someone who often rides them. I think you know where I'm going, and now you can explain what no expert can. Not quite.

    @davevallee7945@davevallee79453 ай бұрын
  • Do logical inferences require axioms? If not it seems it is the most foundational subject. What are arguments against a logic platonic idealism, if they underlie math?

    @josephrichards7624@josephrichards76247 ай бұрын
    • Do logically valid inferences "require axioms"? No. Inferences are not proofs. Do proofs "need axioms"? No. Gentzen-style calculi don't.

      @kurtgodel5236@kurtgodel52362 ай бұрын
  • I'm surprised Frenkel is not familiar with the framework of PAC learning, it seems like the perfect answer to his question about uncertainity regarding labels.

    @tantarudragos@tantarudragos Жыл бұрын
  • What this guy is explaining is at the heart of existence itself.

    @jaymethodus3421@jaymethodus342111 ай бұрын
  • Incredible, as a mathematician and AI scientist I loved what he had to say. I practice magick for the exact reason he spoke of in the end. It's worth noting that Carl Jung also practiced magick and wrote and illustrated his dreams and other deep psych work in his Red Book. People think, "oh you're crazy you think Harry Potter is real," but it couldn't be further from the truth. I believe in targeted rituals that help expand my own understanding of what lies below the tip of the iceberg in my subconscious. As well as to harvest results from it. I think it's worth looking into if you find it intriguing.

    @HexViccissitude@HexViccissitude2 ай бұрын
  • Great clip, but left the Göedel incompleteness theorem explanation Incomplete!

    @ItCanAlwaysGetWorse@ItCanAlwaysGetWorse Жыл бұрын
  • He is a very thoughtful man.

    @psul42@psul425 ай бұрын
  • @6:50 Just a little gloss, since many seem not to get it: if “A” is true AND “if A then B” is true, then “B” is true. If you want to derive “B”, you must have either derived or assumed “if A then B” beforehand. Conversely, if you want to derive “if A then B” you need both “A” and “B”’s truth values beforehand. This is very important because implications have 2 * 2 truth values, among which half are indifferent to the other half (to the antecedent), and they represent the so-called vacuously true implications (those whose antecedents are false: i.e. if “A” is false then “if A then B” is always true, regardless of “B” being true or false, which is a first-class paradox and can very easily be weaponised in rhetorics to sneak in fallacies). They are the case of non-false derivations, which do not lead to any different or narrowed down conclusions per se.

    @logosfabula@logosfabula2 ай бұрын
    • This is beyond repair. Just a brief remark: Implications are not conditionals. The paradoxes of the material conditional (often highly misleadingly referred to as "material implication"), which you are alluding to in your second paragraph, are nothing to do with either implications (semantic) or derivations (syntactic).

      @kurtgodel5236@kurtgodel52362 ай бұрын
  • Gödel should have trolled us and left his incompletence theorem incomplete.

    @mikey1836@mikey18363 ай бұрын
  • Axioms are the dials you tweak to reveal new math. In the case of Euclid, it's clear now that the deformation of the space/plane can lead to new latent spaces of differing, but equally valid math. What's more interesting to me, is the meta-view of why some of these axioms can unveil new useful math, but others are absurdities or yield no value. What system or model manages the distribution of the valid and useful axioms, and can that system be tapped to learn _what we should learn about?_

    @Corbald@Corbald4 ай бұрын
  • Mathematics is not based on axioms. It is based on categories. Without categorizing objects and processes you cannot have two or more of anything. In grouping similar shaped and behaving objects together under one symbol you can then assert that there is more than one of some thing. Without categorization there is only one of eveything.

    @trajklogik7304@trajklogik7304Ай бұрын
    • Hi, I loved your answer. It's enlightening. I'd like to share and ask you some question had came to me as I read you. Please, mind me for my english or lack of conciseness not. First: is this "one of everything" a category itself? Second: is "category" a category itself? Or rather, what's a category? Third: if we ask about a God who 'create' this 'one of everything', are we just splitting in two categories this "one of everything" or are we 'creating', or defining, a new "one of everything" category which will overwrite the older one? Or rather, would this operation be an internal or an external operation to the "One of everything" set? Fourth: what's an operation? Fifth: who's the one who make the operation of categorising? Sixth: does defining, or rather 'creating', needs at least one external element -the one of everything or the one everything is defined from- to make subsets from, with or within that element, to set everything, to set the set of everything? Seventh: does the set of everything needs a definer to define itself? Or rather, can a set define itself by itself? Eighth: is the 1 element truly a element 1 if it can slit into two elements? Or rather, is 1 a element or a set of elements? Can be the 0 element slit into something else other than it self? Can the empty set do the same? Nineth: is the empty set an element? Is the empty set at least the only element where other elements can place within? Tenth: is the 'one of everything' the one, the zero or the empty (set), the emptyness of everything? Eleventh: what's the empty set? What's the emptyness of everything? Is it the set of every empty sets? How many -or how much- elements does it contain? Twelveth: can the empty set, or the emptyness of everything, fill itself by itself? Theerteenth: who fill the empty set? Who fill the emptyness of everything? Really thank you. I apologize, I had not believed so lot of questions might flowed out. Waiting on a answer, Feeling happy already, Cheers. -The Lord is my sheperd, I miss nothing. Nothing, unless a you.

      @mescale@mescale12 күн бұрын
  • “No system can fully understand its own deficiencies"

    @ibnkhaldun7373@ibnkhaldun7373 Жыл бұрын
  • I've been saying Goedel's name wrong my whole life

    @tupacalypse88@tupacalypse88 Жыл бұрын
  • Many Native peoples use visual puns in their art forms, because both images carry the spiritual power contained in the subject designated. Here eg Rabbit has spiritual powers of speed and survival. AND bird is wise and loyal etc. A great book describes ING how this works is YAQUI DEER SONGS. You guys would love it. Also Northwedt Coast indians eg Kwakiutle use lots of visual puns in art , dance masks, eg for transformations in sodalitiies. Point being no reason to associate Either Or neur branches vs broader associations of power, paradox, mystery. The latter are so old and common in human cultures.

    @jamescherry2763@jamescherry2763 Жыл бұрын
  • Call me crazy but I think everyone may be missing the point with incompleteness. If incompleteness arises from a complex system doesn’t that mean the iteration of that system gives rise to emergent properties that will always yield more problems than answers?

    @VeritasVinci@VeritasVinci11 ай бұрын
  • Yes, but try to redo planar geometry without the fifth postulate. The fifth postulate is obviously not true for spherical surfaces. So it obviously shouldn't be postulated for spherical surfaces.

    @johnrichardson7629@johnrichardson7629 Жыл бұрын
  • Einstein did think highly of Godel but Einstein was at the Institute of Advanced Studies years before Godel did.

    @anthonyjulianelle6695@anthonyjulianelle6695 Жыл бұрын
  • Both the Incompleteness Theorem and the Halting Problem rely on Cantors diagnolazation argument. There is a flaw in this argument, as it leads to inconsistent conclusions in binary. Consider the diagnolazation of the set below: 1.00000..... 0.00000..... 0.10000.... 0.01000.... 0.11000.... 0.00100.... . . . 0.000...011 = 3 x epsilon 0.000...010 = 2 x epsilon 0.000...001 = epsilon 0.000...000 The diagnolazation of the above set produces the number 0.11111... which is either 1.0 or the first number listed, or 1.0 - epsilon.

    @Chazulu2@Chazulu23 ай бұрын
  • There is no problem for probabilistic graphs to handle the rabbit and the duck image. An object can belong to two archetypes/classes. Think of topic modeling where a word belongs to many topics in a document: clean in a customer feedback may be pertinent to the bathroom in the hotel room or the restaurant of the hotel. Good unsupervised learning has no problem with mixed memberships. I wonder if Edward is aware of that.

    @paulhofmann3798@paulhofmann3798 Жыл бұрын
  • This guy is a god. Love his appearances on Numberphile

    @cedalege@cedalege15 күн бұрын
  • Not often that this host of topics are touched on in the same sitting... 1: The "A versus B logic modality" is mentioned as being first introduced by Aristotle (and is lightly implied as being an imperfect system)... 2: Knowledge being limited by imperfect biological and mental perception (all of us) as well as our previous life experience (causing completely unavoidable data bias)... and 3: mention of the collective unconscious. I've gotta give credit to both these men for being versed enough in these ideas to expound on it with each other. Doesn't happen too often

    @blakefieldmalcolm5638@blakefieldmalcolm56383 ай бұрын
  • Math is intriguing...once you know how it's used to understand the universe, our world, and ultimately...ourselves.

    @anthony-kv6qh@anthony-kv6qh Жыл бұрын
KZhead