Copied Der Code der Mathematik
Der Code der Mathematik
Motiviert durch aktuelle Entwicklungen in der abhngigen Typentheorie und bei Unendlichkategorien prsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und quivalenz. Neben ausgewhlten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gdel und Tarski ber Unvollstndigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhngige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten Identittstypen, die neue Mglichkeiten fr Gleichheit, Symmetrie, quivalenz und Isomorphie auf konzeptuelle Weise erffnen. Die Interaktion von Typentheorie und Unendlichkategorien ist ein neues Paradigma fr eine strukturelle Sichtweise auf die Mathematik. Sie frdert auch den neuen Trend zur Formalisierung von Mathematik in Form von Beweisassistenten.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$24.99 | $24.99 |
|
$24.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Beyond Business Analytics
$109.99
The History and Politics of Voting Technology
$54.99
Agriculture Digitalization and Organic Production
$149.00
Multiplying by 1 Digit Grade 3 Differentiation Pack
$5.99
Parallel Processing in the Visual System
$109.99
Reservoir Rock Diagnostics for Water or Hydrocarbon Exploration
$109.99
Summer Report of China Industrial Economic Situation Analysis (2016)
$54.99
Sustainable strategies for managing Brassica napus (oilseed rape) resistance to Leptosphaeria macula
$84.99
Practical Immunopathology of the Skin
$169.99
Proceedings of the Canadian Society of Civil Engineering Annual Conference 2021
$169.00
The Progressive Education Fallacy in Developing Countries
$84.99
Soviet Historians in Crisis, 1928-1932
$84.99
Security with Intelligent Computing and Big-data Services
$219.99
Immunomodulation by Bacteria and Their Products
$109.99
The European Union in a Multipolar World
$54.99
Multi-Objective Optimization Problems
$44.99
Frontiers in Cyber Security
$109.99
Aufgabenanalysefhigkeit als Teil der professionellen Handlungskompetenz von Sportlehrkrften
$74.99
Ernhrung chronisch kranker Kinder und Jugendlicher
$84.99
Sparse Numerical Optimization
$19.99
Multidisciplinary Perspectives on Genocide and Memory
$119.00
The International Thought of Alfred Zimmern
$119.99
Commutative Formal Groups
$39.99
Flowering Plants. Eudicots
$169.99
Was Top-Verkufer auszeichnet
$39.99
Handbook of Materials for Percussion Musical Instruments
$299.99
The Political Economy of Peripheral Growth
$109.99
Citing Shakespeare
$54.99
Java and Object Orientation: An Introduction
$54.99
Finite Model Theory
$149.00
Biological Magnetic Resonance Volume 3
$54.99
Differential Geometric Methods in Mathematical Physics
$34.99
Wahlwerbespots zur Bundestagswahl 2017
$49.99
Deep Structure, Singularities, and Computer Vision
$54.99
Intestinal Differentiated Cells
$249.99
Dynamic International Oil Markets
$109.99
Progressive Web Apps with Angular
$79.99
Playing With Fire
$7.49
Statik und Dynamik in der scholastischen Wirtschaftsethik
$59.99
Modern Trends in Human Leukemia IX
$109.99
