Beschrijving
Popular Lectures on Mathematical Logic
Hao Wang
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.
Specificaties
- Auteur
- Hao Wang
- Uitgever
- Dover
- Jaar
- 1993 (orig. 1981)
- Druk
- -
- Aantal pagina's
- 281
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Algebra ten dienste van het Technisch Onderwijs, 2 delenM. Springer, J.A. LohmannSpeciaal voor de opleiding van scheepswerktuigkundigen en aanstaande scheepswerktuigkundigen
Inleiding
Positieve en negatieve getallen
Eentermen
Veeltermen
Herhaling
Eenvoudige ontbindingen
Vergelijkingen van de eerste graad met een onbekende
Vergelijkingen van de eerste graad met twee onbekenden
Vergelijkingen van de eerste graad met drie en meer onbekenden
Merkwaardige producten
Ontbindingen
Merkwaardige quotiën...
€2,00
Problems and Theorems in Analysis IIG. Pólya, G. Szegö4. Functions of One Complex Variable. Special Part
5. The Location of Zeros
6. Polynomials and Trigonometric Polynomials
7. Determinants and Quadratic Forms
8. Number Theory
9. Geometric Problems
€7,00
Berry: Mathematical Modelling Methodology Models & Micros V 1Berry, Johnhematical Modelling Methodology Models & Micros V 1Berry, John
€7,00
Mathematik - Kleine EnzyklopädieHerausgeber W. Gellert; Dr. H. Küstner; Dr. M. Hellwich; H. Kästner
Gutachter Prof. Dr. H. Reichardt
I. Elementarmathematik
II. Schritte in die höhere Mathematik
III. Spezialgebiete im Kurzbericht
€4,00