User:Prime.mover/Source Work Progress

Progress
I reckon it's about time I started on another item of displacement activity, that is: documenting how far I have got with the task of transferring the contents of the works on my bookshelf into pages on.

This will of course be an ongoing task.

In chronological order of works:


 * : $\S 2$: Sets and functions: Functions of several variables
 * Revisiting this book


 * : $\text I$: Amusing Problems: $1$. Observant Children


 * : $\S 3$: Appendix $\text B$: Newton


 * : Chapter $1$: Computations Using Logarithms (no point doing all the exercises in this one)


 * : $\S 1.3$ Axiom Schema of Abstraction and Russell's Paradox


 * : $4.2$: Preliminary Quantification Rules


 * : $1.3$ A paradoxical decomposition of the sphere: Theorem $1.2$


 * : Chapter $1$: Real Numbers and Functions of a Real Variable: $1.1$ Real Numbers


 * : Chapter $1$: Introductory Concepts: $1$. Basic Building Blocks: $4$. LINEAR VECTOR SPACE


 * : Chapter $1$: Numbers: Decimal Representation of Real Numbers


 * : $\S 8$ -- revisiting from start, as follows:


 * : $\S 6$. Indexed families; partitions; equivalence relations: Exercise $7$


 * : $\S 3.3$: Neighborhoods and Neighborhood Spaces: Exercise $3$: Got bogged down in Neighborhood Spaces, and I have basically skipped the exercises. Reworking, getting the edition correct:


 * : Chapter $1$: Theory of Sets: $\S 10$: Arbitrary Products: Exercise $1$: Work needed on establishing rigorous definitions and understandable interpretations of a general cartesian product of a family of sets indexed by an uncountable set.


 * : up to $8.2.3$: Definition:Uniform Convergence/Real Numbers -- may be gaps
 * To be reprocessed from start.


 * : Chapter $\text {II}$. The Celestial Sphere: $19$. Declination and hour angle.


 * (Chapters consisting of nothing but detailed calculation have not been implemented. Exercises also not done.)


 * : Basically complete, apart from exercises: second runthrough in progress


 * : $\S 5$: Subsequences: Exercise $\S 5.21 \ (2)$


 * : $\S 4.2$: Trees and Probability -- there are gaps


 * : Appendix $\text{A}.6$: Mathematical Induction: Problem Set $\text{A}.6$: $41$ Complete except for final set of exercises (they go up to $55$) and some simple exercises on logic


 * : $2$: Examples of Groups and Homomorphisms: $2.3$


 * : Chapter $2$: Divisibility Theory in the Integers: $2.2$ The Greatest Common Divisor: Problems $2.2$: $1$




 * : $2.2$: The summation convention


 * : Chapter $1$: Preliminaries: $1.1$ Set Theory


 * : $2$: Functions, Limits and Continuity: The Elementary Functions: $9$ -- undergoing a second pass to fill in the exercises, as follows:


 * : $1$: Complex Numbers: Supplementary Problems: Conjugate Coordinates: $116 \ \text{(a)}$


 * : $\S 3.4$: Cyclic groups: Exercise $9$ ... second pass through:


 * : Chapter $2$: Integers and natural numbers: $\S 2.2$: Divisibility and factorization in $\mathbf Z$: Exercise $2$


 * : $\S 1$: Numbers: $1.1$ Natural Numbers and Integers


 * : $1$ Vectors and matrices: $1.1$ Matrices


 * : $\S 2$: The Two-Person, Zero-Sum Game with Equilibrium Points


 * : $1,41421 35623 73 \ldots$
 * The full documentation of both $0$ and $1$ has been skipped, through laziness.


 * : $0$ The origins of complex analysis, and a modern viewpoint: $1$. The origins of complex numbers


 * : $\S 5.1$: Distribution Functions
 * due to be reprocessed


 * : $\S 1$: Informal statement calculus: $\S 1.3$: Rules for manipulation and substitution
 * Second pass needed. Many examples not documented.


 * : $\S 1$: Entropy = uncertainty = information: $1.1$ Uncertainty: Exercises $1.1$: $2.$






 * : $\S 1.3.2$: Power series: $(1.47)$


 * : Chapter $1$: Introduction: $1.1$ Classification of Differential Equations


 * : Chapter $1$: Introduction: $1$ Nonlinear systems, bifurcations and symmetry breaking


 * : $\S 1$: Naive Set Theory: $\S 1.8$: Problems: $1 \ \text{B}$


 * : Chapter $1$: The Romance of Numbers: $1$


 * : Chapter $14$: The classification of finite abelian groups: Proposition $14.2$


 * : $\S 1.2.9$: Generating Functions: Exercise $14$: Mostly complete up to this point. Much of the detailed work on algorithms has been left undone.


 * : $2$. Definition of Equivalence. The Concept of Cardinality. The Axiom of Choice: Definition $2.2$
 * to be reviewed


 * : $\S 1.4.2$: Mathematical induction
 * to be reviewed





More or less complete

 * : Complete
 * : Complete
 * : Complete


 * : Complete


 * : Complete


 * : Appendix only


 * : Exercises: Chapter $1$: Exercise $1 \ \text{(iv)}$
 * Section $39$ has been omitted as it is a discursion with an imprecise structure.
 * The bulk of the exercises remain to be documented.


 * : Complete


 * : as complete as necessary


 * : Basically complete


 * : Complete


 * : Appendix $\text A$


 * : Complete
 * except for a number of sundry results in section $142,857$

Other progress
Prime number sequence: 733