Die Übertragung von Beweisen zwischen verschiedenen mathematischen Systemen effizient voranbringen.
― 6 min Lesedauer
Thomas Traversié
Eine Methode verbindet klassische und intuitionistische Logik durch höhere Transformationen.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Die Übertragung von Beweisen zwischen verschiedenen mathematischen Systemen effizient voranbringen.
― 6 min Lesedauer
Eine Methode verbindet klassische und intuitionistische Logik durch höhere Transformationen.
― 6 min Lesedauer