Académie des inscriptions et belles-lettres
Bureau pour 2022 : président : Henri Lavagne ; vice-président : Olivier Picard ; secrétaire perpétuel : Nicolas Grimal (élu lors du comité secret du 21 janvier 2022).
Alonzo Church
En 1967, Church décide de quitter l'université de Princeton pour rejoindre l'Université de Californie à Los Angeles, car l’université de Princeton n'est plus disposée à accueillir l'équipe du "Journal of Symbolic Logic" alors que celle de Californie s'engage à la soutenir tant que Church en restera le rédacteur en chef. À la mort de son épouse Mary en 1976, Church partage sa fonction dans le journal avec le logicien . Alonzo Church est élu membre de la National Academy of Sciences en 1978.