люмини сегодня разговаривал с м. артином, рассказал ему, как доказывается
теорема
грушовского-зильбера и про
своё.
артин считает, что теоретико-модельщики должны теперь заниматься
доказательством теорем об алгебраизации для формальных схем, по типу
grothendieck existence.
спать хочется зверски.