Logic ForAll

Forro' Logico: A blog to keep things.

Saturday, November 5, 2011

A mathematician's lament

Well, Lockhart  explains it very well indeed...

Posted by Valeria at 4:00 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Newer Posts Older Posts Home
View mobile version
Subscribe to: Posts (Atom)

Followers

Blog Archive

  • ►  2025 (4)
    • ►  June (2)
    • ►  March (2)
  • ►  2024 (10)
    • ►  December (1)
    • ►  November (2)
    • ►  October (1)
    • ►  September (2)
    • ►  April (1)
    • ►  March (1)
    • ►  February (2)
  • ►  2023 (4)
    • ►  December (1)
    • ►  June (1)
    • ►  March (1)
    • ►  February (1)
  • ►  2022 (21)
    • ►  December (3)
    • ►  November (2)
    • ►  October (2)
    • ►  September (1)
    • ►  July (1)
    • ►  June (1)
    • ►  April (2)
    • ►  March (1)
    • ►  February (2)
    • ►  January (6)
  • ►  2021 (28)
    • ►  December (2)
    • ►  November (2)
    • ►  October (3)
    • ►  September (3)
    • ►  August (5)
    • ►  July (4)
    • ►  June (1)
    • ►  May (1)
    • ►  April (1)
    • ►  February (1)
    • ►  January (5)
  • ►  2020 (30)
    • ►  December (3)
    • ►  November (3)
    • ►  October (4)
    • ►  August (3)
    • ►  July (6)
    • ►  June (1)
    • ►  May (2)
    • ►  March (2)
    • ►  February (4)
    • ►  January (2)
  • ►  2019 (20)
    • ►  October (1)
    • ►  September (2)
    • ►  August (3)
    • ►  July (5)
    • ►  May (2)
    • ►  April (1)
    • ►  March (3)
    • ►  February (2)
    • ►  January (1)
  • ►  2018 (17)
    • ►  December (1)
    • ►  November (5)
    • ►  October (1)
    • ►  September (1)
    • ►  August (4)
    • ►  July (2)
    • ►  June (1)
    • ►  May (2)
  • ►  2017 (10)
    • ►  October (1)
    • ►  September (1)
    • ►  July (2)
    • ►  June (2)
    • ►  May (2)
    • ►  April (1)
    • ►  March (1)
  • ►  2016 (27)
    • ►  December (1)
    • ►  November (7)
    • ►  October (2)
    • ►  September (1)
    • ►  August (4)
    • ►  July (1)
    • ►  June (1)
    • ►  March (1)
    • ►  February (5)
    • ►  January (4)
  • ►  2015 (30)
    • ►  December (3)
    • ►  November (7)
    • ►  October (2)
    • ►  September (3)
    • ►  July (5)
    • ►  June (3)
    • ►  May (5)
    • ►  March (1)
    • ►  February (1)
  • ►  2014 (38)
    • ►  December (6)
    • ►  November (3)
    • ►  October (5)
    • ►  September (6)
    • ►  August (2)
    • ►  July (1)
    • ►  June (3)
    • ►  May (1)
    • ►  April (2)
    • ►  March (2)
    • ►  February (5)
    • ►  January (2)
  • ►  2013 (57)
    • ►  December (2)
    • ►  November (5)
    • ►  October (2)
    • ►  September (2)
    • ►  August (9)
    • ►  July (7)
    • ►  June (2)
    • ►  May (1)
    • ►  April (3)
    • ►  March (9)
    • ►  February (10)
    • ►  January (5)
  • ►  2012 (56)
    • ►  November (3)
    • ►  October (4)
    • ►  September (6)
    • ►  August (5)
    • ►  July (16)
    • ►  June (12)
    • ►  May (8)
    • ►  March (1)
    • ►  February (1)
  • ▼  2011 (9)
    • ►  December (1)
    • ▼  November (1)
      • A mathematician's lament
    • ►  October (1)
    • ►  May (1)
    • ►  April (1)
    • ►  March (4)

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
Simple theme. Powered by Blogger.