Tag Archives:Computing

Logic ForAll: A Tour

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 inApplied Math,Artificial Intelligence,Blogs,Category Theory,Math Communication,Mathematics and Computing,Theoretical Mathematics,women in math | Tagged,,,,,, | 2 Comments