Wikipedia:Redundanz/September 2006

aus Wikipedia, der freien Enzyklopädie

Inhaltsverzeichnis 1 1. September 2 2. September 3 3. September 4 4. September 5 5. September 6 6. September 7 7. September 8 8. September 9 9. September 10 10. September 11 11. September 12 12. September 13 13. September 14 14. September 15 15. September 16 16. September 17 17. September 17.1 Formale Sprache - Formales System - Formales System (Logik) - Kalkül 18 18. September 19 19. September 20 20. September 21 21. September 22 22. September 23 23. September 24 24. September 25 25. September 26 26. September 27 27. September 28 28. September 29 29. September 30 30. September 31 Nachgetragen

[Bearbeiten] 1. September

[Bearbeiten] 2. September

[Bearbeiten] 3. September

[Bearbeiten] 4. September

[Bearbeiten] 5. September

[Bearbeiten] 6. September

[Bearbeiten] 7. September

[Bearbeiten] 8. September

[Bearbeiten] 9. September

[Bearbeiten] 10. September

[Bearbeiten] 11. September

[Bearbeiten] 12. September

[Bearbeiten] 13. September

[Bearbeiten] 14. September

[Bearbeiten] 15. September

[Bearbeiten] 16. September

[Bearbeiten] 17. September

[Bearbeiten] Formale Sprache - Formales System - Formales System (Logik) - Kalkül

Laut Definition in Formales System ist beides das gleiche. Ist diese Definition korrekt? --Gratisaktie 14:05, 17. Sep 2006 (CEST)

Es gibt noch einen dritten Artikel dieser Art, Formales System (Logik). Das aufzuarbeiten wäre jedenfalls viel Arbeit, zumal die Artikel jeweils nur einen Aspekt heraus greifen und sich selber nicht so sicher, wie die Dinge zusammenhängen. Viele Grüße, --GottschallCh 13:28, 23. Feb. 2007 (CET)

Nicht ganz einfach. Das Problem scheint mir zu sein, dass der Artikel "formale Sprache" einen Teilaspekt formaler Sprachen im Sinne der theoretischen Informatik behandelt und dadurch diesen Begriff okkupiert (statt ihn als Anwendungsfall zu bringen). In formalen System gibt es wohl nur eine formale Sprache (im weiteren Sinn). Sie sind deshalb aber wohl nicht identisch. Formales System (Logik) behandelt nur einen Anwendungsfall des Formalen Systems im weiteren Sinn. Ohne dem fleißigen Autor nahe treten zu wollen, halte ich den Einstieg dort (MU-Rätsel) nicht glücklich. Im Übrigen tritt eine Dopplung zum Logik-Artikel auf.

Hans-Jürgen Streicher 00:56, 30. Apr. 2007 (CEST)

Habe Vorlage:Redundanztext auch auf Formales System (Logik) und Kalkül gesetzt. Die Artikel verweisen aufeinander und enthalten Versuche, sich aufeinander abzustimmen. Ich finde es OK, wenn mehrere Artikel ein Sachgebiet mit unterschiedlichen Schwerpunkten beleuchten. Dabei entstehen natürlich Überschneidungen, an denen ich so erstmal nichts auszusetzen habe. Allerdings sollte auf Konsistenz geachtet werden ... aber jetzt wird es mir auch zuviel. Jedenfalls erscheinen mir jetzt die Redundanzwarnungen als übertrieben (nicht so wichtig für Leser), man könnte stattdessen das Problem auf den einzelnen Diskussionsseiten ansprechen. !? -- Lückenlos 08:00, 9. Jul. 2007 (CEST)

Ich habe dies zur Kenntnis genommen - Das Portal sieht ziemlich verwaist aus, deswegen liegt auch noch dringenderes rum --SonniWP2 09:27, 9. Aug. 2007 (CEST)

