Hinweis auf die DSGVO: Auf unserer Seite werden keine Dritt-Anbieter-Cookies verwendet und nur Daten erfasst, welche für das Minimum an Board-Funktionalität notwendig sind.
Bevor Sie sich registrieren oder das Board verwenden, lesen Sie bitte zusätzlich die DSGVO-Erklärung, welche in der Navigationsleiste verlinkt ist.

Kurzfassung der unserer Meinung nach wichtigsten DSGVO-Punkte:
Es kann vorkommen, dass Benutzer eigenverantwortlich Videos oder sonstige Medien in ihren Beiträgen verlinken, welche beim Aufruf der Forenseite als Teil der Seite samt zugehörigem Material mitgeladen werden. Sollten Sie dies nicht wünschen, verwenden Sie beim Benutzen des Forums einen Blocker wie z.B. uMatrix, welcher das Laden von Inhaltsblöcken von Fremd-URLs effektiv unterbinden kann.
Wir blenden keine Werbung ein und schränken die Inhalte in keinster Weise bei Benutzung von Addblockern ein. Dadurch ist die Grundfunktionalität des Forums auch bei vollständigem Blockieren von Drittanbieter-Inhalten stets gegeben.

Cookies werden unsererseits nur verwendet um das Einloggen des Benutzers für die Dauer der Forenbenutzung zu speichern. Es steht dem Benutzer frei die Option 'Angemeldet bleiben' zu verwenden, damit der Cookie dauerhaft gespeichert bleibt und beim nächsten Besuch kein erneutes Einloggen mehr notwendig ist.
EMail-Adressen werden für Kontakt bei wichtigen Mitteilungen und zur Widerherstellung des Passwortes verwendet. Die verwendeten IPs können von uns ohne externe Hilfsmittel mit keiner realen Person in Verbindung gebracht werden und werden nach spätestens 7 Tagen gelöscht. Diese IPs werden höchstens verwendet um Neuanmeldungen unerwünschter oder gesperrter Nutzer zu identfizieren und zu unterbinden. Wir behalten uns daher vor bei Verdacht, die Frist für die IP-Löschung auf maximal 14 Tage zu verlängern.
Unsere Webseite läuft auf einem virtuellen Linux-Server, welcher von einem externen Anbieter gehostet wird. Etwaige Verstöße der DSGVO-Auflagen seitens dieses deutschen Hosters können wir nicht feststellen und somit auch nicht verfolgen.
Wir halten Backups unserer Datenbanken, welche in regelmäßigen Abständen als Schutz vor Katastrophen, Hackerangriffen und sonstigen Ausfällen erstellt werden. Sollte ein Nutzer die Löschung seiner Daten wünschen, betrachten wir es als Unzumutbar die Backups auch von den Daten zu befreien, da es sich hierbei um eine mehrtägiges Unterfangen handelt - dies ist für eine Einzelperson beim Betrieb eines privaten Forums nicht zumutbar möglich ohne das Backup komplett zu löschen.
Sollten Sie etwas gegen die dauerhafte anonyme Speicherung ihrer EMail-Adresse, ihres Pseudonyms und ihrer Beiträge in einem Backup haben, sehen Sie von der Registrierung in diesem Forum ab. Für Mitglieder, welche vor dem 25.05.2018 registriert waren steht jedoch das Recht im Raum, eine Löschung der Datenbank-Backups zu beantragen.



Wenn dies Ihr erster Besuch hier ist, lesen Sie bitte zunächst die FAQs sowie die wesentlichen Regeln zur Benutzung des Forums.
Um an den Diskussionen teilnehmen zu können, müssen Sie sich zunächst registrieren.

ZFC & PL, 1. Stufe

Mathematische Fragestellungen
Antworten
Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 2071
Registriert: 9. Jul 2010, 04:02

ZFC & PL, 1. Stufe

Beitrag von Pippen » 4. Sep 2016, 14:09

