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 |
|
$22.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Geek Fantasy Novel
$7.49
German Yearbook on Business History 1981
$109.99
Supply Chain Performance Evaluation
$129.00
Adoptive Immunotherapy
$129.00
Visualizing Marketing
$129.00
Innovationsmanagement in Schulen
$49.99
Defining Prevention Science
$84.99
Blockchain and Distributed Ledger Technology Use Cases
$219.99
Space Telescopes
$44.99
Academic Spin-offs
$169.99
Konflikte um die Aneignung von Land
$49.99
Plant Lipids
$249.99
Climate Change and Water Security
$249.99
Achieving the Sustainable Development Goals Through Sustainable Food Systems
$89.00
Music and Human-Computer Interaction
$84.99
Hyperlipoproteinmie
$69.99
Applied Pedagogies for Higher Education
$59.99
Rechtsformen und Rechtsformwahl
$49.99
Academic Identity and the Place of Stories
$39.99
Karl-Otto Apel und die Diskursethik
$29.99
Advanced Information Systems Engineering Workshops
$54.99
Language Awareness and Learning to Read
$39.99
A Perinatal Strategy For Preventing Adult Disease: The Role Of Long-Chain Polyunsaturated Fatty Acid
$109.99
Treatment of the Obese Patient
$109.99
Agent-Based Semantic Web Service Composition
$39.99
Tatsachen und Begriffe im Deutschen Kommissionsrecht
$44.99
Internet Programming Languages
$54.99
ESD Program Management
$219.99
Single Molecule Sensing Beyond Fluorescence
$199.99
Zur Frage der Hypophysentherapie bei Rachitis
$54.99
ACE-Hemmer in Klinik und Praxis
$69.99
The Middle Byzantine Historians
$169.99
New York Cocktails- An Elegant Collection of over 100 Recipes Inspired by the Big Apple (Travel Cookbooks, Nyc Cocktails and Drinks, History of Cockta
$22.95
Values, Ergonomics and Risk Management in Aviation Business Strategy
$39.99
Empirische Wirtschaftsforschung und konometrie
$24.99
The Semantic Web ISWC 2021
$109.99
Schlieren and Shadowgraph Techniques
$219.99
Sportinformatik
$34.99
Urban Land Reform in China
$109.99
Europe and the Politics of Language
$109.99
