Dario Verta

@DarioVerta

Math PhD student and fellow. Computable model theory at George Washington University. Fan of categories, knots, and theorem provers. DC | PR

Vrijeme pridruživanja: studeni 2019.

Tweetovi

Blokirali ste korisnika/cu @DarioVerta

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @DarioVerta

  1. proslijedio/la je Tweet
    20. sij

    Metamath Zero by Mario Carneiro is looking really promising! It's a super-fast proof checker with implementations in and : - Presentation: - Github repository:

    Poništi
  2. proslijedio/la je Tweet
    5. sij

    In this thread I’m going to explain Grothendieck’s section conjecture: what it is and why I think it’s one of the most important open questions out there. This is a sequel to my previous thread about étale fundamental groups: (1/n)

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    29. pro 2019.
    Odgovor korisniku/ci
    Poništi
  4. proslijedio/la je Tweet
    15. stu 2019.
    Odgovor korisniku/ci

    Even people who can't go should read what Olivia Caramello has to say about topos theory. Here's a not-so-technical explanation on her website: and here's something more detailed:

    Poništi
  5. 13. stu 2019.
    Prikaži ovu nit
    Poništi
  6. 13. stu 2019.

    A picture of me was used for the AMS website! Also there are Rhea Palak Bakshi, Marithania Silvero, and Sujoy Mukherjee.

    Prikaži ovu nit
    Poništi
  7. 8. stu 2019.

    Giving a talk tomorrow at UCR- Watkins Hall 2240. Is this a tricky building to get to?

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·