Tag Archives: Computing

Logic ForAll: A Tour

Posted on March 31, 2020 by Vanessa Rivera-Quinones

While touring the math blogosphere I was very excited to find ‘Logic ForAll’, a blog dedicated to making math accessible by mathematician and computer scientist Dr. Valeria de Paiva. She also writes in another great blog Women in Logic, which is … Continue reading →

Posted in Applied Math, Artificial Intelligence, Blogs, Category Theory, Math Communication, Mathematics and Computing, Theoretical Mathematics, women in math | Tagged , , , , , , | 2 Comments