From his own account, in 1921, having by accident came across
Principia Mathematica by
Bertrand Russell and
Alfred North Whitehead he began studying logic, which he had abandoned in his youth to study theology, leading later to a study of mathematics and theoretical physics by taking an undergraduate degree at Kiel. suggests that Scholz love of structure was also an important factor in his move into mathematical logic, describing it this: ''Scholz's feeling for structure was no small thing. He apparently felt that when having guests for dinner: (1) no more than six people should be invited; (2) there must be an excellent menu; (3) a discussion theme must be planned; and (4) the guests should have prepared themselves as much as possible beforehand on this theme.'' In 1925, he was a peer of
Karl Barth at Münster University, in which he taught
Protestant theology. Under the influence of conversations with Scholz, Barth later wrote in 1930/31. his book about the
Anselm of Canterbury proof of God "
fides quaerens intellectum." In the 1930s, he maintained contact with Alan Turing who later – in a letter home dated 22 February 1937 – wrote with regard to the reception of his article "On Computable Numbers, with an Application to the Entscheidungsproblem":
Gisbert Hasenjaeger whose thesis had been supervised by Scholtz, produced a book
Grundzüge der mathematischen Logik in 1961 which was jointly authored with Scholz despite being published five years after Scholz's death. Salamucha was later released but killed by the Nazis in 1944 and on the only page of his main work where he connects formalism and Jews he mentions that "Jews were the actual trendsetters of formalism" ("die eigentlichen Schrittmacher des Formalismus"). In response to this, Bieberbach asked Scholz to write an article for
Deutsche Mathematik, to answer the attacks on
mathematical formalism by Steck, which was surprising since Bieberbach led the Nazi mathematicians' attack on Jewish mathematics. Ensuring that Hilbert was not considered "Jewish", Scholz wrote "What does formalised study of the foundations of mathematics aim at?." Scholz had received funding from Bieberbach as early as 1937, which prompted an annoyed Steck to write in his 1942 book: There were three other articles by Heinrich Scholz in the journal
German Mathematics:
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936), a review of the Nazi philosopher
Wolfgang Cramer's book
Das Problem der reinen Anschauung (33 The problem of pure perception)l (1938) and a review of
Andreas Speiser's
Ein Parmenideskommentar (1938). ==World's first computer science seminar==