Diskussion:Elementare Sprache

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 10 Jahren von 80.226.24.9 in Abschnitt Fehler im Beispiel: Gruppe
Zur Navigation springen Zur Suche springen

Umarbeitung

[Quelltext bearbeiten]

Ich habe den Artikel umgearbeitet und gekürzt. Die Nomenklatur habe ich an das Buch von Ebbinghaus angepasst.Dhanyavaada 18:50, 7. Okt. 2009 (CEST)Beantworten

Beweis-Erfahrung

[Quelltext bearbeiten]
„und dass sich alle beweisbaren Aussagen innerhalb einer Sprache erster Stufe mit Hilfe des Sequenzenkalküls ableiten lassen“

Was soll das heißen? „beweisbar“ in einem intuitiven Sinne? Sollte man hier nicht den Vollständigkeitssatz erwähnen? Und wieso gerade das Sequenzenkalkül? --Chricho ¹ 15:31, 27. Dez. 2011 (CET)Beantworten

Fehler im Beispiel: Gruppe

[Quelltext bearbeiten]

Offenbar besitzt die Sprache der Gruppe ein "Funktionssymbol" und kein "Relationssymbol". (nicht signierter Beitrag von 80.226.24.9 (Diskussion) 22:46, 26. Nov. 2013 (CET))Beantworten

Unklare Bezüge

[Quelltext bearbeiten]

Unter der Überschrift Hinweise stehen zwei Bezüge, (f)(3) und (f)(1), mit unerschließlicher Bedeutung. Vielleicht kann jemand (sogar unter Weglassung dieser kryptischen Abkürzungen?!) erklären, was in diesem ersten Punkt der Hinweise gemeint ist. – Danke im Voraus!