Spelling suggestions: "subject:"mathematische logic"" "subject:"mathematische logit""
1 |
Lokale Stabilitaet in generischen ModellenKraus, Ingo. January 2001 (has links)
Freiburg, Univ., Diss., 2001.
|
2 |
A logical approach to computational theory building : with applications to sociology /Kamps, Jacob. January 2000 (has links)
Diss. University Amsterdam, 2000. / Namensvariante: Jaap Kamps.
|
3 |
Assessing theories : the problem of a quantitative theory of confirmationHuber, Franz January 2002 (has links) (PDF)
Erfurt, Univ., Diss., 2003
|
4 |
Term-modal logic and quantifier-free dynamic assignment logic /Thalmann, Lars, January 1900 (has links)
Diss. Uppsala : Univ., 2001.
|
5 |
Logical fragments for Mazurkiewicz traces expressive power and algebraic characterizations /Kufleitner, Manfred. January 2006 (has links)
Stuttgart, Univ., Diss., 2006.
|
6 |
Beweisbarkeitslogik für Rosser-SätzeBülow, Christopher von. January 2001 (has links)
Konstanz, Univ., Diplomarb., 1998.
|
7 |
Computational and logical aspects of infinite monoidsLohrey, Markus, January 2003 (has links) (PDF)
Stuttgart, Univ., Habil.-Schr., 2003.
|
8 |
Die mathematische Logik: Ein kollektiver Denkfehler?Castell-Castell, Nikolaus 29 September 2016 (has links)
1) Dass die „mathematische Logik“ keine mathematische Logik ist, duerfte auch anderen Kritikern aufgefallen sein, dass sich aber ihre (angebliche) Logik nur ausschliesslich mit sich selbst beschaeftigt und darin ihren Selbstzweck findet, wurde in der Literatur noch nirgends herausgearbeitet und ist Hauptgegenstand dieses Aufsatzes.
2) Auch eine deutliche Kritik des semantischen und (trotz gegenteiliger Behauptung) auch syntaktischen Niveaus von Aussagen- und Praedikatenlogik mit ihren undifferenzierten und auf Buchstaben (Symbole) reduzierten „Aussagen“ (die hier vollkommen unpassend sind, da mathematische Logik mit der Arithmetik nichts gemein hat) war ueberfaellig und wird in diesem Aufsatz belegt.
3) In der Logik der Realitaet haben alle von vornherein willkuerlich als falsch erklaerte Praemissen nichts zu suchen. Warum sie bei den einzelnen Operatoren jeweils in drei von vier theoretischen Kombinationen absichtlich eingebaut werden, entbehrt jeden praktischen, aber auch theoretischen, Sinns.
4) Die hier vorzutragenden Argumente fuer eine unbegrenzt mehrwertige Logik und das bisherige bewusste Missinterpretieren der sog. Fuzzy-Logik stellen ebenfalls eine eigene und offensichtlich neue Idee dar.
5) Ausserdem werden in diesem Aufsatz die Bezeichnungen Null (0) und (vor allem) Eins (1) hinterfragt, und es wird der naheliegende Vorschlag gemacht, die Benennungen Null (0) und Eins (1) von den benebelnden, das Weiterdenken blockierenden und trotz Boole auch falschen, Begriffen „wahr“ und „falsch“ zu trennen.
6) Das Zusammensetzen von (nur zwei) Aussagen, die a) fuer die Logik keineswegs verbunden werden muessten und b) deren zwangslaeufiges Zusammengehoeren sowohl in der Praxis, als auch in der Theorie, (mit Ausnahme von dem „wenn-dann“-Operator) bei allen Operatoren stets unpassend ist, wird ebenfalls in diesem Aufsatz dargelegt.
7) Die Unsinigkeit fuer jegliche Logik, a) einige Operatoren durch leichte Variationen zu ergaenzen (z.B. V und XOR) und b) fuer diese dann teilweise abweichende Wahrheitswerte zu behaupten, wird kritisch vermerkt (und offensichtlich erstmalig bemerkt).
8) Das starre und sowohl praktisch als auch theoretisch aussagelose System in den Wahrheitstabellen usw. wird ebenfalls konstatiert. Die Tatsache, dass es sich hier lediglich um eine im Voraus festgelegte und keineswegs durchgaengig logische Skala handelt, die die Informatiker seit Shannon freundlicherweise fuer ihre „Namensgebungen“ (mit jeweils ein paar definierten Eigenschaften) nutzen (aber nicht nutzen muessten), wird kritisch dargestellt.
9) Das in diesem Aufsatz kurz angerissene Thema zum Zaehlen von Zahlen ist simpel, aber selbst entwickelt und neu. Diese Festlegung, dass sich die Elemente einer Menge den in ihrer Reihenfolge und in ihrem Abstand zueinander im Voraus festgelegten Zahlen anpassen muessen und nicht umgekehrt, macht den Blick frei fuer den u.g. Punkt 10) dieses Resuemees.
10) Durch den vorgenannten Punkt 9) werden die umfassenden Unterschiede zwischen der Mathematik und der mathematischen Logik offensichtlich, die klar belegen, dass die mathematische Logik nichts mit Mathematik zu tun hat und dass darum der Anspruch der mathematischen Logik, ein „Sonderrecht“ darauf zu haben, auf Semantik keinen Wert legen zu muessen und selbst entscheiden zu koennen, was „wahr“ und was „falsch“ ist, nach logischen Gesichtspunkten unhaltbar ist.
|
9 |
Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad ZuseAlex, Jürgen 24 May 2006 (has links) (PDF)
Inhalt der Dissertation ist der Einfluß, den die von Alfred Tarski formulierte mathematische Logik auf die Entstehung der drei Computerkonzepte des Konrad Zuse hatte.
|
10 |
Form und In-formation zur Logik selbstreferentieller StrukturgeneseWeiss, Christina January 2006 (has links)
Zugl.: Witten, Herdecke, Univ., Diss.
|
Page generated in 0.0974 seconds