Der Code der Mathematik: Beweis und Wahrheit

Artikelnummer: BG168103

40,71

Uitverkocht

Verkoop door: Bucher Garten

Verwerkingstijd:(Dag) 5-8

Uitverkocht

E-mail wanneer voorraad beschikbaar

  • Veilig betalen en bestellen

We zijn er om je een veilige en comfortabele winkelervaring te bezorgen. 

  • Gratis retourneren binnen 30 dagen

Je kunt je retourtransacties snel en gemakkelijk uitvoeren. 

  • Profiteer van de handigste verzendfaciliteiten

We geven je een trackingnummer zodat je je bestelling stap voor stap kunt volgen. 

  • 100% klanttevredenheid

Alle producten die we aanbieden hebben hoge kwaliteitsnormen. 

Gegarandeerd veilig afrekenen:

Verwante producten 

Beschrijving

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

Aanvullende informatie

Overzicht

auteur

Editie

1. Aufl. 2023 edition

Uitgever

Springer Spektrum

Aantal pagina's

193

Publicatiedatum

2023-05-23

Verbindend

Paperback

ISBN13

9783662665619

ISBN10

B00IDA8BP0