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.
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Zij mogen uiteraard daarbij de zuivere wiskunde niet verwaarlozenG. Alberts, F. van der Blij, J. Nuis (Red.)I. De oprichting van het Mathematisch Centrum in haar context
II. De beginjaren 1946-1954
Slotbeschouwing - De beginjaren in perspectief
€2,00
Integralgleichungen - Einführung in Lehre und GebrauchGeorg HamelWas ist eine Integralgleichung?
1. Einleitende Bemerkungen
2. Einfache Schwingungsaufgaben führen auf eine lineare Integralgleichung mit symmetrischem Kern
3. Zusammenhang mit den gewöhnlichen Differentialgleichungen erster und zweiter Ordnung
4. Der elementare Teil der Theorie
5. Die Beziehungen der Integralgleichungen zu den partiellen Differentialgleichungen der Physik und andere physikalische Anwendungen
6. Durchführung der...
€2,00
Chaos en OrdeFerdinand Verhulst1. Voorspelbaarheid
2. Van magisch denken naar begrijpen
3. De wereld als klok
4. De klok is soms chaotisch
5. Hoe maak je een dynamisch systeem
6. Berekeningen en illustratie van dynamica
7. Stabiel en instabiel
8. De tentafbeelding
9. De kwadratische afbeelding of Logist
10. Hoe algemeen zijn deze voorbeelden
11. Chaos en orde
12. Chaos en computerberekeningen
13. Toepassingen
14. Verder lezen, websites en uitwerkingen
€2,00
Steen en schelpDr. O. BottemaKeuze uit redevoeringen en opstellen van Dr. O. Bottema, hem aangeboden bij zijn afscheid als hoogleraar aan de Technische Hogeschool Delft op 4 juni 1971
€2,00