Cantor 1845[ 1918
Set theory ... zermelo franco set theory..is wattered down continum hypothesis (videos) Henrie Poncurie said Cantors mathematics was a sickness that one day math would recover from .. one time teacher Croneker curropter of youth
Boltzman 1844-1906..enthropy chaous theory,1906 idea still not accepted, hung himself while his daughter and whife when for a walk. "Bring forth what is true, write it so its clear, defend it to your last breath." Foust. 1.38064852 × 10-23 m2 kg s-2 K-1
Foust makes a deal with the devil. The devil gives him all that he wants so long as does not stay in one moment.... think of how harsh eternal life could be. So he had stopped time in that moment .. like the aztec players that would be killed at the moment of glory before the king.
Alan Turing 1912-1954 are we or are we not computers...
“It seems probable that once the machine thinking method had started, it would not take long to outstrip our feeble powers… They would be able to converse with each other to sharpen their wits. At some stage therefore, we should have to expect the machines to take control.”
Kurt Gödel 1906-1978 Born the same year Boltzman dies 1906 Friend of Einstine .. they both strongly believed in intuition. It would be intuition that would take them into the places that math could not.
From wiki...He is best known for his two incompleteness theorems, published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University of Vienna. The more famous incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
He also showed that the continuum hypothesis cannot be disproved from the accepted axioms of set theory, if those axioms are consistent. He made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.