Popular Lectures on Mathematical Logic Ebook Tooltip Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.

Name: Popular Lectures on Mathematical Logic
Author: Hao Wang

Auteur: Hao Wang

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Hao Wang

Engels
E-book
9780486171043
22 september 2014
430 pagina's
Adobe ePub

Alle productspecificaties

Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.

Productspecificaties

Inhoud

Taal: en
Bindwijze: E-book
Oorspronkelijke releasedatum: 22 september 2014
Aantal pagina's: 430
Ebook Formaat: Adobe ePub
Illustraties: Nee

Betrokkenen

Hoofdauteur: Hao Wang
Hoofduitgeverij: Dover Publications Inc

Lees mogelijkheden

Lees dit ebook op: Android (smartphone en tablet) | Kobo e-reader | Desktop (Mac en Windows) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Studieboek: Ja
Verpakking hoogte: 19 mm
Verpakkingsgewicht: 318 g

EAN

EAN: 9780486171043

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Wiskunde

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Ebook
Taal: Engels
Beschikbaar in Kobo Plus: Beschikbaar in Kobo Plus

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.