Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Nuance Communications.
William of Ockham (1285-1350), Doctor Invincibilis, was an English Franciscan friar, philosopher, logician and theologian.