x
  1. Naturwissenschaften
  2. Mathematik
Der Code der Mathematik

Der Code der Mathematik - Beweis und Wahrheit

Taschenbuch
von Stefan Müller-Stach
32,99 €
inkl. MwSt. versandkostenfrei!

Reduzierte Artikel in dieser Kategorie

Produktdetails  
Verlag Springer
Auflage 2023
Seiten 180
Format 17,8 x 1,0 x 23,0 cm
Gewicht 380 g
ISBN-10 3662665611
ISBN-13 9783662665619
Bestell-Nr 66266561A
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.

Inhaltsverzeichnis:

Grundlegende Fragen.- Die Suche nach einer Wissenschaftssprache. Die mathematische Denkweise.- Mathematik in unserer Kultur.- Berechenbarkeit und Entscheidbarkeit.- Deduktive Systeme und Unvollständigkeit.- Kategorientheorie.- Typentheorie.- Wahrheit und Semantik.

Autorenporträt  
Mehr Angebote zum Thema  

Verpasse keine Highlights & Aktionen. Jetzt zum Newsletter anmelden.

Wenn du unseren Newsletter abonnierst, willigst du damit ein, dass deine E-Mail Adresse gespeichert und gemäß Art. 6 Abs. 1 a) DSGVO verarbeitet wird. Einzelheiten zur Speicherung und Nutzung deiner Daten findest du unter Datenschutz und Datensicherheit. Zur Optimierung unseres Angebots werten wir in anonymisierter Form aus, wie viele Links in unserem Newsletter angeklickt werden. Diese Auswertung lässt keinen Rückschluss auf deine Person oder sonstige deiner Daten zu und wird nicht mit anderen personenbezogenen Daten oder Bestelldaten verbunden. Die Auswertung der Klickzahlen erfolgt allein zu statistischen Zwecken.
Eine Abmeldung ist jederzeit über einen Link am Ende jeden Newsletters möglich.
1 Mängelexemplare sind Bücher mit leichten Beschädigungen wie angestoßenen Ecken, Kratzer auf dem Umschlag, Beschädigungen/Dellen am Buchschnitt oder ähnlichem. Diese Bücher sind durch einen Stempel "Mängelexemplar" als solche gekennzeichnet. Die frühere Buchpreisbindung ist dadurch aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Mängelexemplare sind Bücher mit leichten Beschädigungen wie angestoßenen Ecken, Kratzer auf dem Umschlag, Beschädigungen/Dellen am Buchschnitt oder ähnlichem. Diese Bücher sind durch einen Stempel "Mängelexemplar" als solche gekennzeichnet. Angaben zu Preissenkungen beziehen sich auf den ehemaligen gebundenen Preis eines mangelfreien Exemplars.

3 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen gebundenen Ladenpreis.

4 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung, wie diese vom Hersteller oder von einem Lieferanten zur Verfügung gestellt wird.

5 Diese Artikel haben leichte Beschädigungen wie angestoßenen Ecken, Kratzer oder ähnliches und können teilweise mit einem Stempel "Mängelexemplar" als solche gekennzeichnet sein. Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung, wie diese vom Hersteller oder von einem Lieferanten zur Verfügung gestellt wird.

6 Der Preisvergleich bezieht sich auf die Summe der Einzelpreise der Artikel im Paket. Bei den zum Kauf angebotenen Artikeln handelt es sich um Mängelexemplare oder die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt oder um eine ehemalige unverbindliche Preisempfehlung des Herstellers. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis. Der jeweils zutreffende Grund wird Ihnen auf der Artikelseite dargestellt.

7 Der gebundene Preis des Buches wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen gebundenen Preis.

8 Sonderausgabe in anderer Ausstattung, inhaltlich identisch. Angaben zu Preissenkungen beziehen sich auf den Vergleich Originalausgabe zu Sonderausgabe.

9 Der Preisvergleich bezieht sich auf den Originalpreis eines neuen Exemplares.

Cookie- und Privatsphäre-Einstellungen
Impressum | AGB | Datenschutz | Widerrufsrecht
Alle Preisangaben inkl. gesetzlicher MwSt. und ggf. zzgl. Versandkosten.