Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... What is Mathematical Logic?door Christopher J. Ash, John N. Crossley
Geen Bezig met laden...
Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Non è semplicissimo catalogare questo libro. La parte centrale del testo è molto tecnica, ahimè con qualche refuso che non so se sia poi stato corretto nelle edizioni successive alla prima che è entrata in mio possesso: ma il capitolo introduttivo fa una storia della logica con un linguaggio colloquiale e allo stesso tempo chiaro - un bravo alla traduttrice Teresa Pallucchini - e il capitolo finale dà un'ottima idea di come si sia arrivati agli assiomi ZF per la teoria degli insiemi e cerca persino di gettare qualche luce sulle tecniche di forcing che dieci anni prima avevano permesso a Cohen di dimostrare l'indipendenza di assioma della scelta e ipotesi del continuo. Direi che per chi non è un patito della logica matematica queste due parti sono sufficienti per apprezzare il testo. ( ) It was difficult to discern the target audience of this book. The book is certainly not a "textbook". It's concise, and much of the "basics" of the material is given in theorem/proof format. However, the presentation of the proofs is quite "visually unstructured". Most of the the proofs are given in the body of the text, as opposed to explicitly listing each step, say, one per line. You have to read the proofs as you would in a real mathematics textbook that is targeted for mathematics students. I can't recommend this book for the layperson. The maturity needed to understand the proofs is too high for them. Perhaps a technically minded person can gain from it, but it would be a painful read. In a sense, I felt his blend of informal discussions mixed with presenting formal proofs in an informal style hurt the efforts of the book. If one needs to be mathematically mature to read this book, one can just pick up a real textbook. Not enough motivation is provided for why the authors are presenting all these theorems. Perhaps if you stick around to the next few chapters, you'll see why. However, I feel some of the motivation should be provided in advance. geen besprekingen | voeg een bespreking toe
This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas. 1972 edition. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeenPopulaire omslagen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC-classificatieWaarderingGemiddelde:
Ben jij dit?Word een LibraryThing Auteur. |