Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 6.49 € Bpost point 8.49 € Bpost 7.99 € DPD point 3.99 € GLS courier 5.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Der Code der Mathematik

Name: Der Code der Mathematik
Brand: Springer, Berlin
SKU: 42082408
Price: 32.94 EUR
Availability: InStock
Author: Stefan Müller-Stach
ISBN: 9783662665619

Stefan Müller-Stach

Language

German

Book Paperback

Libristo code: 42082408

Publishers Springer, Berlin, June 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Full description

Libristo code: 42082408

80 b

32.94 €

In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Mathematisches Problemlosen und Beweisen Daniel Grieser

Paperback

32.94 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Paperback

47.71 €

Das Gilgamesch-Epos Walther Sallaberger

Paperback

10.84 €

Diokletian Alexander Demandt

Hardback

28.42 €

General Relativity Leonard Susskind

Paperback

12.55 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Hardback

39.07 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Hardback

35.16 €

Anti-Inflammatory Diet for Beginners: A Complete Nutritional Meal Plan to Fight Disease, Promote Weight Loss, Heal the Immune System Dorothy Greger

Paperback

10.54 €

T.I.M.E Stories Lambert

Paperback

12.75 €

Egyptian Mythology: Classic Stories of Egyptian Myths, Gods, Goddesses, Heroes, and Monsters Scott Lewis

Paperback

16.97 €

Petit journal de ma grossesse Véronique Deiller

Paperback

14.96 €

Click Anne Conley

Paperback

15.06 €

QCM d'Anatomie - Tête, cou, nerfs crâniens et organes des sens Trouilloud

Paperback

15.56 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Book

45.70 €

SIEMPRE CONTIGO BALSERA

Book

10.34 €

Teresa Cebrián Salanova Burguera

Hardback

35.96 €

Emotional Wisdom: How to Read, Understand, and Process Emotions Randolph (Randy) Cornelius

Audio CD

42.31 €

Lally's Game (Five Nights at Freddy's: Tales from the Pizzaplex #1) Kelly Parra

Paperback

8.93 €

Dall'animale all'uomo. Le invarianti nell'evoluzione delle specie Irenäus Eibl-Eibesfeldt

Paperback

20.39 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Hardback

23.80 €

Woodwalkers 1. - Carag átváltozása Katja Brandis

Paperback

9.74 €

East Asia′s Troubled Democracies – How Illiberal Trends Are Reshaping Politics in Japan, South Korea, and Taiwan Christopher Carothers

Paperback

36.86 €

Liturgy Rita Ferrone

Paperback

12.85 €

Sheepkeeper's Veterinary Handbook Judith Charnley

Hardback

30.43 €

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 and 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.