))
Reexamining Canonical Isomorphisms in Modern Algebraic Geometry
Manage episode 523914439 series 3474385
コンテンツは HackerNoon によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、HackerNoon またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.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.
406 つのエピソード
シェア
