FORMAL
METHODS
in
the
FOUNDATIONS
OF
SCIENCE
David
Lawrence
Randall
Computer
Science
Department
California
Institute
of
Technology
2275:TR
:70
COMPUTING
CENTER
U8kARl
FORMAL
METHODS
IN
THE
FOUNDATIONS
OF
SCIENCE
Thesis
by
David
Lawrence
Randall
In
Partial
Fulfillment
of
the
Requirements
For
the
Degree
of
Doctor
of
Philosophy
227'5:
TR:
70
California
Institute
of
Technology
Pasadena,
California
1970
(Submitted
October
8,
1969)
-
ii
-
ACKNOWLEDGEMENTS
This
thesis
is
the
result
of
prolonged
study
under
the
guidance
of
two
men.
It
was
through
the
readiness
of
Professor
Gilbert
D.
McCann
to
involve
me
in
his
own
experimental
research
that
I
was
able
to
see
the
.absolute
dependence
of
the
scientist
on
his
experi-
mental
reality
and
his
willingness
to
change
and
adapt
theory
and
concept
to
that
reality.
It
was
through
the
patient
and
continual
guidance
of
Professor
Frederick
B.
Thompson
that
I
came
to
realize
that
one
could
reasonably
seek
deeper
understandings
of
the
scientific
process
through
the
development
of
formal
methods.