David Hilbert

Got it! This site "creationpie.com" uses cookies. You consent to this by clicking on "Got it!" or by continuing to use this website. Note: This appears on each machine/browser from which this site is accessed.

David Hilbert (German mathematician) was an influential German mathematician. In 1928, he proposed finding a consistent mathematical system that will allow all possible truths to be decided. This would allow the automatic, or mechanical, proving of all possible mathematical truths. In 1931, Gödel proved that this could not be done.
Hilbert started the separation of mathematics from philosophers (opinion truth) and reality truth. Today, (pure) mathematics is a logical truth consisting of symbol manipulation with no direct connection with reality truth or opinion truth.

Hilbert was proposing using mathematics to prove mathematics - what it could and could not do.

Hilbert is considered (by Chaitin and others) as the first meta-mathematician.

The book "Meta math!" by Gregory Chaitin has a good historical background of computability as will as his own basis for algorithmic information theory - the connection of randomness and information and computability and non-computability.

Hilbert invented/discovered the Hilbert curve, a monster curve that was not fully understood until the introduction of fractals a half-century later.

A monster curve is a curve that is infinite and space-filling (in the limit) but which is nowhere differentiable (smooth).

Mathematics is abstract and has no direct connection with reality. That was a goal of mathematicians at the start of the 20th century, motivated by the German mathematician Hilbert's 23 unsolved problems in mathematics, posed in 1900.

Any connection of mathematics with reality is left to others - philosophers, scientists, etc.

Hilbert started the separation of mathematics from philosophers (human truth) and reality truth. Today, (pure) mathematics is a logical truth -symbol manipulation with no direct connection with reality truth or human truth.