This would make the formal theory both more general and easier, and to a surprising extent these mathematicians were successful.
When you are building a formal theory, you want to generalize that assumption, and then you end up making people completely rational.
Chaitin, a research scientist at IBM, developed the largest body of work and polished the ideas into a formal theory known as algorithmic information theory (AIT).
That hope suffered a severe blow in 1931 from a theorem proved by Kurt Gödel about any formal theory S that includes the usual vocabulary of elementary arithmetic.
In his view, Minsky told me, the notions of Noam Chomsky and others concerning the formal theory of syntax helped to clarify many of the technical issues about the structure of phrases and sentences.
The French philosopher and psychologist Pierre Janet, who developed the first formal theory of dissociation, in 1889, wrote, "Personal unity, identity, and initiative are not primitive characteristics of psychological life.
The T-schema is usually regarded as a set of sentences within a formal theory.
Does our formal theory of confirmation vindicate this informal line of thinking?
Maybe a systematic, simple formal theory is possible of all abstract objects.
But what ought we to take the formal theory to be a theory of?
As it stands, the formal theory does not have the resources to make this distinction.
