Next:
7. Early Years: 1948-1967
Up:
Autobiographical Materials
Previous:
6. Other Matters
Contents
Index
II
. As it Went
Subsections
7
. Early Years: 1948-1967
7
.
1
A Thought at Cambridge - 1966-67
8
. At Work: 1967-1972
8
.
1
Philosophy of Life c1968-1970
8
.
2
Russell and Logical Positivism - 1970-71?
8
.
3
Foundations - 1971-2
9
. At University: 1972-1977
9
.
1
Foundations - 1972-5
9
.
2
Philosophy - 1973-5
10
. Back at Work: 1977-1998
10
.
1
Expert Systems in Decision Support - 1982
10
.
2
Knowledge Bases - 1985
10
.
3
Creative Foundations - 1986
10
.
4
Well Founded Foundations 1988
10
.
5
Stealing Proof Theoretic Strength
10
.
6
Embedding Z in HOL - 1990-1993
11
. Independence: 1998-
11
.
1
Philosophical Revival - 1994 onwards
11
.
2
Artificial Intelligence
11
.
3
Formal Philosophy
11
.
4
The Set/Class distinction, October 2005
11
.
5
The Set/Class distinction, January 2010
A. Research Topics
A.
1
Keele
A.
2
Other Proposals
B. Glossary
Roger Bishop Jones 2016-01-07
