Klik på en miniature for at gå til Google Books
Indlæser... What is Mathematical Logic?af Christopher J. Ash, John N. Crossley
Ingen Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. 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. ingen anmeldelser | tilføj en anmeldelse
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. No library descriptions found. |
Current DiscussionsIngenPopulære omslag
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC-klassificeringVurderingGennemsnit:
Er det dig?Bliv LibraryThing-forfatter. |