Mir gefällt die Defintition in Formale Sprache ganz gut und ich sehe im Gegensatz zu Gratisaktie keine Überschneidungen mit formales System. Ich sehe auch nicht das Problem mit dem Teilaspekt wie Hans-Jürgen Streicher. Eine formale Sprache ist einfach eine Menge von Wörtern über einem endlichen Alphabet. In diesem Sinne wird es auch im Artikel Formale Sprache benutzt und richtig referenziert. Ich schlage vor, den Redunanzhinweis bzgl. Formale Sprache zu entfernen. -- Swingformatiker

Der Artikel Axiomensystem überschneidet sich auch noch mit Formales System (Logik).--AlfonsGeser 18:35, 10. Mai 2008 (CEST)

Beim Portal Mathematik gemeldet. --Birger 18:56, 10. Aug. 2008 (CEST)

Es könnte seine dass ein Formales System noch etwas abstrakteres ist als die Formale Sprache, aber aus dem Artikel kommt es auf jeden Fall nicht raus.-- Avron 12:37, 17. Jan. 2009 (CET)

das scheint beliebig schwierig zu sein - die Formale Sprache scheint ein eigener Begriff zu sein, während bei den restlichen drei Lemmata offenbar große Redundanzen bestehen. wenn keiner was dagegen hat, trage ich die letzten drei (mit Verweisen etc.) neu ein. Cholo Aleman 21:45, 4. Mai 2009 (CEST)

Ich habe in einigen Büchern (dank googlebooks) geblättert aber keine eindeutige Unterscheidung gefunden. Die Informatiker, die Linguistiker und die Ontologen benutzen jeweils ihre eigenen Wörter die Begriffe zu erklären. Meiner Meinung nach wäre es fast das sinnvollste den Artikel Formales System (Logik) zu löschen. Der Artikel kommt vom Benutzer:Hubi und ist im Grunde kein enzyklopädischer Artikel sondern ein Buchkapitel über Logik. Auch erscheint mir dort nicht was nicht schon in anderen Artikeln erklärt wäre. Hubi selbst sagt dass es keinen Bedeutungsunterschied zwichen "Formales System" und "Formales System (Logik)". Das wäre ein radikaler Schritt, aber sonst passiert hier auch in den nächsten 3 Jahren nichts. Was hälst du davon?-- Avron 21:25, 6. Mai 2009 (CEST)

Sinnvoller Vorschlag - allerdings müsste man Benutzer:Hubi informieren, denke ich. Gibt es ein aktives Portal, die das machen können? Oder normale Löschdiskussion? - stattdessen könnte man selbst ein Redirect einrichten. Ich hatte gehofft durch einen Neueintrag würden es mehr Leute sehen. Und der Begriff der "Formalen Sprache" ist vermutlich besser abgrenzbar, weshalb die Redundanz da geringer ist. Ich habe mich allerdings damit ausdrücklich wenig inhaltlich beschäftigt, weil das für mich alles böhmische Dörfer sind Cholo Aleman 12:11, 10. Mai 2009 (CEST)

Ich habe bei Hubi nachgefragt; er ist allerdings nur noch selten Wikipedia, so möchte ich noch etwas abwarten.-- Avron 19:52, 10. Mai 2009 (CEST)

Wie angekündigt Wikipedia:Löschkandidaten/21._Mai_2009#Formales_System_.28Logik.29-- Avron 11:31, 21. Mai 2009 (CEST)

[Bearbeiten] 18. September

[Bearbeiten] 19. September

[Bearbeiten] 20. September

[Bearbeiten] 21. September

[Bearbeiten] 22. September

[Bearbeiten] 23. September

[Bearbeiten] 24. September

[Bearbeiten] 25. September

[Bearbeiten] 26. September

[Bearbeiten] 27. September

[Bearbeiten] 28. September

[Bearbeiten] 29. September

[Bearbeiten] 30. September

[Bearbeiten] Nachgetragen