Arend Heyting

Name:Arend Heyting

Geboren am:09.05.1898

SternzeichenStier 21.04 - 21.05

Geburtsort:Amsterdam

Verstorben am:09.07.1980

Todesort:Lugano

Der niederländische Mathematiker. Logiker. Er wurde 1948 Professor an der Universität Amsterdam. Gilt als der eigentliche Begründer der formalisierten intuitionistischen Logik. Daneben veröffentlichte er zahlreiche Beiträge zur Philosophie der Mathematik und zur mathematischen Grundlagenforschung.

Name:Arend Heyting

Geboren am:09.05.1898

SternzeichenStier 21.04 - 21.05

Geburtsort:Amsterdam

Verstorben am:09.07.1980

Todesort:Lugano