You are here: Home › Post Tagged with: "Kurt Gödel"

Kurt Gödel

mathematics
Gottlob Frege and the Formula Language of Pure Thinking

Gottlob Frege and the Formula Language of Pure Thinking

Harald Sack
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 [7] and Bertrand Russell [8] introduced his work to later generations of logicians and philosophers. Unless…
Read more
mathematics
Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano and the Axiomatization of Mathematics

Harald Sack
On August 27, 1858, Italian mathematician and philosopher Giuseppe Peano was born. He is the 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 completeness of number…
Read more
mathematics
Alfred Tarski and the Undefinability of Truth

Alfred Tarski and the Undefinability of Truth

Harald Sack
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 Semantic Web Technologies lecture series I always introduce my students to model-theoretic semantics as means to enable a formal representation of meaning for languages. I…
Read more
mathematics
David Hilbert’s 23 Fundamental Problems

David Hilbert’s 23 Fundamental Problems

Harald Sack
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
computer science
Rudy Rucker – Infinity and the Mind

Rudy Rucker – Infinity and the Mind

Harald Sack
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. “The space of our universe is the hypersurface of a vast expanding hypersphere.” – Rudy Rucker, The Sex Sphere (1983) Youth and Education Rucker was born and raised in Louisville, Kentucky, where his father Embry Cobb Rucker,…
Read more
computer science
It’s Computable – thanks to Alonzo Church

It’s Computable – thanks to Alonzo Church

Harald Sack
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 ‘computer model’.[8] Academic Career Alonzo Church…
Read more
mathematics
Kurt Gödel Shaking the Very Foundations of Mathematics

Kurt Gödel Shaking the Very Foundations of Mathematics

Harald Sack
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. “Either mathematics is too big for the human mind, or the human mind…
Read more
mathematics
Edmund Husserl’s Phenomenology

Edmund Husserl’s Phenomenology

Harald Sack
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
physics
How Albert Einstein Revolutionized Physics

How Albert Einstein Revolutionized Physics

Harald Sack
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
mathematics
Paul Bernays and the Unified Theory of Mathematics

Paul Bernays and the Unified Theory of Mathematics

Harald Sack
On October 17, 1888, Swiss mathematician and logician Paul Isaac Bernays was born. Bernays made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.[6] Bernays is known for his attempts to develop a unified theory of mathematics. “Enlightened humanity has sought in rational definiteness its liberating refuge from the dominating influence of the merely authoritative. At the present time,…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: