Die lineare Logik wird mit kohärenten Räumen interpretiert und ist in Girards Arbeiten ein wichtiger Bestandteil. Ich kenne alle drei Hauptmethoden, um sie formal zu definieren, und sie stellen kein Problem dar, Dinge zu verwenden und zu beweisen, aber ich kann einfach nicht verstehen, was sie bedeuten .
Es fühlt sich wirklich so an, als gäbe es eine Möglichkeit, sie zu verstehen . Zuallererst gibt es einige Beispiele, die Funktionen auf Booleanern verwenden (wie in einem Wiki irgendwo ). Und es deutet auf etwas Interessantes und Bedeutendes hinter der formalen Definition hin. Es bool
ist jedoch ein sehr einfacher zusammenhängender Raum ohne Größenklassen > 1
. Kann das jemand ausarbeiten?
Eine andere Sache, die Girard irgendwo sagt, dass jeder Punkt eines kohärenten Raums eine bestimmte "Folge von Fragen / Antworten" darstellt, wobei zwei Punkte kohärent sind, wenn sie sich "negativ aufteilen (dh auf verschiedene Fragen)" und inkohärent, wenn sie sich auf verschiedene Antworten aufteilen [1] Es scheint eine einfach zu verstehende Idee zu sein, aber ich kann kein Beispiel erfinden, was bedeutet, dass ich es nicht wirklich verstehe ...
Könnte mir bitte jemand dabei helfen?
[1] JY Girard, Das Phantom der Transparenz . URL: http://iml.univ-mrs.fr/~girard/longo1.pdf