What do we mean by "equal" - Pierre Deligne

Vladimir Voevodsky Memorial Conference
Topic: What do we mean by "equal"
Speaker: Pierre Deligne
Affiliation: Professor Emeritus, School of Mathematics
Date: September 11, 2018
For more video please visit video.ias.edu

[@radosawcymer4557]

This ticks off all the boxes of a brilliant lecture. Strong French/German/Russian accent? Check. Jumping from elementary school algebra/geometry to algebraic topology/geometry like they are conceptually on the same level? Check. Exhausting all the reachable blackboards and reusing only the bottom one? Check. Hand waving? Check. Where are we and what was the point? Doesn't matter. Love it.

[@vapourmile]

He did rite big tho.

[@kamilziemian995]

True.

[@lukasjuhrich503]

Imagine a preschooler looking this question up and accidentally learning about type theory…

[@___Truth___]

😂🤣🤣😂🤣 They're more capable of genius than adults so its possible lool

[@imrematajz1624]

The Man himself! What a privilege to be listening to Pierre Deligne himself in person. One of the greatest living mathematicians. Thanks a lot!!

[@sunsidhe]

Tune in next week for Liberty and Fraternity!

[@praaht18]

you solve one problem and immediately you get a new. the never ending story.

[@jamesfullwood7788]

He's gone so deep into mathematics, he's ended up on the other side where people talk about properties of identity maps....

[@mator2339]

Hey, James, I'd like to know one thing from you, how do you approach studying mathematics ? Like how do you get the conditioning of your school to be out of your approach towards mathematics. I am currently in freshman year of engineering college (electronics) and I am not able to approach mathematics on a deeper level. I mean I dont care about passing or failing right now, I'd just like to get the actual understanding of terms, the applied math taught here is the same, substitute terms and get your answers and marks and frankly I do not like it. How do you approach pure math on a deeper level ? I mean I would like to know the mindset behind reading proofs. I mean I can reason things out in a proof but I am still unable to get it as the whole picture. Anything brief that I can understand will do. Thanks.

[@jackozeehakkjuz]

Yes it's called homotopy type theory lol.

[@___Truth___]

@@mator2339 approach math like rigorous philosophy, and appreciate the idea/concepts of it and just have fun playing with them, make sure when you're having fun with the concepts of math your always defining things clearly and that your train of thought necessarily follows so the insights you come across are always at least valid if not sound

[@unplandivino]

@@mator2339 "Conceptual Mathematics", by Lawvere & Schanuel

[@NothingMaster]

Oh what a tangled web we weave ...

[@eyesyc]

One of my favorites

[@gaulindidier5995]

Plato hasn't got anything over that lecture!

[@oleksiishekhovtsov1564]

Now you may be asking yourself "How did I get here?" ...I do too

[@StephenPaulKing]

Univalence Axiom! This is beautiful work!

[@scribygaming6231]

wasn’t expecting... well any of this tbh

[@CyberneticOrganism01]

It may sound horrible to mathematicians but I think using fuzzy-probabilistic type theory may resolve the problem of proliferation of identities 😅

[@joebloggsgogglebox]

I don't understand the last part; \alpha is a map from S_{n+k} to S_n, but [\alpha] is a map from n loops to n+k loops, how?

[@kamilziemian995]

39:55 WoW. :)

[@aerodynamico6427]

Multiple interpretations of the same operation or symbol in different contexts is something you get used to in higher education or in object-oriented programming languages. This stuff here is way, way, way over my head.

[@jasonxoc]

Looks like Jonah Hill modeled this guy for his Japanese character on SNL: kzbin.info/www/bejne/j3_ZdYGHntpgn9k