ゲルハルト・ゲンツェンとはなんですか？

A. ゲンツェンはドイツの論理学者で、彼の名前は「ゲンツェン」とカタカナで表記されます。彼は論理主義者として知られ、彼の提唱した「ゲンツェン型」は、数学的な証明において重要な役割を果たしています。

参考URL:https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%AB%E3%83%8F%E3%83%AB%E3%83%88%E3%83%BB%E3%82%B2%E3%83%B3%E3%83%84%E3%82%A7%E3%83%B3