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
Immunogenetics: Advances and Education
$169.00
Neuro-Behavioral Determinants of Interlimb Coordination
$169.99
Charakterisierung von Wartezeiten in verschiedenen Modellen von Quantennetzwerken
$39.99
The Working Lives of Prison Managers
$109.99
Optimized Response-Adaptive Clinical Trials
$54.99
The First Atomic Age
$129.99
30th Scientific-Experts Conference of Agriculture and Food Industry
$169.00
Excel + VBA fr den Unterricht
$19.99
War and Trade in Maritime East Asia
$139.99
International Yearbook of Nephrology 1991
$169.00
Urban Land
$169.99
Pro Android Games
$39.99
Proceedings of the IFIP TC 11 23rd International Information Security Conference
$129.00
Bell's Theorem, Quantum Theory and Conceptions of the Universe
$299.99
The Evolution of Knowledge
$44.99
Machine Learning and Data Mining in Pattern Recognition
$54.99
Handbook of Transcranial Doppler
$119.99
Beginning Google Web Toolkit
$39.99
IAEA Atlas of Cardiac PET/CT
$59.99
Creativity and Technology in Mathematics Education
$199.99
Artificial Intelligence and Cognitive Science
$39.99
Iran in the World
$99.99
Nineteenth-Century Individualism and the Market Economy
$129.99
Neuropathology and Genetics of Dementia
$129.00
Contagionism Catches On
$139.99
Carnal Inscriptions
$54.99
Charge-Trapping Non-Volatile Memories
$109.99
Crisis on the Coast and Hinterland
$139.99
Minimizing Spurious Tones in Digital Delta-Sigma Modulators
$79.99
Die Elementar-Planimetrie
$49.99
Themes in Soviet Marxist Philosophy
$39.99
Impact, Legitimacy, and Limitations of Truth Commissions
$54.99
Microelectronics Education
$39.99
How People Respond to Violence
$84.99
Commercial Aircraft Composite Technology
$89.99
A Relational Metaphysic
$169.99
Applications of Process Engineering Principles in Materials Processing, Energy and Environmental Tec
$169.99
The Other Ones (Hardcover)
$14.24
Intelligent Asset Management
$84.99
White Theology
$49.99
