Logic ForAll

Forro' Logico: A blog to keep things.

Thursday, June 14, 2012

Mathematics as we know it...

Frank Quinn had a very interesting article entitled "A REVOLUTION IN MATHEMATICS? WHAT REALLY HAPPENED A CENTURY AGO, AND WHY IT MATTERS TODAY", in the Notices of the AMS, January 2012. You can find it it here.

Valeria at 9:13 PM

Share

No comments:

About Me

Valeria: Valeria de Paiva is a mathematician and computer scientist based in Cupertino, CA. She worked as a Principal Scientist at Samsung Research America. Previously she was a senior applied scientist at Nuance Communications, Sunnyvale, CA. Earlier she was at Rearden Commerce and she was a search analyst at Cuil, Inc. in Menlo Park, CA, from May 2008-Sept 2010. Before that she was a research scientist at the Intelligent Systems Laboratory of PARC (Palo Alto Research Center), California (2000-2008). She received her PhD in Mathematics from Cambridge University in 1988 for work on "Dialectica Categories", under Martin Hyland's supervision, and has ever since worked on logical approaches to computation, especially using Category Theory.

View my complete profile

Powered by Blogger.

Thursday, June 14, 2012

Mathematics as we know it...

No comments:

Post a Comment