User:Prime.mover/Source Work Progress

From ProofWiki
Jump to navigation Jump to search

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 $\mathsf{Pr} \infty \mathsf{fWiki}$.

This will of course be an ongoing task.


In chronological order of works:

Early

1921

1922

Redo from start

1924

1926

1927

1932

1933

This next section needs to be redesigned.

1934

1935

1936

1937

Revisit


1938

1939

1941

1944

Starting on : Chapter $\text {II}$: Integration of Elementary Functions: $\S 7$ with Next:

1946

1947

Note that there is considerable refactoring needed around the Combination Theorem for Limits of Functions.

1951

1952

1954

1955

Going around again. Closer look needed at the axioms underlying the definition of Ordering.

1956

Redo from start

1957

1958

1959

To be revisited

1960

Discussion of how Parallelogram Law is equivalent to Euclidean nature of space into which it is embedded.
Starting from Next

1961

Revisit from $\S 2.2$: confusion over definition of piecewise differentiable.
Exercises for Chapter $1$ section $\S 2$ have been ignored because they are tedious and repetitive.

1962

1963

To be revisited

1964

Redo from start
Some gaps to fill just before here
From here on in there is much work to do on Axiom:Axiom of Choice.
Starting on Chapter $\text I$ with Next:
$1$-based exposition of Peano structure to be embarked upon.
Some exercises left undone on Chapter $1$.

1965

Another pass as follows:

1966

Exercises not done. Redoing from start.

1967

Revisiting from start:
Starting from Next:


1968

Redoing from start:
Discussion on difference between disjunction and exclusive-or to be analysed
Redoing from start:
  • Then by chapters (work in progress):

1970

1971

Table of Integrals, starting with Next:

Exercises not all done

1972

Integrals:

Revisiting this book
redo from start

1973

Redoing from start:

1974

Working through the derivatives:

Working through the integrals:

1975

Got bogged down in Neighborhood Spaces, and I have basically skipped the exercises. Reworking, getting the edition correct:
Work needed on establishing rigorous definitions and understandable interpretations of a general cartesian product of a family of sets indexed by an uncountable set.

Revisit the following -- it has been glossed over:

Redoing from start: Chapter $2$ exercises to be done

1976

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

1977

1978

1979

1980

1981

Undergoing a second pass to fill in the exercises, as follows:

1982

Starting on Appendix $1$ with Next:
Check it, make sure nothing has been missed

1983

List of standard integrals done, starting from Next:
The full documentation of both $0$ and $1$ has been skipped, through laziness.

1986

Redoing from start: examples and exercises to be covered

1987

1988

Second pass under way:

1989

In-depth discussion about partial functions and enumerations which needs attention

1990

1991

Redo from start

1992

1993

1994

$1$: Introduction:
$1.1$ Four Important Practical Problems:
$1.1.1$ Forecasting Time Series

Starting on Section $1.2$ with Next:

$1$: Introduction:
$1.2$ Stochastic and Deterministic Dynamic Mathematical Models
$1.2.1$ Stationary and Nonstationary Stochastic Models for Forecasting and Control: Nonstationary models

Starting on Section $1.3$ with Next:

$1$: Introduction:
$1.3$ Basic Ideas in Model Building:
$1.3.1$ Parsimony

Starting on Chapter $2$ with Next:

Part $\text {I}$: Stochastic Models and their Forecasting:
$2$: Autocorrelation Function and Spectrum of Stationary Processes:
$2.1$ Autocorrelation Properties of Stationary Models:
$2.1.3$ Positive Definiteness and the Autocovariance Matrix: Conditions satisfied by the autocorrelations of a stationary process
Redo from start

1996

Redo from start
Redoing Appendix $\text A$ from Next: lots of examples missed, and some fine detail ignored

1997

Mostly complete up to this point. Much of the detailed work on algorithms has been left undone.

1998

Starting on Section $4.3$ with Next:

Bogged down in exactly what the product of linear operators means.
Analysis starts at chapter $2$. Chapter $1$ still to be addressed.

1999

to be reviewed

2000 and onward

to be reviewed

Exposition goes a little further than this, but it's iffy


More or less complete

Section $39$ has been omitted as it is a discursion with an imprecise structure.
The bulk of the exercises (all collected at the end) remain to be documented.
except for a number of sundry results in section $142,857$