logics

Haskell Brooks Curry and Computational Logic

Haskell Brooks Curry and Computational Logic

On September 12, 1900, American mathematician and logician Haskell Brooks Curry was born. Curry’s research in the foundations of mathematics led him to the development of combinatory logic. Later, this seminal work found significant application in computer science, especially in the design of programming languages. Curry is also known for Curry’s paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of…
Read more
Bernard Bolzano and the Theory of Knowledge

Bernard Bolzano and the Theory of Knowledge

On October 5, 1781, Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction Bernard Bolzano was born. Bolzano made significant contributions to both mathematics and the theory of knowledge. He provided a more detailed proof for the binomial theorem and suggested the means of distinguishing between finite and infinite classes. His major work, Wissenschaftslehre (1837), contains various contributions to logic and semantics concerning the relations of compatibility, derivability, and consequence,…
Read more
John Venn and the Venn Diagram

John Venn and the Venn Diagram

On August 4, 1834, English logician and philosopher John Venn was born. He is best known for his contribution of the eponymous Venn diagram, used in the fields of set theory, probability, logic, statistics, and computer science. John Venn grew up in a quite religious family and it was expected that he followed his family’s tradition into priesthood. He attended Gonville and Caius College Cambridge and was awarded a mathematics scholarship in his…
Read more
Rudolf Carnap and the Logical Structure of the World

Rudolf Carnap and the Logical Structure of the World

On May 18, 1891, German-born philosopher Rudolf Carnap was born. He was a major member of the Vienna Circle and an advocate of logical positivism and made significant contributions to logic and the philosophy of science. To avoid the ambiguities resulting from the use of ordinary language, he made a logical analysis of language. He believed in studying philosophical issues in artificial languages constructed under the rules of logic and mathematics, which…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: