Nathan also appeared on “500 Questions”, but because he failed to complete a round, he wasn’t sent home with any money. On “Jeopardy!”, he won the tiebreaker, and plans on seeing Nathan go on a long run never materialized when 19-Day Champion: Jason Zuffranieri destroyed him in Jason’s 1st ever appearance. Still, he was sent home with $21,600. That’s something.
@23:00 did he say "surprising" and "magic"? It should not be. The ℂ numbers are an ℝ structure in the Clifford algebras. So what goes on in the "ℂ plane" is always related to real-valued bivector algebra (the generators of rotations). For curves in ℝ^3 I believe the parameterization problem is related to the fact SO(3) is not simply connected, I guess, plz fact-check me.
@54:00 "automating human intuition" makes no sense. Simulating creativity makes sense. The question is, how or why are human "creative leaps" not merely also simulations? The answer goes back to Nagel (among many illustrious predecessors) which is that intuition connotes subjective qualia, and you cannot simulate the raw qualia of "What is it like to be X?" for any X. You have to actually be X. But simulating creativity, while a useful tool, is not the same process, it is fundamentally constrained by prior information, while presumably human minds are not, we can think in abstract terms and originate entirely new ideas (albeit rarely). (Materialists would disagree, but... I won't give them the time of day.)
I'm glad that I'm at a point where I get hyped to see an influential academic talk about a cool subject than a musician sing their album back with poor audio quality
Nice to watch the gentleman David Eisenbud's introduction to the no less nicer (and pretty ;-) ) Holly Krieger :-) You are both numberphile stars , aren't you ? :-) @4:30 funny basics ! .. (gasp)..I watch a little longer to be sure ;-)
"Automated provers could also be used to explore the space of proofs itself, beyond the small set of 'human-generatable' proofs that often require one to stay close to other sources of intuition, such as existing literature or connections to other ways of thinking." Love this