Interpretation und Isomorphie Bedeutung und Form in der Mathematik.

Slides:



Advertisements
Ähnliche Präsentationen
Hier einige Hieroglyphen:
Advertisements

Eine dynamische Menge, die diese Operationen unterstützt,
Vorlesung Programmieren II
II. Arithmetik. II. Arithmetik 4. Die natürlichen Zahlen.
Zusatzthemen. Kapitel 5 © Beutelspacher Juni 2004 Seite 2 Inhalt Gleichungssysteme mit Parameter Wurzelgleichungen Irrationale Zahlen Induktion WGMS III.
7.2 B-Bäume / B*-Bäume als Hilfsmittel zur Indexorganisation
Verschlüsselte Botschaften - eine Einführung -
Prof. Dr. W. Conen 15. November 2004
8. Formale Sprachen und Grammatiken
Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig Kapitel 4 / 1 Termalgebren Definition "Freie Algebra" Die -Algebra A = [A, F ] heißt.
Grammatiken, Definitionen
Einige entscheidbare bzw. rekursiv aufzählbare Sprachen
Christian Schindelhauer
Klicke Dich mit der linken Maustaste durch das Übungsprogramm!
FH-Hof Grammatiken Richard Göbel. FH-Hof Begriffe Eine Grammatik definiert die Struktur (Syntax) einer Zeichenkette Eine Grammatik definiert nicht die.
Das Halteproblem. Gibt es einen Algorithmus, mit dem man für jedes beliebig vorgegebene Programm R und für jede beliebig vorgegebene Eingabe E entscheiden.
Kapitel 5 Stetigkeit.
Kapitel 1 Das Schubfachprinzip
Kapitel 1 Die natürlichen und die ganze Zahlen. Kapitel 1: Die natürlichen und die ganzen Zahlen © Beutelspacher/Zschiegner April 2005 Seite 2 Inhalt.
Kapitel 6 Differenzierbarkeit. Kapitel 6: Differenzierbarkeit © Beutelspacher Juni 2005 Seite 2 Inhalt 6.1 Die Definition 6.2 Die Eigenschaften 6.3 Extremwerte.
Prof. Dr. rer.nat. Ralph Großmann Fakultät Informatik / Mathematik Sommersemester 2012 Internet-Technologien XML-basierte Techniken Teil Metasprache der.
Sprachkonstruktion I Konstruktion einer neuen Sprache Einladung zu einem Sprachexperiment Sie sind eingeladen, sich an einem Sprachexperiment zu beteiligen.
Beispiele für Ausdrucksalgebren
Fantasieregel Die Aussagenlogik
= 4x x nach links, Zahl nach rechts! -2x 4x -2x + 52x – 2x x -2x = 2x – 2x x Zahl 2x= = 2x -15 x = - 10 = 4x + 52x -15 Beispiel.
Christian Schindelhauer
Christian Schindelhauer
Wir suchen ‘ mit m = m    ‘ c  ‘ mod 26
(Ron Rivest, Adi Shamit, Leonard Adleman , 1977)
Zahlen mit Zahlen ausmessen
5.6. Mathematik im Hellenismus
Erwartungswert und Varianz I Der endliche Fall Erwartungswert Varianz.
Urnenmodelle. Die Normalverteilung (Gauß-Verteilung) (Gaußsche Glockenkurve)
Bedingte Wahrscheinlichkeiten
Theoretische Informatik 2
Primzahlen Primzahlen sind natürliche Zahlen, die nur durch sich selbst und durch 1 teilbar sind? Bedingung: Die Zahl muss größer sein als 1.
Folie 1 § 29 Determinanten: Eigenschaften und Berechnung (29.1) Definition: Eine Determinantenfunktion auf K nxn ist eine Abbildung (im Falle char(K) ungleich.
Zahlenmengen.
1. Mengenlehre Grundbegriffe.
1. Mengenlehre Grundbegriffe.
Gleichungssysteme Galip Turan.
Beweissysteme Hartmut Klauck Universität Frankfurt WS 06/
§3 Allgemeine lineare Gleichungssysteme
Lineare Gleichungen Beispiel: 7x – 2 = 40 Eine Gleichung muss man sich so vorstellen wie eine Waage. Legt man auf die eine Seite Äpfel, so muss man auf.
Vorzeichenregeln Plus mal Plus = Plus Minus mal Minus = Plus
Ich habe mir mal die Mühe gemacht, aus dem
Institut für Theoretische Informatik
Formale Sprachen Grammatiken und die Chomsky-Hierarchie
DAS HERON-VERFAHREN Heron erkannte, dass man die Quadratwurzel einer Zahl bestimmen kann, indem man verschiedene Mittelwerte berechnet. Solche Nährerungsverfahren.
Wilhelm Söhne, Klasse 8b, Januar 2009
Zur Wiederholung: Beim unechten Bruch ist der Zähler größer als der Nenner. Das heißt, der Wert des Bruches ist größer als ein Ganzes. Man kann unechte.
Der kleine Satz des Fermat
Dieser nicht Fehler finden Algorithmus enthält einfach einen gravierenden welcher zu ist.
Noam CHOMSKY, Sheila GREIBACH
ENDLICHE KÖRPER RSA – VERFAHREN.
Automaten, formale Sprachen und Berechenbarkeit II SoSe 2004 Prof. W. Brauer Teil 3: Potenzreihen und kontextfreie Sprachen (Vgl. Buch von A. Salomaa)
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
Arne Vater Wintersemester 2006/ Vorlesung
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
Pierre Fermat.
Mensch – Maschine - Kommunikation
Studienfach Mathematik
7. Formale Sprachen und Grammatiken
Wie berechnet man ein Dreieck?
Kapitel 4 Restklassen (die modulo-Rechnung)
Division mit Rest Fortbildungsveranstaltung am 5. Juni 2009 Innsbruck
Primzahlzwillingsrekorde – nicht nur eine Jagd nach Monstern
LdL am S. Roth :05: :05:44 Weitere Übungsbeispiele zur Booleschen Algebra Franz Jehle Boolesche Algebra, 4.3.
Statistik II Statistik II Maße der zentralen Tendenz (Mittelwerte)
 Präsentation transkript:

Interpretation und Isomorphie Bedeutung und Form in der Mathematik

2 Definitionen Das pg-System Interpretation Euklids Beweis Inhalt:

3 Definitionen Eine informationsbewahrende Transformation nennt man Isomorphie. Eine Entsprechung von Symbolen und Wörtern heißt Interpretation.

4 Das pg-System Das Alphabet: p g - Definition: x p-g x - ist ein Axiom, wenn x nur aus Bindestrichen besteht. Regel: Angenommen x, y und z stehen für alle einzelnen Ketten, die nur Bindestriche enthalten, und angenommen, daß man weiß, daß x p y g z ein Satz ist. Dann ist x p y -g z - ein Satz.

5 Beispiele 1. --p-g p-g p-g p--g p---g p---g------

6 Interpretation I 1. --p-g = p-g = p-g = p--g = p---g = p---g =6

7 Interpretation II Ist --p--p--p--g auch ein Satz?

8 bedeutungsleere Interpretation 1. --p-g--- Apfel Apfel Pferd Apfel glücklich Apfel Apfel Apfel p-g---- Apfel Apfel Apfel Pferd Apfel glücklich Apfel Apfel Apfel Apfel 3....

9 bedeutungstragende Interpretation p gleich g weggenommen von - eins -- zwei

10 Manipulation von Symbolen 3 3 = =

11 Grundgesetz der Arithmetik | | | | | | | | | In Indien gibt es 17 Sprachen und 462 Dialekte.

12 Euklids Beweis I Es gibt unendlich viele Primzahlen Es gibt für jede beliebige Zahl immer eine noch grössere Primzahl.

13 Euklids Beweis II Nehmen wir eine Zahl N. Nun bilden wir N!+1. Das Ergebnis kann nicht ein Vielfaches von 2 sein (weil 1 übrigbleibt, wenn man durch 2 dividiert) ein Vielfaches von 3 sein (weil 1 übrigbleibt, wenn man durch 3 dividiert) [...]

14 Euklids Beweis III Wenn N!+1 keine Primzahl ist, muss jeder Teiler auf jeden Fall größer als N sein. Also muss es eine Primzahl größer als N geben.

15 Die Unendlichkeit Euklid vermeidet die Unendlichkeit indem er sagt: Nehmen wir eine Zahl N Er nähert sich mit einzelnen Schritten der Unendlichkeit.

Vielen Dank für Eure Aufmerksamkeit