Kurt Gödel

Edmund Husserl’s Phenomenology

Edmund Husserl’s Phenomenology

On April 8, 1859, German philosopher and mathematician Edmund Gustav Albrecht Husserl was born. He is best know as the founder of the 20th century philosophical school of phenomenology, where he broke with the positivist orientation of the science and philosophy of his day, yet he elaborated critiques of historicism and of psychologism in logic. “First, anyone who seriously intends to become a philosopher must “once in his life” withdraw into himself…
Read more
Albert Einstein revolutionized Physics

Albert Einstein revolutionized Physics

On March 14, 1879, German theoretical physicist Albert Einstein was born, who has become an iconic figure for physics as well as science of the 20th century. He is best known for his theories on special and general relativity, as well as for the discovery of the photoelectric effect – for which he received the Nobel Prize – and he developed what has been named the most famous equation in history, the mass energy…
Read more
Alfred Tarski and the Undefinability of Truth

Alfred Tarski and the Undefinability of Truth

On January 14, 1902, Polish-American mathematician and logician Alfred Tarski was born. A prolific author he is best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. For my annual Semantic Web Technologies lecture series I always introduce my students to model-theoretic semantics as a means to enable a formal representation of meaning…
Read more
Rudy Rucker – Infinity and the Mind

Rudy Rucker – Infinity and the Mind

On March 22, 1946, American mathematician, computer scientist, science fiction author, and philosopher Rudolph von Bitter Rucker, better known as Rudy Rucker, was born. He is also one of the founders of the cyberpunk literary movement. Rucker was born and raised in Louisville, Kentucky, where his father Embry Cobb Rucker, Sr., a descended from Flemish Huguenots, ran a small furniture-manufacturing company. Later in life, Embry Cobb Rucker, Sr. became an Episcopal minister…
Read more
Gottlob Frege and the Begriffsschrift

Gottlob Frege and the Begriffsschrift

Gottlob Frege (1848-1925) On November 8, 1848, German mathematician, logician and philosopher Gottlob Frege was born. He is considered as one of the fathers of modern mathematical logic and has developed the Begriffsschrift, an approach to put classical philosophical logic into a formal mathematical language. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano and Bertrand Russell introduced his work to later generations of logicians…
Read more
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
It’s Computable – thanks to Alonzo Church

It’s Computable – thanks to Alonzo Church

Alonzo Church (1903-1995) @ University of Berkeley You know, the fact that you can read your email on a cell phone as well as on your desktop computer or almost any other computer connected to the internet, in principle is possible thanks to mathematician Alonzo Church, who gave the proof (together with Alan Turing) that everything that is computable on the simple model of a Turing Machine, also is computable with any other…
Read more
David Hilbert’s 23 Problems

David Hilbert’s 23 Problems

On August 8, 1900 David Hilbert, probably the greatest mathematician of his age,  gave a speech at the Paris conference of the International Congress of Mathematicians, at the Sorbonne, where he presented 10 mathematical Problems (out of a list of 23), all unsolved at the time, and several of them were very influential for 20th century mathematics. “Who of us would not be glad to lift the veil behind which the future…
Read more
Kurt Gödel and the Foundations of Mathematics

Kurt Gödel and the Foundations of Mathematics

Kurt Gödel (1906-1978) On April 28, 1906, Kurt Gödel was born. He was one of the most significant logicians of all time. Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, were pioneering the use of logic and set theory to understand the foundations of mathematics. Gödel is best known for his two incompleteness theorems,…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: