Versionen/Autoren

Aus ProgrammingWiki

Frühere Versionen bleiben erhalten. Eine Wiederherstellung erzeugt eine neue Version.

AltNeuVersionAutorZusammenfassung
2012-05-23T09:24:21+00:00Sidatasc/* Nachweis, dass MU nicht abgeleitet werden kann */Vergleichen
2012-05-13T16:48:27+00:00SidatascVergleichen
2012-05-13T16:47:40+00:00SidatascVergleichen
2012-05-13T16:46:37+00:00Sidatasc/* Überführung der Regeln */Vergleichen
2012-05-13T16:45:34+00:00Sidatasc/* Überführung der Regeln in Welt der Zahlentheorie mit Hilfe des Gödelisierungsverfahrens */Vergleichen
2012-05-13T16:43:29+00:00SidatascDie Seite wurde neu angelegt: „== MUI-System == === System === ====Symbole ==== M,I,U ==== Axiome ==== MI ==== Regeln ==== 1. Wenn xI ein Satz ist, dann ist auch xIU ein Satz. 2. Wenn Mx ein …“Vergleichen