Diskussion:Elementare Sprache

Umarbeitung

Letzter Kommentar: vor 14 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

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

Letzter Kommentar: vor 12 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

„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

Letzter Kommentar: vor 10 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

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

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!

Abschnitt hinzufügen