born 13.5.1775 in Schordorf and deceased 5.9.1851 in Stuttgart,
was professor in Denkendorf and ephorus in Maulbronn.
Poggendorff's 1st edition from 1863 lists his name and several
publications, mainly didactical elaborations on Euclid and in
latin.
Heinrich Scholz, in Scholz-Hasenjaeger "Grundz"uge der
mathematischen Logik" of 1961, lists another publication of Hauber
Scholae logico-mathematicae. Stuttgart 1829
as the place where in para 293 occurs what, at least since
Scholz' early lectures, in Germany has been called Haubers
Theorem (presumably the same what Mr. Araujo refers to as
Hauber's principle), namely the 6-variable tautology
((x->r) & (y->s) & (z->t) & (x V y V z)
& ~(r&s) & ~(s&t) & ~(t&r))
-> ((r->x) & (s->y) & (t->z)) .
This tautology is a good example, in theorem proving with
tableaux, for a case in which programs attacking the largest
open node first are faster than those attacking the largest
unramified open node first. Of course, it immediately generalizes
to any finite number of 2n variables, n>2 .
In Germany, Hauber's theorem has been used as an exercise in
logic lectures by Scholz, students of Scholz (e.g. Schroeter),
and students of students of Scholz (e.g. Asser). As apparently it
is not mentioned elsewhere, its employment may possibly be seen
as a genealogical mark characterizing Scholz' mathematical
descendents.
W.F.