Auf wikipedia steht, dass ZFC in PL 1. Stufe formuliert ist, gleichzeitig steht da, dass Gödel mit seinem 2. UT gezeigt hat, dass ein Widerspruchsfreiheitsbeweis innerhalb ZFC unmöglich ist. Das widerspricht sich für mich, denn ich dachte immer die PL 1. Stufe ist vollständig und widerspruchsfrei und erst wenn man auch über Prädikate spricht, also ab Pl 2. Stufe, gelten die gödelschen Einschränkungen. Oder anders gefragt: Ist die stinknormale PL 1. Stufe korrekt und vollständig?

Skeltek
Site Admin
Site Admin
Beiträge: 5081
Registriert: 25. Mär 2008, 23:51
Wohnort: Stuttgart, Germany
Kontaktdaten:

Re: ZFC & PL, 1. Stufe

Beitrag von Skeltek » 4. Sep 2016, 18:58

Innerhalb der ZFC ist er unmöglich. Aus einem äußeren übergeordneten System heraus ist das anders.
Das bedeutet jedoch nicht, dass das äußere bewertende System widerspruchsfrei ist.
Es ist schwer das in normale Sprache umzuformulieren, aber ich versuchs mal hiermit:
( ( (A:kann eigene Widerspruchsfreiheit nicht beweisen) *B:kann Widerspruchsfreiheit von A beweisen, aber nicht die eigene Widerspruchsfreiheit/Wahrheitsgehalt) *C:kann widerspruchsfreiheit von B zeigen, aber nicht eigene Widerspruchsfreiheit/Wahrheitsgehalt )

Wir befinden uns bei "B", können also über A urteilen, während A nicht über sich selbst urteilen kann. B kann beweisen, dass es selbst dem A eine widerspruchsfreie Bedeutung zuordnen kann, unter der Voraussetzung, dass sein eigener Kontext widerspruchsfrei ist.

Bei einem Konstrukt wie:
A*: C* ist falsch
B*: A* ist falsch
C*: B* ist falsch
lässt sich der Widerspruch bzw die falsche Aussage frei verschieben.
B kann die eigene Widerspruchsfreiheit aus seiner eigenen Sicht sicherstellen, indem es den Widerspruch verschiebt und dem ihm umgebenden Konstrukt so eine Bedeutung zuordnen, dass der Widerspruch woanders ist und innerhalb seines eigenen Geltungsbereiches eine Widerspruchsfreiheit möglich aber nicht beweisbar ist.

Das muss ich aber sicher nochmal umschreiben, muss in 2 Minuten auf den Bus und kann das jetzt nicht so aufschreiben wie ich es gerne wollte.
Gödel für Dummies:
  • Unentscheidbarkeit - Dieser Satz ist wahr.
  • Unvollständig - Aussage A: Es existiert nur ein Element A.
  • Widersprüchlich - Dieser Satz ist falsch.

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 2071
Registriert: 9. Jul 2010, 04:02

Re: ZFC & PL, 1. Stufe

Beitrag von Pippen » 4. Sep 2016, 22:21

Hm...nochmal und vllt. präziser: Kann man in PL, 1. Stufe Aussagen formulieren, die in PL, 1. Stufe weder bewiesen noch widerlegt werden können? Stand jetzt dachte ich immer, dass PL, 1. Stufe genauso vollständig und widerspruchsfrei ist wie die AL.

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 2071
Registriert: 9. Jul 2010, 04:02

Re: ZFC & PL, 1. Stufe

Beitrag von Pippen » 6. Sep 2016, 23:14

Niemand?

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 2071
Registriert: 9. Jul 2010, 04:02

Re: ZFC & PL, 1. Stufe

Beitrag von Pippen » 12. Sep 2016, 18:11

Folgendes scheint der Fall zu sein: Die PL 1. Stufe kann unvollständig oder inkorrekt sein, muss aber nicht. Es hängt davon ab, ob und welche zusätzlichen Symbole man einführt. So ist der Kalkül des natürlichen Schließens vollständig und korrekt, während ZFC nur unvollständig oder inkorrekt ist - beide Kalküle sind in PL, 1. Stufe, geschrieben, aber in ZFC gibt's mehr Sondersymbole, zB €. Das scheint den Unterschied zu machen.

Antworten