Hermes Hans

Hermes Hans, *12. 2. 1912, německý (NSR) logik a matematik; pracuje v oblasti log. zákl. matematiky. Hl. dílo: Aufzählbarkeit . Ent .scheidbarkeit . Berechenbarkeit (Vyčíslitelnost, rozhodnutelnost, spočetnost).