Die Unterscheidung (nach Spencer-Brown) und das Bit
Georg Spencer-Brown versuchte, Mathematik auf eine neue Grundlage zu stellen. Seine Ansichten wurden von der mathematischen Community grossenteils abgelehnt. Als Nicht-Mathematiker kann ich die mathematischen Überlegungen von Spencer-Brown nicht beurteilen. Als Logiker und Informatiker erscheint mir aber sein Begriff der "Distinction" sehr einleuchtend und seine Beschreibung des "Re-Entry" für logische Prozesse fundamental. Ich gehe hier auf die fundamentale Ähnlichkeit von Bit und Unterscheidung ein und verweise dabei auf ihre ebenfalls grundlegenden Unterschiede. Zwei Basis-Bausteine für Information Besonders interessant ist es, die Grundform der Distinction (Unterscheidung) mit der viel bekannteren Grundform der Informationstheorie zu vergleichen, nämlich dem Bit. Das ermöglich
Logodynamik
Was sind die Kriterien für eine korrekte Logik? Dieser Text handelt von den zwei Formen der Logik, der statischen und der dynamischen. Bekannt ist den meisten Wissenschaftlern die statische Form, welche sich hervorragend dafür eignet, Beweise zu führen. Demgegenüber steht die dynamische Form der Logik, welche es erst möglich macht, Beweise zu finden.
