Mathematics : A Minimal Introduction
Book information
Description
Front Cover; Contents; Preface; Introduction; Part 1. Pre-mathematical logic; Chapter 1. Languages; Chapter 2. Metalanguage; Chapter 3. Syntax; Chapter 4. Semantics; Chapter 5. Tautologies; Chapter 6. Witnesses; Chapter 7. Theories; Chapter 8. Proofs; Chapter 9. Argot; Chapter 10. Strategies; Chapter 11. Examples; Part 2. Mathematics; Chapter 12. ZFC; Chapter 13. Sets; Chapter 14. Maps; Chapter 15. Relations; Chapter 16. Operations; Chapter 17. Integers; Chapter 18. Induction; Chapter 19. Rationals; Chapter 20. Combinatorics; Chapter 21. Sequences; Chapter 22. Reals; Chapter 23. Topology.Chapter 24. ImaginariesChapter 25. Residues; Chapter 26. p-adics; Chapter 27. Groups; Chapter 28. Orders; Chapter 29. Vectors; Chapter 30. Matrices; Chapter 31. Determinants; Chapter 32. Polynomials; Chapter 33. Congruences; Chapter 34. Lines; Chapter 35. Conics; Chapter 36. Cubics; Chapter 37. Limits; Chapter 38. Series; Chapter 39. Trigonometry; Chapter 40. Integrality; Chapter 41. Reciprocity; Chapter 42. Calculus; Chapter 43. Metamodels; Chapter 44. Categories; Chapter 45. Functors; Chapter 46. Objectives; Part 3. Mathematical logic; Chapter 47. Models; Chapter 48. Incompleteness.Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index. Read more... Abstract: Front Cover; Contents; Preface; Introduction; Part 1. Pre-mathematical logic; Chapter 1. Languages; Chapter 2. Metalanguage; Chapter 3. Syntax; Chapter 4. Semantics; Chapter 5. Tautologies; Chapter 6. Witnesses; Chapter 7. Theories; Chapter 8. Proofs; Chapter 9. Argot; Chapter 10. Strategies; Chapter 11. Examples; Part 2. Mathematics; Chapter 12. ZFC; Chapter 13. Sets; Chapter 14. Maps; Chapter 15. Relations; Chapter 16. Operations; Chapter 17. Integers; Chapter 18. Induction; Chapter 19. Rationals; Chapter 20. Combinatorics; Chapter 21. Sequences; Chapter 22. Reals; Chapter 23. Topology.Chapter 24. ImaginariesChapter 25. Residues; Chapter 26. p-adics; Chapter 27. Groups; Chapter 28. Orders; Chapter 29. Vectors; Chapter 30. Matrices; Chapter 31. Determinants; Chapter 32. Polynomials; Chapter 33. Congruences; Chapter 34. Lines; Chapter 35. Conics; Chapter 36. Cubics; Chapter 37. Limits; Chapter 38. Series; Chapter 39. Trigonometry; Chapter 40. Integrality; Chapter 41. Reciprocity; Chapter 42. Calculus; Chapter 43. Metamodels; Chapter 44. Categories; Chapter 45. Functors; Chapter 46. Objectives; Part 3. Mathematical logic; Chapter 47. Models; Chapter 48. Incompleteness.Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index
Similar books
Foundations of arithmetic differential geometry
2017 · PDF
Brentano and the Positive Philosophy of Comte and Mill: With Translations of Original Writings on Philosophy as Science by Franz Brentano (Phenomenology & Mind, 20)
2022 · PDF
Mastering web application development with Express a comprehensive guide to developing production-ready web applications with Express
2014 · PDF
Java 9 Modularity Revealed: Project Jigsaw and Scalable Java Applications
2017 · EPUB
Java 9 modularity revealed: project jigsaw and scalable Java applications
2017 · PDF
L'interrogatorio
2012 · EPUB
Hyperplane arrangements: an introduction
2017 · PDF
Computer vision, imaging and computer graphics theory and applications : 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27-29, 2016, Revised selected papers
2017 · PDF