Code: 42082408

Der Code der Mathematik

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

by Stefan Müller-Stach

Language: German
Binding: Paperback
Number of pages: 196
Publisher: Springer, Berlin, 2023
More about this

32.98 €

RRP: 35.19 €

You save 2.21 €

In stock at our supplier
Shipping in 8 - 11 days

Add to wishlist

General Relativity
16.69 € -9 %
Buy
Lally's Game (Five Nights at Freddy's: Tales from the Pizzaplex #1)
8.74 € -31 %
Buy
Thothův Tarot
28.75 € -9 %
Buy
Mastering Endgame Strategy
30.16 € -9 %
Buy
Arsene Lupin, Gentleman-Thief
11.76 € -24 %
Buy
Diokletian
28.45 € -11 %
Buy
Woodwalkers 1. - Carag átváltozása
9.75 € -6 %
Buy
Asterisk War, Vol. 5 (manga)
12.36 € -20 %
Buy
Das Gilgamesch-Epos
10.85 € -10 %
Buy
Egyptian Mythology: Classic Stories of Egyptian Myths, Gods, Goddesses, Heroes, and Monsters
15.68 € -7 %
Buy
T.I.M.E Stories
11.96 € -25 %
Buy
Mathematisches Problemlosen und Beweisen
32.98 € -6 %
Buy
Physical Kinetics
62.65 € -9 %
Buy
Gospel of Philip
12.67 € -25 %
Buy
KORESPONDENCE S KOMENIOLOGY II./SEBRANÉ SPISY SV.22
16.58 € -5 %
Buy
Beweisen Lernen Schritt Fur Schritt
47.76 € -9 %
Buy
Petit journal de ma grossesse
14.98 €
Buy
Sheepkeeper's Veterinary Handbook
30.26 € -10 %
Buy
Henri Cornelis Agrippa
30.87 €
Buy
Little Book of Vivienne Westwood (version francaise)
23.83 €
Buy
Nos grands pilotes de rallye
45.75 €
Buy
Alasco, an Indian Tale: Two Cantos: With Other Poems>.
15.99 € -24 %
Buy
Dall'animale all'uomo. Le invarianti nell'evoluzione delle specie
20.42 € -9 %
Buy
Murder at Five Finger Light: A Jessie Arnold Mystery
10.66 € -12 %
Buy
Ideas, Identity and Art of Daniel Spoerri
64.86 € -2 %
Buy
30 Tage
11.66 € -10 %
Buy
Anti-Inflammatory Diet for Beginners: A Complete Nutritional Meal Plan to Fight Disease, Promote Weight Loss, Heal the Immune System
9.65 € -7 %
Buy
Too Young to Die!
25.74 € -19 %
Buy
The Fantasy Collection
9.15 € -7 %
Buy
Only God Can Save Nigeria: What a Myth?
18.20 € -7 %
Buy
Betriebliches Sozialmanagement
71.80 € -4 %
Buy
Maruska "La Pirada": Cobaya 'El Pirata' y los piojos mutantes
6.23 €
Buy
Schmerzfrei durch Humankybernetik
17.39 € -3 %
Buy
Phylogeny and Conservation
97.25 €
Buy
Nietzsches Literaturen
157.69 € -4 %
Buy
Family Health Encyclopedia
23.63 € -9 %
Buy
Click
13.98 € -7 %
Buy
CONTRIBUTIONS TO THE EARLY HISTORY OF NE
36.21 € -2 %
Buy
Deutsch an Stationen SPEZIAL - Textsorten 9/10
26.45 € -6 %
Buy
Emotional Wisdom: How to Read, Understand, and Process Emotions
42.35 € -9 %
Buy
Socio-cultural Impacts of Workplace E-learning
183.94 €
Buy
Liturgy
12.16 € -20 %
Buy
Vierzehn Jahre mit Adelina Patti
16.08 € -10 %
Buy
Teresa Cebrián
36 €
Buy
La Liberté, Volume 1
24.84 € -24 %
Buy
QCM d'Anatomie - Tête, cou, nerfs crâniens et organes des sens
15.58 €
Buy
Life And Times Of The Rev. John Wesley, Founder Of The Methodists V2
55.93 € -1 %
Buy
SIEMPRE CONTIGO
10.35 €
Buy
Legit: The Rise of a Cyber Athlete
24.54 € -9 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 80 loyalty points

Book synopsis

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.