Les espaces de Dialectica ont émergé en tant que cadre catégorique pour la construction de modèles de logique linéaire à travers une thèse de doctorat de 1988 à l'Université de Cambridge. Cette base mathématique, développée sous la direction de Martin Hyland, demeure une contribution centrale dans le domaine de la logique. Valeria de Paiva, née en 1959 à Pouso Alegre, au Brésil, continue d'appliquer ces concepts à la théorie informatique moderne.
Fondements académiques
De Paiva a débuté son éducation formelle à l'Université pontificale catholique de Rio de Janeiro, où elle a obtenu une licence en 1982 et un master en algèbre pure en 1984. Sa transition ultérieure vers Cambridge a abouti à l'introduction des espaces de Dialectica. Cette recherche a utilisé les interprétations antérieures de Kurt Gödel pour fournir une structure catégorique à la logique linéaire. Ses premiers travaux, comme la publication de 1987 sur les catégories de Dialectica, ont établi un cadre pour les approches logiques du calcul intégrant la théorie des catégories aux théories des types.
Parcours professionnel
Sa carrière s'étend sur divers environnements industriels et académiques. Entre 2000 et 2008, elle a occupé un poste pendant neuf ans au Palo Alto Research Center. Ses rôles suivants incluaient des postes chez Rearden Commerce et Cuil avant de rejoindre Nuance Communications, où elle a travaillé de 2012 à 2018. Après une période chez Samsung Electronics entre 2019 et 2020, elle a rejoint le Topos Institute en 2021. Elle détient également le titre de chercheuse honoraire en informatique à l'Université de Birmingham.
Recherche et gouvernance
Ses travaux se concentrent sur la programmation fonctionnelle, la représentation des connaissances et la sémantique du langage naturel. Parmi les rapports techniques notables figure la publication de 1992 sur l'assignation de termes pour la logique linéaire intuitionniste. Au-delà de sa recherche, elle sert la communauté scientifique élargie, notamment par sa position au sein du Conseil de la Division de Logique, Méthodologie et Philosophie de la Science et de la Technologie pour l'Union Internationale d'Histoire et de Philosophie de la Science et de la Technologie entre 2020 et 2023. Elle est également membre de SIGLOG et de la Scandinavian Logic Society.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits en bref
- Née : 1959, Pouso Alegre, Brésil - Citoyenneté : Brésil - Doctorat : 1988, Université de Cambridge - Domaines : Informatique, mathématiques, logique - Emploi : Nuance Communications (2012-2018) - Emploi : Samsung Electronics (2019-2020) - Emploi : Topos Institute (2021) - Langues : Anglais, portugais
Questions posées par les lecteurs
### Quelle est l'importance des espaces de Dialectica ?
Ils fournissent une méthode catégorique pour construire des modèles de logique linéaire, basée sur les travaux de Kurt Gödel.
### Dans quelles institutions académiques a-t-elle été formée ?
Elle a étudié à l'Université pontificale catholique de Rio de Janeiro et à l'Université de Cambridge.
