))
Reexamining Canonical Isomorphisms in Modern Algebraic Geometry
Manage episode 523914439 series 3474385
Контент предоставлен HackerNoon. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией HackerNoon или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.
This story was originally published on HackerNoon at: https://hackernoon.com/reexamining-canonical-isomorphisms-in-modern-algebraic-geometry.
A critical look at how mathematicians use the word “canonical,” revealing how informal shortcuts obscure the real constructions behind key theorems.
Check more stories related to tech-stories at: https://hackernoon.com/c/tech-stories. You can also check exclusive content about #mathematical-logic, #grothendieck, #formalising-mathematics, #interactive-theorem-provers, #homotopy-type-theory, #set-theory-foundations, #associativity-in-mathematics, #canonical-isomorphism, and more.
This story was written by: @mediabias. Learn more about this writer by checking @mediabias's about page, and for more stories, please visit hackernoon.com.
The article examines how mathematicians casually label maps as “canonical,” why this obscures the constructive content of theorems like the first isomorphism theorem, and how formalizing algebraic geometry forces greater precision about what canonical truly means.
408 эпизодов
Поделиться
