Logique

1949 · réf. 023567 — Lisboa: Universidade de Lisboa 1949. Inscribed: "To Prof. Alonzo Church with admiration and friendship and thanks for his Review of my "Introduction a Logica" in the Journal of Symbolic Logic.SIGNED by the author Lisbon 1949." Good condition. Paper clip mark on the title page from attached index card written in the hand of Alonzo Church. Separata da Revista da Faculdade de Letras de Lisboa Tomo XIV - 2 Serie No 3. From Wikipedia: "For Edmundo Curvelo forty years of life and ten publications were enough to mark the history of Portuguese thought; in general through work in the field of logic in particular through the endeavor to logify psychology. According to him Psychology would only gain the status of Science to the extent that it was allowed to logify because for Professor Abrantes science is a logical construction. To logify any subject is to discover the stable structures that have the language that can represent that any subject faithfully. The work he built on logic is all the more remarkable as it is known that the area of logic was not in the history of Portuguese thought an area of great development. Not to underline that at the time it was the occupation of very few. In his research area he fought the current. Professor Manuel Curado 2001 pointedly points out in the History of Portuguese Philosophical Thought that Edmundo Curvelo was the best Portuguese logician of the twentieth century and beyond: “For better and worse Curvelo is the logic of the twentieth century. Portugal. ”Curado 2001: 345. Whether before or after nothing more significant is in the history of Portuguese twentieth-century logic than the work of the Alentejo teacher." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. INSCRIBED & SIGNED. 1949 edition. Softcover. Good condition. Illus. by NOT a library discard. 90pp. Universidade de Lisboa? Paperback