Augustus de Morgan

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. “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
Francis Baily and the Baily Beads

Francis Baily and the Baily Beads

On May 15, 1836, English astronomer Francis Baily for the first time observed the so-called ‘Baily’s beads‘ during an eclipse of the Sun. For sure you know the effect, although you might not have seen it with your own eyes in nature. But, numerous photographs, pictures, and videos have been published, where the phenomenon can be watched. So what are Beailey’s beads? Solar Eclipse and Baily Beads The Baily’s beads effect is a feature of…
Read more
George Boole – The Founder of Modern Logics

George Boole – The Founder of Modern Logics

On December 8, 1864, British mathematician and logician George Boole passed away. He is best known as the inventor of the prototype of what is now called Boolean logic, which became the basis of the modern digital computer. Thus, Boole also is regarded as one of the founders of the field of computer science. “It appeared to me that, although Logic might be viewed with reference to the idea of quantity, it…
Read more
Augustus de Morgan and Formal Logic

Augustus de Morgan and Formal Logic

On June 27, 1806, British mathematician and logician Augustus De Morgan was born. He formulated De Morgan‘s laws and introduced the term mathematical induction, a method of mathematical proof typically used to establish a given statement for all natural numbers. As a computer scientist, I am of course familiar with De Morgan‘s laws, which are fundamental for Boolean logic. De Morgan‘s laws are merely transformation rules for two of the basic operators…
Read more
A Computer can do More than just Mechanical Calculations – The Life of Ada Lovelace

A Computer can do More than just Mechanical Calculations – The Life of Ada Lovelace

On November 27, 1852, Augusta Ada King, Countess of Lovelace passed away. She is known as assistant to mathematician Charles Babbage, [1] inventor of the very first programmable (mechanical) computer, the analytical engine. Moreover, she is believed by some to be the first to recognise that the machine had applications beyond pure calculation, and to have published the first algorithm intended to be carried out by such a machine. Every student of computer science has most…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: