Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Der Code der Mathematik

Name: Der Code der Mathematik
Brand: Springer, Berlin
SKU: 42082408
Price: 12808 HUF
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

87 b

12 808 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

Mathematisches Problemlosen und Beweisen Daniel Grieser

Paperback

12 808 Ft

Das Gilgamesch-Epos Walther Sallaberger

Paperback

4 239 Ft

Diokletian Alexander Demandt

Hardback

11 124 Ft

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Paperback

16 436 Ft

General Relativity Leonard Susskind

Paperback

4 914 Ft

Click Anne Conley

Paperback

5 692 Ft

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Hardback

14 645 Ft

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

Paperback

6 400 Ft

T.I.M.E Stories Lambert

Paperback

4 637 Ft

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Hardback

13 192 Ft

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

Paperback

5 974 Ft

Nos grands pilotes de rallye ENGUERRAND LECESNE

Book

16 755 Ft

Teresa Cebrián Salanova Burguera

Hardback

12 929 Ft

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

Audio CD

16 464 Ft

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

Paperback

3 420 Ft

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Hardback

8 949 Ft

Socio-cultural Impacts of Workplace E-learning Karim A. Remtulla

Hardback

71 121 Ft

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Paperback

8 833 Ft

Mastering Endgame Strategy Johann Hellsten

Paperback

12 605 Ft

Henri Cornelis Agrippa Joseph Orsier

Paperback

11 462 Ft

Physical Kinetics A M Kosevich

Paperback

26 838 Ft

Big Nate Strikes Again Lincoln Peirce

Paperback

3 725 Ft

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Paperback

5 590 Ft

Gospel of Philip Andrew Phillip Smith

Paperback

5 312 Ft

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.