))
Reexamining Canonical Isomorphisms in Modern Algebraic Geometry
Manage episode 523914439 series 3474385
Contenuto fornito da HackerNoon. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da HackerNoon o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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.
402 episodi
Condividi
