Diskussion:Theorie (Logik)

Fehlender Beleg

Letzter Kommentar: vor 10 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

Wenn man schon mit Verweis auf die unterschiedliche Quellenlage in der Einleitung darauf verzichtet eine Theorie als deduktiv abgeschlossene Aussagenmenge zu charakterisieren, dann sollte man m.M.n. wenigstens eine Quelle angeben in der diese Eigenschaft nicht gefordert wird.

Zumindest in meinen Logik-Vorlesungen wurden Theorien immer als Mengen mit dieser Einschränkung eingeführt.

-- 89.16.133.178 07:38, 27. Jan. 2014 (CET)Beantworten

Done, Chang Keisler definieren das zB so und nennen eine deduktiv abgeschlossene Theorie dann closed.--Frogfol (Diskussion) 21:17, 25. Feb. 2014 (CET)Beantworten

Überarbeitung notwendig

Letzter Kommentar: vor 2 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

Der gesamte Artikel bedarf meines Erachtens der Überarbeitung, da er zahlreiche Ungenauigkeiten und Fehler enthält, wie beispielsweise die Behauptung, dass die Theorie der Arithmetik unvollständig sei; diese ist per Definition vollständig, gleichwohl ist aber die Peano-Arithmetik als Theorie unvollständig. Ich würde anbieten, den Artikel zu überarbeiten und zu straffen; möchte aber vorher kurz nachfragen, um niemanden auf die Füße zu steigen. Gern überarbeite ich den Artikel zusammen mit dem Autor. --Peter Ulber (Diskussion) 21:57, 10. Sep. 2015 (CEST)Beantworten

Stimmt, das mit der Theorie der Arithmetik habe ich gerade mal etwas gerade gezogen. Müsste man aber noch einiges daran tun.--Jocme (Diskussion) 02:03, 9. Feb. 2022 (CET)Beantworten

Abschnitt hinzufügen