Fehler in VeriFun System

[AlexanderF]

es gibt offenbar einen Fehler im System VeriFun,

dadurch kann jede beliebige Aussage in VeriFun bewiesen werden (z.B. 1 = 0).
Es kommt keine Fehlermeldung und der Fehler ist reproduzierbar.

Genaueres schreibe ich gleich den Veranstaltern.

[olg]

es gibt offenbar einen Fehler im System VeriFun,

dadurch kann jede beliebige Aussage in VeriFun bewiesen werden (z.B. 1 = 0).
Es kommt keine Fehlermeldung und der Fehler ist reproduzierbar.

Genaueres schreibe ich gleich den Veranstaltern.

Das ist jetzt keineswegs vorwurfsvoll gemeint, aber warum postest du das im Forum, wenn du keine genauere Fehlermeldung angibst? Eine kurze Beschreibung bzgl. Reproduktion wäre doch dann ganz sinnvoll

[AlexanderF]

hallo olg,

ich habe die Bitte erhalten, die Reproduktion des Fehler nicht zu posten,
Da es ermöglichst jedes Lemma zu beweisen,
ist es bezüglich des Praktikums nicht besonders förderlich,
die Reproduktion anzugeben,
da sonst leicht scheinbare "Beweise" für die Praktikumsaufgaben geführt werden könnten,

vieleicht kann ich die Beschreibung zur Reproduktion ja nach einem "Programmupdate" von VeriFun hier angeben

Mit freundlichen Grüßen,
Alexander

[plo1234]

Dann ist es natürlich seeeeehr sinnvoll, das ganze hier überhaupt zu posten.
Hut ab!

[simlei]

Sollte man sich jetzt ne neue Version runterladen?
Es würde mich natürlich auch sehr interessieren, wie man das 0=1 in Verifun hinkriegt, aber ich seh schon, das wird nix

[Tapion]

Jetzt, da wir für das nächste Praktikum eine neue Version instellieren müssen, könnte man das Geheimnis doch lüften, oder?

[AlexanderF]

Jetzt, da wir für das nächste Praktikum eine neue Version instellieren müssen, könnte man das Geheimnis doch lüften, oder?

wenn Du damit die Reproduktion des Fehlers aus verifun < 3.3 meinst,
von mir aus gerne,
wenn es von offizieller Seite ok ist?