Logic ForAll

Forro' Logico: A blog to keep things.

Wednesday, December 28, 2011

From Quora: What is it like to have an understanding of very advanced mathematics?

›
Someone asked the question above in Quora (a website for generic questions and answers). Someone (Anon) gave a very pretty, detailed answ...
Saturday, November 5, 2011

A mathematician's lament

›
Well, Lockhart  explains it very well indeed...
Friday, October 7, 2011

Ada Lovelace Day 2011: Christine Ladd-Franklin

›
Posting about women in mathematics, a reminder from Ada Lovelace Day... From Algebraic Logic to Optics and Psychology By hook and by crook C...
Monday, May 9, 2011

Louise Hay: Roles Models in Logic...

›
Louise Hay: 1935-1989, Robert I. Soare. Association for Women in Mathematics Newsletter 20:1 (January-February 1990) 3-4. The life and work...
Tuesday, April 19, 2011

Problems and materials...

›
(photo the Spanish Stonehenge--Dolmen of Guadalperal, uncovered by the drought 2022)     I've discussed so far with the classes: Andre...
Tuesday, March 29, 2011

Phil50 First lecture

›
NEW (03/31/11): Since I now believe the course is set up in SUNET's CourseWork, I will stop posting materials here. Email me if you hav...
Monday, March 28, 2011

PHIL50 Basics, for the time being...

›
Stanford University, Spring 2011 PHIL50 Introduction to Logic Professor: Valeria de Paiva (PhD Cantab) Email: valeria.depaiva@gmail.com Lect...
‹
›
Home
View web version

About Me

My photo
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.