The dogma that mathematical proofs could, in principle, be turned into logical proofs remains a conjecture; it is not feasible in practice. Existing proof systems are not up to the job; can they be beefed up sufficiently? Research community disconnect!https://xenaproject.wordpress.com/2020/02/09/where-is-the-fashionable-mathematics/ …
-
-
Ann. of Math.: Quasi-projectivity of moduli spaces of polarized varieties Also Ann. of Math.: Non-quasi-projective moduli spaces ABSTRACT: ... This contradicts a recent paper (Quasi-projectivity of moduli spaces of polarized varieties, Ann. of Math.159 (2004) 597–639.).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.