Bemærk: Kan ikke leveres før jul.
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century... Læs mere
Bemærk: Kan ikke leveres før jul.
In the summer of 1928, Kurt Gödel (1906–1978) embarked on his logical journey that would bring him world fame in a mere three years.
Bemærk: Kan ikke leveres før jul.
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.