|
| | | Diff | Volume | Size | Title |
2 | 22 | | 7.8 k | 9 k | 20 k | Wortarten |
2 | 16 | | 3.9 k | 33 k | 27 k | Relativsätze |
1 | 25 | | 2.4 k | 2.8 k | 147 k | Philosophie und Quantenphysik - Von der Entschlüsselung emergenter Phänom… |
2 | 8 | | 697 | 743 | 3 k | LdL-Online-Institut |
1 | 16 | | 4.3 k | 4.2 k | 15 k | Ausdruck der Negation |
1 | 5 | | 1.7 k | 3.6 k | 1.6 k | Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Textabschnitt |
1 | 3 | | 3.6 k | 3.5 k | 3.5 k | Registerprogramm/Abbildung/Einführung/Textabschnitt |
1 | 6 | | 2.5 k | 2.4 k | 2.4 k | Implizite Abbildung/Einführung/x+y^2+x^2y/Beispiel |
1 | 1 | | 4.5 k | 4.4 k | 4.4 k | Halteproblem/Registermaschine/Einführung/Kodierung/Textabschnitt |
2 | 2 | | 223 | 223 | 3.2 k | Teilmenge/R^n/Sternförmig/Gradientenfeld/Charakterisierung/Fakt/Beweis |
1 | 3 | | 1 k | 1 k | 1 k | Registermaschine/Programm/Arithmetische Repräsentierung/Fakt |
1 | 3 | | 1.4 k | 1.4 k | 1.4 k | Linearformen/Kernbeziehung/Unterraumbeziehung/Aufgabe |
1 | 2 | | 1.5 k | 1.4 k | 1.4 k | Beschränkte Abbildungen/Euklidischer Raum/Gleichmäßige Konvergenz und Sup… |
1 | 2 | | 1.9 k | 1.9 k | 1.9 k | Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Definition |
1 | 2 | | 1.1 k | 1.1 k | 1.1 k | Arithmetisch repräsentierbar/Abbildung und Graph/Aufgabe |
1 | 2 | | 1.1 k | 1 k | 1 k | Abbildungsfolge/R^n/Gleichmäßige Konvergenz/Komponente/Aufgabe |
1 | 2 | | 898 | 898 | 898 | Offenes Einheitsintervall/Glatte Funktion/Ableitung/Keine starke Kontrakt… |
1 | 4 | | 754 | 754 | 2.5 k | Extrema/Nebenbedingungen/Textabschnitt |
1 | 3 | | 610 | 944 | 5.6 k | Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/F… |
1 | 1 | | 1.9 k | 1.9 k | 1.9 k | Picard-Lindelöf/Iteration/Verfahren/Konvergenz/Bemerkung |
1 | 3 | | 876 | 912 | 876 | Die grammatische Funktion "Subjekt" |
1 | 2 | | 912 | 914 | 912 | Erststufige Peano-Arithmetik/Vielfache/Repräsentierung/Aufgabe |
1 | 2 | | 771 | 771 | 771 | Matrizen/Konvergente Einträge/Punktweise konvergente lineare Abbildung/Au… |
1 | 2 | | 745 | 745 | 2.5 k | Erster Gödelscher Unvollständigkeitssatz/Textabschnitt |
1 | 2 | | 855 | 855 | 855 | Arithmetischer Ausdruck/Quantorenfrei/Eine Variable/Erfüllungsmenge ist e… |
1 | 2 | | 730 | 732 | 730 | Sprache erster Stufe/Symbolaufzählung/Terme/Registeraufzählbar/Aufgabe |
1 | 1 | | 1.4 k | 1.4 k | 1.4 k | Beschränkte Abbildungen/Euklidischer Raum/Supremumsnorm/Normeigenschaften… |
1 | 1 | | 1.4 k | 1.3 k | 1.3 k | Registermaschine/Programm/Arithmetische Repräsentierung/Fakt/Beweis |
1 | 2 | | 640 | 640 | 640 | Kommutativer Halbring/Erlaubt keine Repräsentierungen/Aufgabe |
1 | 3 | | 588 | 632 | 3.6 k | Natürliche Arithmetik/Erlaubt Repräsentierungen/Fakt/Beweis |
1 | 1 | | 1 k | 1 k | 1 k | Differenzierbare Abbildung/Injektives Differential/Im Punkt injektiv/Aufg… |
1 | 1 | | 1 k | 1005 | 1005 | Beschränkte Abbildungen/Euklidischer Raum/Supremumsnorm/Norm/Aufgabe |
1 | 4 | | 491 | 491 | 491 | N/Teilmengen/Entscheidbar/Durchschnitt und Vereinigung/Komplement/Aufgabe |
1 | 2 | | 506 | 506 | 506 | Entscheidungsverfahren/Additive Arithmetik/Aufgabe |
1 | 3 | | 328 | 328 | 328 | N/Entscheidbare Teilmengen/Abzählbar/Aufgabe |
1 | 2 | | 600 | 600 | 600 | N/Teilmenge/Aufsteigende Teilmenge/Entscheidbar/Aufgabe |
1 | 2 | | 420 | 420 | 2.2 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Aufzählbar/Fakt… |
1 | 2 | | 409 | 449 | 1.1 k | Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Nicht entscheidbar/Bemerkung |
1 | 2 | | 514 | 514 | 514 | N/Teilmengen/Endliche symmetrische Differenz/Entscheidbar/Aufgabe |
1 | 1 | | 875 | 875 | 875 | R^n/Offen/Zusammenhängend und stetig differenzierbar erreichbar/Aufgabe |
1 | 1 | | 858 | 858 | 858 | Funktionssymbol/Wert/Eindeutige Existenz/Allgemeingültig/Aufgabe |
1 | 1 | | 840 | 840 | 840 | Polynom über N/Repräsentierbar in PA/Aufgabe |
1 | 1 | | 816 | 816 | 816 | Kommutativer Halbring/Gleichheit/Nicht repräsentierbar/Aufgabe |
1 | 1 | | 792 | 792 | 792 | Tautologien/Registeraufzählbar/Aufgabe |
1 | 1 | | 753 | 753 | 753 | Sprache erster Stufe/Symbolaufzählung/Ausdrücke/Registeraufzählbar/Aufgabe |
1 | 1 | | 753 | 753 | 753 | Einheitswürfel/Flächenquadrat/Maximale Fläche/Aufgabe |
1 | 1 | | 750 | 750 | 750 | Funktionssymbol/Wert/Eindeutige Existenz/Ableitung/Aufgabe |
1 | 1 | | 737 | 737 | 737 | Normierter Vektorraum/R/Metrischer Raum/Aufgabe |
1 | 1 | | 724 | 724 | 724 | Erststufige Peano-Arithmetik/Gleichheit/Repräsentierbarkeit/Aufgabe |
1 | 2 | | 348 | 348 | 348 | N/Endliche Teilmenge/Entscheidbar/Aufgabe |
1 | 1 | | 717 | 717 | 717 | Aufzählbar axiomatisierbar/Endliche Hinzunahme/Aufgabe |
1 | 3 | | 33 | 35 | 1.5 k | Satz über die injektive Abbildung/Fakt |
1 | 1 | | 692 | 692 | 692 | Erststufige Peano-Arithmetik/Primzahl/Repräsentierung/Aufgabe |
1 | 2 | | 180 | 180 | 1.4 k | Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt/Beweis |
1 | 2 | | 175 | 175 | 1.1 k | Zweiter Gödelscher Unvollständigkeitssatz/Entscheidbar und Peano-Arithmet… |
1 | 3 | | 127 | 127 | 5.3 k | Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt/Beweis |
1 | 2 | | 152 | 152 | 1.6 k | Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/T… |
1 | 1 | | 615 | 615 | 3.2 k | Extrema/Nebenbedingung/Allgemein/Fakt/Beweis |
1 | 2 | | 110 | 110 | 110 | Kategorie:Theorie der Abbildungsfolgen in metrischen Räumen |
1 | 1 | | 605 | 605 | 605 | Abgeschlossenes Intervall/Reguläre Kurve/Fasern endlich/Aufgabe |
1 | 3 | | 55 | 63 | 712 | Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Total/Fakt |
1 | 1 | | 594 | 594 | 594 | Peano-Arithmetik/Standardmodell/Lücke/Unendlich viele nicht äquivalent/Au… |
1 | 2 | | 88 | 88 | 748 | Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Definition |
1 | 1 | | 575 | 575 | 575 | Nebenbedingung/Ellipsoid/2x^2+y^2+3z^2 ist 4/3x+4y-2z/Aufgabe |
1 | 2 | | 74 | 74 | 4.3 k | P-adische Zahlen/Definition der beta Funktion/Textabschnitt |
1 | 2 | | 74 | 74 | 2.2 k | Unentscheidbarkeit der Arithmetik/Registermaschine/Fakt/Beweis |
1 | 1 | | 563 | 563 | 563 | Nebenbedingung/Ellipse/2x^2+y^2 ist 1/5x+3y/Aufgabe |
1 | 2 | | 56 | 56 | 2.7 k | Abbildungsraum/Abgeschlossene beschränkte Menge/Maximumsnorm/Euklidisch/F… |
1 | 2 | | 52 | 52 | 6.2 k | Satz über implizite Abbildungen/R/Fakt/Beweis |
1 | 2 | | 22 | 22 | 1.1 k | Erster Gödelscher Unvollständigkeitssatz/Aufzählbar und Repräsentierungen… |
1 | 1 | | 523 | 523 | 523 | Arithmetische Repräsentierbarkeit/Abzählbar/Aufgabe |
1 | 2 | | 18 | 18 | 1 k | Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt |
1 | 2 | | 14 | 14 | 1.7 k | Astroide/Kompakt/x-Achse kein Tangentialraum/Beispiel |
1 | 2 | | 14 | 14 | 843 | Abbildungsfolge/Gleichmäßig konvergent/Stetig/Fakt |
1 | 2 | | 8 | 8 | 643 | Registermaschine/Programmbeispiele/Arithmetische Repräsentierung/Aufgabe |
1 | 3 | | 58 | 206 | 1.3 k | Beschränkte Funktionen/Supremumsnorm/Normeigenschaften/Aufgabe |
1 | 2 | | 104 | 104 | 1009 | Unentscheidbarkeit der Arithmetik/Registermaschine/Fakt |
1 | 2 | | 104 | 104 | 2.6 k | Berechenbarkeit/Beta-Funktion/Folgenrepräsentierung/Fakt/Beweis |
1 | 1 | | 435 | 435 | 435 | Endlich axiomatisierbar/Ein Axiom/Aufgabe |
1 | 2 | | 26 | 26 | 1.2 k | Vektorfeld/3/Rotation/Definition |
1 | 2 | | 20 | 22 | 1 k | Arithmetisch repräsentierbar/N/Abbildung/Definition |
1 | 1 | | 379 | 379 | 8.1 k | Picard Lindelöf/Lokal Lipschitz/Lokale Existenz und Eindeutigkeit/Fakt/Be… |
1 | 1 | | 339 | 339 | 339 | Entscheidungsverfahren/Unterklasse/Aufgabe |
1 | 1 | | 329 | 329 | 329 | Zahlentheorie/Probleme/Nur eine Operation/Aufgabe |
1 | 1 | | 323 | 323 | 323 | Satz über die surjektive Abbildung/Formuliere und beweise/Aufgabe |
1 | 2 | | 3 | 3 | 992 | Vektorfelder/Zeitabhängig/Lokale Lipschitz Bedingung/Definition |
1 | 2 | | 0 | 0 | 803 | Metrischer Raum/Abbildungsfolge/Gleichmäßig konvergent/Definition |
1 | 2 | | 0 | 0 | 1.6 k | Vektorfelder/Invariante Unterräume/Lösung/Aufgabe |
1 | 1 | | 286 | 286 | 1.6 k | Getrennte Variablen/y' ist ty/Picard-Lindelöf/Beispiel |
1 | 1 | | 265 | 265 | 265 | Problem/Entscheidungsverfahren/Einfach/Aufgabe |
1 | 1 | | 201 | 201 | 4.1 k | Extrema/Nebenbedingung/Teich/Nilpferd/Beispiel |
1 | 1 | | 193 | 193 | 757 | Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt/Beweis |
1 | 1 | | 160 | 160 | 1.3 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/… |
1 | 1 | | 144 | 144 | 3.6 k | Gradientenfeld/Produktabbildung/Fasern und Lösungen/Beispiel |
1 | 1 | | 134 | 134 | 134 | MDLUL/Kommutativer Halbring |
1 | 1 | | 122 | 122 | 825 | Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition |
1 | 1 | | 105 | 105 | 105 | MDLUL/kommutativen Halbringes |
1 | 1 | | 88 | 88 | 88 | Kategorie:Theorie der Abbildungsfolgen in metrischen Räumen/Definitionen |
1 | 1 | | 85 | 85 | 85 | Kategorie:Theorie der Abbildungsfolgen in metrischen Räumen/Aufgaben |
1 | 1 | | 86 | 86 | 86 | Kategorie:Theorie der Abbildungsfolgen in metrischen Räumen/Situationsbes… |
1 | 1 | | 83 | 83 | 83 | Kategorie:Theorie der Abbildungsfolgen in metrischen Räumen/Beweise |
1 | 1 | | 83 | 83 | 83 | Kategorie:Entscheidungstheorie (Registermaschine) |
1 | 1 | | 77 | 77 | 77 | Kategorie:Entscheidungstheorie (Registermaschine)/Definitionen |
1 | 1 | | 77 | 77 | 77 | Kategorie:Erster Gödelscher Unvollständigkeitssatz (MSW) |
1 | 1 | | 74 | 74 | 704 | Theorie/Erster Stufe/Ableitbar/Vollständig/Definition |
1 | 1 | | 74 | 74 | 74 | Kategorie:Entscheidungstheorie (Registermaschine)/Aufgaben |
1 | 1 | | 73 | 73 | 73 | Kategorie:Der Satz über die injektive Abbildung/Aufgaben |
1 | 1 | | 72 | 72 | 72 | Kategorie:Die Unentscheidbarkeit der Arithmetik/Aufgaben |
1 | 1 | | 69 | 69 | 69 | Kategorie:Theorie der kommutativen Halbringe/Aufgaben |
1 | 1 | | 64 | 64 | 3.9 k | Satz über die injektive Abbildung/Fakt/Beweis |
1 | 1 | | 63 | 63 | 1.8 k | Ellipsoid/Volumen über lineare Verzerrung/Beispiel |
1 | 1 | | 63 | 63 | 63 | Kategorie:Theorie der Funktionenfolgen/Aufgaben |
1 | 1 | | 62 | 62 | 729 | Theorie/Erster Stufe/Ableitbar/Definition |
1 | 1 | | 62 | 62 | 708 | Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Aufzählbar/Fakt |
1 | 1 | | 57 | 57 | 57 | Kategorie:Das Halteproblem/Textabschnitte |
1 | 1 | | 57 | 57 | 57 | Kategorie:Schwach repräsentiert (MSW) |
1 | 1 | | 54 | 54 | 857 | Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Definition |
1 | 1 | | -54 | 54 | 1.2 k | Kozik, Gregor-Torsten (2007) |
1 | 1 | | 50 | 50 | 675 | Standardparabel/Minimaler Abstand zu (0,1)/Aufgabe |
1 | 1 | | 48 | 48 | 48 | Kategorie:Unterstruktur (MSW) |
1 | 1 | | 49 | 49 | 177 | Kategorie:Theorie der normierten Homomorphismenräume |
1 | 1 | | 39 | 39 | 674 | Peano-Arithmetik/Erste Stufe/Unvollständig/Fakt |
1 | 1 | | 38 | 38 | 898 | Gradientenfeld/Lösungen der DG/Senkrecht auf Tangentialraum/Fakt/Beweis |
1 | 1 | | 38 | 38 | 2.1 k | Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt |
1 | 1 | | 37 | 37 | 1.1 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/… |
1 | 1 | | 36 | 36 | 625 | Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Total/Fakt/Beweis/Aufgabe |
1 | 1 | | 33 | 33 | 1.6 k | Churchsche These/Registermaschine/Bemerkung |
1 | 1 | | 28 | 28 | 1.4 k | Ableitungsoperator/Linear/Eigenvektoren/Aufgabe |
1 | 1 | | 28 | 28 | 2.1 k | Maß/Beliebige nichtnegative Belegungsfunktion/Beispiel |
1 | 1 | | 22 | 22 | 649 | Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt |
1 | 1 | | 23 | 23 | 733 | Ableitungsmenge/Gödelnummern/Repräsentierbarkeit/Beispiel |
1 | 1 | | -22 | 22 | 1 k | Messbare Funktionenfolge/Limes inferior superior/Messbar/Aufgabe |
1 | 1 | | 22 | 22 | 1.8 k | Teilmenge/R^n/Sternförmig/Gradientenfeld/Charakterisierung/Fakt |
1 | 1 | | 22 | 22 | 865 | Erster Gödelscher Unvollständigkeitssatz/Arithmetisch/Wahr nicht beweisba… |
1 | 1 | | -22 | 22 | 1 k | Stetige Funktionenfolge/Auf dichter Teilmenge/Gleichmäßig konvergent/Aufg… |
1 | 1 | | -22 | 22 | 774 | Funktionenfolge nach R/Ort der punktweisen Konvergenz/Messbar/Aufgabe |
1 | 1 | | -22 | 22 | 110 | Kategorie:Theorie der Integrale von Funktionenfolgen |
1 | 1 | | 21 | 21 | 92 | Kategorie:Theorie der Funktionenfolgen |
1 | 1 | | -20 | 20 | 1.2 k | Vektorraum/K/Norm/Definition |
1 | 1 | | 20 | 20 | 497 | Prämaß/Endlich/Definition |
1 | 1 | | 20 | 20 | 746 | Dirac-Maß/Definition |
1 | 1 | | 19 | 19 | 2.3 k | Vektorfeld/Stetig partiell differenzierbar in Raumrichtung/Lokal Lipschit… |
1 | 1 | | -16 | 16 | 755 | Schulprojekt:Hallo Rohstoff!/Testbereich/Nora/Linkshändigkeit |
1 | 1 | | 14 | 14 | 769 | Arithmetik/Repräsentierungen/Textabschnitt |
1 | 1 | | 13 | 13 | 640 | Peano-Axiomatik/Erste Stufe/Aufzählbar axiomatisierbar/Aufgabe |
1 | 1 | | 12 | 12 | 1.1 k | Berechenbarkeit/Beta-Funktion/Definition |
1 | 1 | | 10 | 10 | 1.3 k | Abbildungsfolge/Gleichmäßig konvergent/Stetig/Fakt/Beweis |
1 | 1 | | 9 | 9 | 1.3 k | Optik/Halbraum auf parallele Netzhaut/Formel/Differenzierbarkeitseigensch… |
1 | 1 | | 10 | 10 | 737 | Registermaschine/Teilmenge der natürlichen Zahlen/Entscheidbarkeit/Defini… |
1 | 1 | | 9 | 9 | 652 | Ortsunabhängiges Vektorfeld/Anfangswertproblem/t^3(3,1,4)-e^(-2t)(2,-1,7)… |