MENÜ MENÜ

  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 565554 (0,14 €/Min.)

Der Code der Mathematik

Müller-Stach:Der Code der Mathematik
Autor: Stefan Müller-Stach
Verfügbarkeit: Auf Lager.
Veröffentlicht am: 01.04.2023
Artikelnummer: 2553256
ISBN / EAN: 9783662665619

Verfügbarkeit: sofort lieferbar

32,99 €
Inkl. MwSt. , zzgl. Versandkosten

Ihre Kundenmeinung hinzufügen


    Produktbeschreibung

    Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gödel und Tarski über Unvollständigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhängige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten Identitätstypen, die neue Möglichkeiten für Gleichheit, Symmetrie, Äquivalenz und Isomorphie auf konzeptuelle Weise eröffnen. Die Interaktion von Typentheorie und Unendlichkategorien ist ein neues Paradigma für eine strukturelle Sichtweise auf die Mathematik. Sie fördert auch den neuen Trend zur Formalisierung von Mathematik in Form von Beweisassistenten.

    Zusatzinformation

    Autor Verlag Springer, Berlin
    ISBN / EAN 9783662665619 Bindung Taschenbuch

    Weitere beliebte Produkte

    Titelliste

    0 Kundenmeinungen

    Vielen Dank für das Interesse an unsere Kundenmeinungen.
    Wir können die Authentizität der Bewertungen nicht prüfen und sicherstellen.

    Bitte schreiben Sie uns Ihre Meinung zu: Der Code der Mathematik

    Schlager - Hitparade
    1. Willkommen im Wunderland + GRATIS Fanschal Platz 1: Willkommen im Wunderland + GRATIS Fanschal
    2. Die schönsten Kinderlieder im Soundbuch Platz 2: Die schönsten Kinderlieder im Soundbuch
    3. Blick nach vorn + GRATIS Armband Platz 3: Blick nach vorn + GRATIS Armband
    4. Stimmen der Nacht Fan-Set Tasse + CD + GRATIS Kugelschreiber Platz 4: Stimmen der Nacht Fan-Set Tasse + CD + GRATIS Kugelschreiber
    5. Geburtstags-CD Platz 5: Geburtstags-CD
    Volksmusik - Hitparade
    1. Friedensadler Platz 1: Friedensadler
    2. Das Beste aus 15 Jahren Platz 2: Das Beste aus 15 Jahren
    3. Die Erste! Platz 3: Die Erste!
    4. Stehaufmandl Platz 4: Stehaufmandl
    5. Doggerland - SOS ins Nirgendwo Deluxe Edition Platz 5: Doggerland - SOS ins Nirgendwo Deluxe Edition
    Top Geschenkideen
    1. Halskette "Ich liebe Dich" in 100 Sprachen rosegold Platz 1: Halskette "Ich liebe Dich" in 100 Sprachen rosegold
    2. Tanzende, sprechende Ente mit LED Platz 2: Tanzende, sprechende Ente mit LED
    3. Musikalischer Teddybär Platz 3: Musikalischer Teddybär
    4. Herren-Armbanduhr NAVIFORCE GoLux Platz 4: Herren-Armbanduhr NAVIFORCE GoLux
    5. Ganzkörper-Massagematte mit Wärmefunktion Platz 5: Ganzkörper-Massagematte mit Wärmefunktion
    © 2024 AC Distribution & Marketing GmbH
    Preise inkl. der gesetzlichen MwSt.
    Newsletter

    Ja, Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen zu Musik-, Video-, Elektro-, Haushalts- und Geschenkartikeln per E-Mail erhalten. Meine Daten werden keinesfalls an Dritte weitergegeben. Die Abmeldung ist jederzeit kostenlos möglich.