Benutzer Diskussion:Hajo Keffer/2012

Die Logik wird anhand der deduktiven Methode als eine Subdisziplin (d. h. die Logik als vorangehende Disziplin einer gegebenen Disziplin vorauszusetzen) der Philosophie, Mathematik und der Informatik betrieben; umgekehrt kann man auch versuchen diese Wissenschaften formal logisch zu beschreiben bzw. als Anwendungen der Logik zu betrachten.

"Das ist nur für den Fachmann verständlich - für Einleitung zu kompliziert"

Ich meine, dass das nicht der Fall ist, und denke, dass diese Information so manches klarer erscheinen lässt.

mfg --123qweasd Benutzer Diskussion:Hajo Keffer/2012#c-123qweasd-2012-01-16T15:09:00.000Z-Rückgängig Einleitung Logik11Beantworten

Ich antworte Dir auf der Diskussionsseite--Hajo Keffer Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-01-16T19:12:00.000Z-123qweasd-2012-01-16T15:09:00.000Z11Beantworten

Ich habe mich zu deiner Kritik geäußert Diskussionsseite --123qweasd (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-123qweasd-2012-03-15T16:49:00.000Z-Hajo Keffer-2012-01-16T19:12:00.000Z11Beantworten

Ich habe mich zu deinem Diskussionsbeitrag geäußert --123qweasd (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-123qweasd-2012-03-25T16:25:00.000Z-123qweasd-2012-03-15T16:49:00.000Z11Beantworten

Hallo lieber Benutzer:Hajo Keffer,

hiermit möchte ich dich ganz herzlich zu unserem Stammtisch am 7. März um 19 Uhr einladen. Er findet im „Stumm’s Brauhaus“ in Neunkirchen (Saar) statt. Die Anfahrt ist hier erklärt. Es würde uns freuen, dich als Besucher begrüßen zu dürfen. Eine unhalbverbindliche Anmeldung ist hier möglich. Bei Fragen kannst du gerne die Diskussionsseite benutzen oder mich anschreiben. --Gripweed (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Gripweed-2012-03-02T15:10:00.000Z-Saar-Stammtisch11 PS: Auch wenn du momentan kein Interesse haben solltest, lohnt sich immer ein Blick auf die Seite Wikipedia:Saarland, da wir den Stammtisch von nun ab regelmäßig veranstalten wollen.Beantworten

Danke für die Einladung, ich überleg's mir mal. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-03-02T17:17:00.000Z-Gripweed-2012-03-02T15:10:00.000Z11Beantworten

Hallo, könntest Du bitte einen Blick in den Duden http://www.duden.de/rechtschreibung/weiterentwickeln werfen? Gruß --Boobarkee (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Boobarkee-2012-04-23T09:06:00.000Z-weiterentwickeln11Beantworten

Habe ich gemacht. Was ist Dein Problem? --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-04-23T09:15:00.000Z-Boobarkee-2012-04-23T09:06:00.000Z11Beantworten

Wenn du dein Problem immer noch nicht erkennst, solltest du mal WP:RS lesen. --Boobarkee (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Boobarkee-2012-04-23T10:25:00.000Z-Hajo Keffer-2012-04-23T09:15:00.000Z11Beantworten

Na, Du bist mir ja ein überaus freundlicher Wikipedianer, ein richtiges Schätzchen! Mein Problem habe ich immer noch nicht erkannt, aber Dein Problem ist ja wohl ziemlich offensichtlich. Ich habe übrigens gesehen, dass Du meine Änderungen in Hubschrauber revertiert hast und zur falschen Schreibung zurückgekehrt bist, aber deswegen werde ich keinen Edit-War beginnen, auch wenn Du Dir das noch so sehr wünschst. Tut mir leid! --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-04-23T11:12:00.000Z-Boobarkee-2012-04-23T10:25:00.000Z11Beantworten

Hallo,

seit Januar 2012 fand bisher jeden Monat ein Saarland-Stammtisch statt. Wir wollen dich auf diesem Wege herzlich einladen, auch einmal daran teilzunehmen.

Der nächste Stammtisch ist am 30. April 2012 um 19:00 Uhr im Brauhaus Neunkirchen.

Weitere Infos findest du unter Wikipedia:Saarland --Bot (automatisch ausgestellt) Benutzer Diskussion:Hajo Keffer/2012#c-InkoBot-2012-04-28T14:31:00.000Z-Saarland-Stammtisch 30.04.201211Beantworten

gudn tach!
siehe talk:Fugenlaut#Literatur. -- seth Benutzer Diskussion:Hajo Keffer/2012#c-Lustiger seth-2012-05-26T14:59:00.000Z-fyi: literatur zu fugenlaut11Beantworten

Hallo, du hattest obigen Artikel initiiert. Leider enthält er keine Quellenangaben. Der Artikel ist in der QS der Mathematik. Kompaktheit wird in den mir bekannten Logikbüchern anders definiert. Könntest du deine Quellen benennen? Danke und Gruß--Frogfol (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Frogfol-2012-08-26T11:33:00.000Z-Kompaktheit (Logik)11Beantworten

Also, das ist ja schon eine ganze Weile her, seit ich den Artikel initiiert habe, aber ich meine mich damals auf einen Aufsatz von Tarski bezogen haben, der ganz allgemeine Eigenschaften einer Konsequenzenoperation definiert (Monotonie, Transitivität usw.) und soweit ich mich erinnere, wurde dort diese Definition verwendet. Leider habe ich jetzt auf die Schnelle nicht rausgekriegt, wie der Aufsatz hieß, allerdings habe ich diesen Link gefunden, wo ebenfalls die Definition aus dem Wikipedia-Artikel verwendet wird (ganz am Anfang, auch mit Bezug auf Tarski), was zumindest zeigt, dass die Definition nicht völlig ungebräuchlich ist: "h t t p : / / www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&ved=0CDgQFjAC&url=ftp%3A%2F%2Fftp.uni-leipzig.de%2Fpub%2Fifi%2Freports%2Freport9601.ps&ei=ilE6UNz6MZHLsga49oDYCA&usg=AFQjCNEe6TdT6jXNezmuMz5mUBNkBiPJNQ&sig2=gQgKwx-tkXrF5ibS3E9zJw". Welche Definition schwebt Dir denn vor? --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-08-26T16:49:00.000Z-Frogfol-2012-08-26T11:33:00.000Z11Beantworten

PS: Die Wikipedia-Software wollte mich den Link nicht einfügen lassen, da musste ich ein bisschen tricksen. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-08-26T16:50:00.000Z-Hajo Keffer-2012-08-26T16:49:00.000Z11Beantworten

Naja, unter Kompaktheit wird meist wie im Kompaktheitssatz verstanden. Ich glaub nicht, dass der Begriff in der Bedeutung des Artikels noch wirklich aktuell ist. In den mir bekannten Logikbüchern taucht er zumindest nicht so auf.

Problem: Die Prädikatenlogik 2ter Stufe ist zB. kompakt (im Sinne des Artikels), in ihr gilt der Kompaktheitssatz aber nicht. Das ist vermutlich für die meisten Leser verwirrend. Gruß--Frogfol (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Frogfol-2012-08-26T16:58:00.000Z-Hajo Keffer-2012-08-26T16:49:00.000Z11Beantworten

OK, offenbar sind die beiden Definitionen (in Kompaktheit (Logik) und Kompaktheitssatz) nicht äquivalent, wenn Vollständigkeit nicht gilt. Ich persönlich find's nicht so schlimm, weil verschiedene Logiker eben ihre Begriffe unterschiedlich definiert haben und da kann man nicht erwarten, dass alles einheitlich ist, aber wenn Du den Artikel entsprechend umschreiben und mit Quellen versehen willst, soll's mir auch recht sein. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-08-26T17:54:00.000Z-Frogfol-2012-08-26T16:58:00.000Z11Beantworten

Diskussion dorthin kopiert. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-09-25T08:20:00.000Z-Prädikator /Nominator11Beantworten

Hallo Hajo Du hast meine Eintragung rückgängig gemacht. Zunächst fand ich dass nicht so toll, aber mit Abstand betrachtet muss ich dir recht geben. Und als Wikipedia Benutzer (Leser) danke ich dir, das du hilfst, die Qualität aufrecht zu halten. Gruß --Wikiwau (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Wikiwau-2012-10-17T14:58:00.000Z-Korrektur11Beantworten

Lieber Wikiwau, Du hast meinen Respekt dafür, dass Du vergangene Fehler einsiehst und aus ihnen lernen willst. Das ist nämlich (leider!) keine Selbstverständlichkeit. Daher wäre es sehr schön, wenn Du hier noch weiter mitmachen würdest. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-10-17T15:38:00.000Z-Wikiwau-2012-10-17T14:58:00.000Z11Beantworten

Gruß und Dank --Wikiwau (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Wikiwau-2012-10-17T17:34:00.000Z-Korrektur11Beantworten

[...dafür]. Ein c&p Fehler. Manchmal bin ich sehr unaufmerksam, tut mir Leid. Liebe Grüße-- Leif Czerny Benutzer Diskussion:Hajo Keffer/2012#c-Leif Czerny-2012-12-15T21:43:00.000Z-Vielen Dank11Beantworten

Keine Ursache! Beste Grüße, --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-12-16T06:36:00.000Z-Leif Czerny-2012-12-15T21:43:00.000Z11Beantworten

Moin ... kann sein Du hast bewusst so abgestimmt wie ich es sehe ... kann auch sein das für dich dieserBenutzer:KMic/Inaktive Admins11 Überblick hilfreich ist oder Du Dich hierBenutzer:KMic/Inaktive Admins/Opt-In11 eintragen willst. Besten --Gruß Tom (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Gruß Tom-2012-12-20T15:33:00.000Z-kann sein11Beantworten

Ja, danke für die Hinweise. --Hajo Keffer (Diskussion) Benutzer Diskussion:Hajo Keffer/2012#c-Hajo Keffer-2012-12-20T15:53:00.000Z-Gruß Tom-2012-12-20T15:33:00.000Z11Beantworten