logic

Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano (1858-1932) On August 27, 1858, Italian mathematician and philosopher Giuseppe Peano was born. He is he author of over 200 books and papers, and is considered the founder of mathematical logic and set theory. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and…
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
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: