Logiker. Wie schön. Habe ich erst kürzlich entdeckt und dachte mir:  Wieso Logiker? (Das ist das, was heute ein bisschen fehlt). Aber Wiki klärt auf mit einer „Liste aller biografischen Wikipedia-Artikel über Logiker. Logiker sind Personen, die einen eigenen Beitrag zur Entwicklung von methodischem Denken (Logik) geleistet haben. Diese Liste ist notwendig, da die Menge aller bedeutenden Logiker nicht nur eine Untermenge der Menge aller Mathematiker ist, sondern auch Philosophen und Scholastiker umfasst.“

Nagut, wenn dem so ist. In dieser Liste habe ich Kurt Gödel nicht gefunden, wenngleich er in der Wiki-Beschreibung auch als Mathematiker, Philosoph und Logiker vorgestellt wird. Besonders schön finde ich, dass er den „Unvollständigkeitssatz“ erfunden hat. Unvollständige Sätze gibt es ja heutzutage zuhauf (das ist ein Witz!). Soll sagen: In entsprechenden Systemen (ich kürze ab) gibt es Aussagen, die man formal weder beweisen noch widerlegen kann. Auch sehr aktuell.