He was a peer of Alan Turing who mentioned Scholz when writing with regard to the reception of "On Computable Numbers, with an Application to the Entscheidungsproblem":[1] "I have had two letters asking for reprints, one from Braithwaite at King's and one from a professor [sic] in Germany...

He was a student of Adolf von Harnack, in philosophy with peers Alois Riehl and Friedrich Paulsen.

On 28 July 1910, Scholz habilitated in the subjects of religious philosophy and systematic theology in Berlin, and was promoted to full professor, therein working as a lecturer.

[10]At the University of Münster, his study into mathematical logic and basic research, provided many of the critical insights, that contributed to the foundations of theoretical computer science.

In 1936 he was awarded a grant from the DFG, for the production of three volumes of research in logic and for the editing of the Gottlob Frege papers.

On 14 March 1940, Scholz sent a letter to the Education department of occupied Poland, seeking the release of Jan Salamucha,[4] who had been professor of theology at Kraków University.

In October 1940, Scholz received a reply for the education minister which stated he had "injured the national honour" and was forbidden to send further petitions.

[4] Max Steck acknowledged the "per se outstanding achievement of formalism" ("an sich betrachtet einmaligen Leistung des Formalismus"), but criticized the "missing epistemological component" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus")[13] 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").

Ensuring that Hilbert was not considered "Jewish", Scholz wrote "What does formalised study of the foundations of mathematics aim at?.

We fundamentally reject this logic which praises the English empiricists and sensory philosophers such as the Englishmen Locke, Berkeley, Hume, and by now find it really time to speak for once about the "Great Germans".

[4][16]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 (1938) and a review of Andreas Speiser's Ein Parmenideskommentar (1938).

[18] In this case, the work "On Computable Numbers, with an Application to the Entscheidungsproblem" from 1936, which Scholz had requested, and a postcard from Turing.

Based on the work by Turing and conversations with Scholz, Clausing stated "[it was] the world's first seminar on computer science."

The second work, which was a Mind (journal) article, dates from 1950 and is a treatise on the development of artificial intelligence, Turing provided them with a handwritten comment.