Alfred Bray Kempe (1849 – 1922)

Der Rechtsanwalt, Kirchenrechtler und Mathematiker Alfred Bray Kempe ist ein Schüler von de Morgan. Peirce hielt ihn für den bedeutendsten Logiker,

Kempe publizierte einige Arbeiten, in denen er versucht alle mathematischen Formen auf bestimmte Spezialformen zu reduzieren. In diesen Arbeiten verwies er auf Ähnlichkeit zwischen den grundlegenden Strukturen der Logik und den fundamentalen geometrischen Strukturen.

1879 publizierte Kempe einen fehlerhaften Beweis des Vier-Farben-Theorems, dessen Fehler Heawood erst 11 Jahre später fand, der aber die Grundlage für den computergestützten Beweis ca. 100 Jahre später bildete.