Leon Chwistek

Der polnische Mathematiker und Logiker Leon Chwistek (* 1884, †  1944) befasste sich u. a. mit Untersuchungen über die epistemologischen und logischen Antinomien im Zusammenhang mit der WhiteheadRussellschen Typentheorie und erkannte bereits 1922, dass zur Vermeidung der logischen Antinomien eine unverzweigte Typentheorie ohne Reduzibilitätsaxiom ausreicht, wie sie dann auch 1925 in der zweiten Auflage der Principia Mathematica auf Anregung von Ramsey ausgearbeitet wurde.

Von Chwistek stammen die ersten fundierten Untersuchungen zur mathematischen Semiotik und eine Theorie der Pluralität der Realitäten.

Weblinks

  • Polish Philosophy Page (engl.)