Mathematical Logic

Baron Gottfried Wilhelm Leibnitz (1646–1716) was an outstanding German mathematician, philosopher, physieist, diplomat and linguist. He was born in a Lutheran family. As the son of a professor of philosophy, he grew up to be a genius with encyclopedic knowledge. He learnt himself Latin, Greek and philosophy before entering the university of Leipzig at 18 as a law student. He read about the works of great scientists and philosophers such as Galileo, Francis Bacon and others. Because he was so young that he was not awarded by Doctor of law degree, so he left his native place forever. During 1663–1666 he rushed to the universities of Jena and Altdorf, and received his doctorate in law and started legal practice for the Elector of Mainz. After he death of Elector, he pursued scientific studies. In 1672 he built a calculation that could multiply and divide and presented it to the Royal Society in London. In 1675, Leibnitz laid the foundations of calculus, an honour he shares with Sir Isaac Newton. He discovered the fundamental theorem of calculus, and invented the popular notations d/dx for differentiation and ∫ for integeration. He also introduced such modern notations as dot for multiplication and decimal point, the equal sign and colon for ratio. An unmarried fellow, Leibnitz also worked for theology, philosophy, mathematics, natural Science and Technology