You are here: Home › Post Tagged with: "logics"

logics

computer science
Haskell Brooks Curry and Computational Logic

Haskell Brooks Curry and Computational Logic

Harald Sack
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
mathematics
Bernard Bolzano and the Theory of Knowledge

Bernard Bolzano and the Theory of Knowledge

Harald Sack
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
mathematics
John Venn and the Venn Diagram

John Venn and the Venn Diagram

Tabea Tietz
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. “I began at once somewhat more steady work on the subjects and books which I should have to lecture on. I now first hit upon the diagrammatical device of representing propositions by inclusive and exclusive circles.…
Read more
philosophy
Rudolf Carnap and the Logical Structure of the World

Rudolf Carnap and the Logical Structure of the World

Harald Sack
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
mathematics
Charles Sanders Peirce – One of the Founders of Semiotics

Charles Sanders Peirce – One of the Founders of Semiotics

Tabea Tietz
On September 10, 1839, mathematician, philosopher and logician Charles Sanders Peirce, the founder of philosophical ‘pragmatism’ was born. “Few persons care to study logic, because everybody conceives himself to be proficient enough in the art of reasoning already.” — Charles Sanders Peirce, [10] Studying Kant’s Critique of Pure Reason Peirce was born in Cambridge, Massachusetts, the second of five children of Sarah and Benjamin Peirce (1809-1880). His father was professor of astronomy…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: