alg geom lecture 3. We didn't prove the Nullstellensatz, but we proved something which looked very much like it: https://github.com/ImperialCollegeLondon/M4P33/blob/020023f2d998d3de43aabc3214b8e5e78b9006a1/src/abstract_V_and_I.lean#L152 …
The reason it can't be the Nullstellensatz is that we didn't import any ring theory at all ;-)
-
-
Lawvere once noticed that the Nullstellensatz is much more general than ring theory: http://ncatlab.org/nlab/show/Nullstellensatz#GeneralAbstract …pic.twitter.com/wFiWhGb8yP
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.