Professional Documents
Culture Documents
Q0091 - 9781786343154 - TP - Indd 1 18/5/17 11:22 AM
Q0091 - 9781786343154 - TP - Indd 1 18/5/17 11:22 AM
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
v
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
Introduction
vii
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-fm page viii
Introduction ix
and the Polish school, which ventures into nonclassical logics. Becchio
is almost exhaustive in her treatment of the subject, which is quite
unexpected, as most of orthodox economics today supports itself in
a quite strict classical logical language.
Then R. Koppl enters the field. Koppl examines crashes and tur-
moil in the economic landscape of today and discusses their pre-
dictability in the light of the Gödel phenomenon. The interesting
aspect of Koppl’s chapter is the fact that he boldly relates our con-
crete economic scenario with the rarefied vistas of metamathematics
that bear on the language of theoretical economics. And I invite the
reader to enjoy the beautiful conclusion of his chapter, an elegant
pastiche of a tale by Jorge Luis Borges.
D. J. Dean and E. Elliott have contributed two chapters to this
volume. Both are detailed surveys of the usages of mathematics in
the social sciences. The first one looks at our main question from the
viewpoint of complex systems, a “traditional” way of dealing with it.
The second one considers our main problem, that is, the predictabil-
ity of events in the social sciences given the Gödel phenomenon.
(I won’t say more because there is an easter egg in his texts, and I
don’t want to advance it.)
Finally, S. Al-Suwailem closes our book with the question: Is
Economics a Science? In addressing this question, he explores an
interesting link between logical consistency and financial instability
via conservation laws. He argues that ignoring the meta-mathematics
of economic models might lead to misuse and, perhaps, invalidation
of these models. For the models to be reliable, and economics to
become a proper science, economic theory must circumvent the logical
paradoxes arising from Neoclassical assumptions. Gödel’s Theorem —
surprisingly? — then would pave the way for real science. I must also
thank Dr. S. Al-Suwailen for his prompt and efficient help with the
editorial chores of this book.
xi
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-fm page xii
Contents
Introduction vii
xv
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-fm page xvi
Index 267
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 1
Chapter 1
1. Introduction
Gödel published his remarkable incompleteness theorems in 1931 (see
Gödel, 1931). Gödel’s reasoning was immediately recognized as cor-
rect, even if surprising, and several researchers then asked for its
scope: since Gödel’s argument exhibited an undecidable sentence that
didn’t quite reflect everyday mathematical fact or facts (see below),
there was some hope that undecidable sentences might be circum-
scribed to a very pathological realm within arithmetic theory or its
extensions.
Alas, this proved not to be true.
∗
Partially supported by CNPq, Philosophy Section; the author is a member of
the Brazilian Academy of Philosophy. This text was supported in part by CNPq,
Philosophy Section, grant no. 4339819902073398. It is part of the research efforts
of the Advanced Studies Group, Production Engineering Program, at Coppe–
UFRJ and of the Logic Group, HCTE–UFRJ. We thank Profs. A. V. Assumpção,
R. Bartholo, C. A. Cosenza, S. Fuks (in memoriam), S. Jurkiewicz, R. Kubrusly,
M. Gomes, and F. Zamberlan for support.
1
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 2
1
Lots of handwaving here! But anyway, we require arithmetic in classical predicate
logic, plus the trichotomy axiom.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 3
2
I would also like to point out that a related, albeit more refined approach to the
axiomatization of the empirical sciences can be found in the book of Balzer et al.
(1987).
5
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 6
The main point in our exposition is: physics, both classical and
quantum, is here seen as an outcome, or as an extension of classical
mechanics.3 The Lagrangian and Hamiltonian formalisms, for sys-
tems of particles and then for fields, are seen as a basic, underlying
construct that specializes to the several theories considered. A course
in theoretical physics usually starts from an exposition of the
Lagrangian and Hamiltonian (the so-called analytico-canonical) for-
malisms, how they lead to a general formal treatment of field
theories, and then one applies those formalisms to electromag-
netic theory, to Schrödinger’s quantum mechanics — which is
obtained out of geometrical optics and the eikonal equation, which
in turn arise from Hamilton–Jacobi theory — and gravitation and
gauge fields, which grow out of the techniques used in the for-
malism of electromagnetic theory. Here we use a variant of this
approach.
We stress that this chapter is intended as an overview of the
results obtained by N. da Costa and the author in the search
of undecidability and incompleteness — the so-called Gödel phe-
nomenon — in physics and in other mathematized domains. We
present here the main “abstract” details (the construction of the
many θ functions, which code the halting function in computer sci-
ence and beyond) and then their use in the construction of sev-
eral examples of, let us say, Gödelian behavior in physics and
beyond.
3
This is the actual way most courses in theoretical physics are taught.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 7
F (0) = f0 (0) + 1
F (1) = f1 (1) + 1
F (2) = f2 (2) + 1
..
.
• F is different from f0 at value 0, from f1 at 1, from f2 at 2, and
so on.
We can now conclude our reasoning. The f0 , f1 , f2 , . . . functions
are said to be provably total in our theory S, as they are proved to
be total functions and appear as such in the listing of the theory’s
theorems. However F cannot be provably total in S, since it differs
at least once from each function we have listed. Yet F is obviously
computable and total in the standard model for arithmetic, and given
programs for the computation of f0 , f1 , f2 , . . . we can compute F too.
So the sentence “F is total” cannot be proved in our theory.
Also, if we suppose that the theory is sound, that is, if it
doesn’t prove false facts, then the sentence “F isn’t total” cannot
be proved too, as F is clearly total in the so-called standard model
for arithmetic. Therefore, it is an undecidable sentence within our
theory S.
Ladies and gentlemen, “F is total” and “F isn’t total” are exam-
ples of the Gödel incompleteness phenomenon in S: they are sentences
that can neither be proved nor disproved within S. And because of
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 9
the soundness of our theory, “F is total” is, we may say, naı̈vely true
in the standard interpretation for the arithmetics of S.4
We call “F is total” and “F isn’t total” undecidable sentences
in S. This example is quite simple, and has an obvious mathematical
meaning: it talks about computer programs and their domains. So,
Gödel incompleteness does matter, after all.
A first example
We can present here a first example of incompleteness that directly
stems from the metamathematical properties of F . The BGS set
S = Mm , |x|F (n) + F (n), n = 0, 1, 2, . . . has the following two prop-
erties, among many others of interest (see the discussion in the Belly
sections for details):
• It is a set of Turing machines Mm bound by a clock that stops it
after |x|F (n) + F (n) computation steps, where x is the input to the
machine and |x| the binary length of x.
• S is a set of poly Turing machines in the standard model.
• The sentence “S is a set of Turing poly machines” is true of the
standard model for the arithmetic portion of theory S.
• “S is a set of Turing poly machines” is undecidable in theory S.
4
There are examples of theories like S where one cannot find a “natural” inter-
pretation like the one in our example.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 10
or
δ Ldσ = 0,
Domain
5
We stress that consistency of the underlying axiomatic apparatus must be
assumed throughout this chapter.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 13
But this type of chaotic behavior has not been proved. As far as I
am aware, practically nothing has been proved about this particular
system. Guckenheimer and Williams proved that there do indeed
exist many systems which exhibit this kind of dynamics, in a rig-
orous sense; but it has not been proved that Lorenz’s system is one
of them. It is of no particular importance to answer this question;
but the lack of an answer is a sharp challenge to dynamicists, and
considering the attention paid to this system, it is something of a
scandal.
Concepts like kinetic energy or Coriolis force are made into geo-
metrical constructs (respectively, Riemannian metric and affine
connection); several formal parallels between mechanical formal-
ism and that of general relativity are established.
However, the style of Lanczos’ essay is still that of late 19th and
early 20th century mathematics, and is very much influenced by
the traditional, tensor-oriented, local coordinate domain oriented,
presentations of general relativity.
• Then: new and (loosely speaking) higher-order mathematical con-
structs appear when Steenrod’s results on fiber bundles and Ehres-
mann’s concepts of connection and connection forms on principal
fiber bundles are gradually applied to mechanics; those concepts
go back to the late 1930s and early 1940s, and make their way into
the mathematical formulations of mechanics in the late 1950s.
• Folklore has that the use of symplectic geometry in mechanics first
arose in 1960 when a top-ranking unnamed mathematician6 cir-
culated a letter among colleagues, which formulated Hamiltonian
mechanics as a theory of flows over symplectic manifolds, that is, a
Hamiltonian flow is a flow that keeps invariant the symplectic form
on a given symplectic manifold. The symplectic manifold was the
old phase space; invariance of the symplectic form directly led to
Hamilton’s equations, to Liouville’s theorem on the incompressibil-
ity of the phase fluid, and to the well-known Poincaré integrals —
and here the advantage of a compact formalism was made clear, as
the old, computational, very cumbersome proof for the Poincaré
invariants was substituted for an elegant two-line, strictly geomet-
rical proof.
High points in this direction are Sternberg’s lectures
(see Sternberg, 1964), MacLane’s monograph (see MacLane, 1968)
and then the great Abraham–Marsden (1978) treatise, Founda-
tions of Mechanics.
• Again one had at that moment a physical theory fully placed
within the domain of a rigorous (albeit intuitive) mathematical
6
Said to be Richard Palais.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 16
For electromagnetism
The first conceptually unified view of electromagnetic theory is given
in Maxwell’s treatise, dated 1873 (for a facsimile of the 1891 edition
see Maxwell (1954)).
7. Suppes predicates
Suppes predicates give us a simple way of axiomatizing empirical the-
ories within set theory; one simply defines a set-theoretic predicate
that formally characterizes the empirical theory:
In the first place, it may be well to say something more about the
slogan “To axiomatize a theory is to define a set–theoretical pred-
icate.” It may not be entirely clear what is meant by the phrase
“set–theoretical predicate.” Such a predicate is simply a predicate
that can be defined within set theory in a completely formal way.
For a set theory based only on the primitive predicate of mem-
bership, “∈” in the usual notation, this means that ultimately any
set-theoretical predicate can be defined solely in terms of member-
ship.
...
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 21
7
We will proceed in an informal way, and leave to the archetypical interested
reader the toil and trouble of translating everything that we have done into a
fully formal, rigorous treatment of our presentation.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 22
That condition isn’t always used, we must note, but anyway mea-
sure µ allows us to identify the exceptional situations in any con-
struction.
Let’s now give all due details:
8
Not always so, as a variational principle only gives us an extremal behavior,
which can be a maximum or a minimum.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 24
9
Not always, as the exotic underlying structure of spacetime may be seen as
generated by some energy–momentum tensor.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 25
∇ = γ ρ ∂ρ ,
(where the {γ µ : µ = 0, 1, 2, 3} are the Dirac gamma matrices with
respect to η, that is, they satisfy the anticommutation rules γ µ γ ν +
γ ν γ µ = 2η µν ). Those equation systems are to be understood together
with boundary conditions that specify a particular field tensor Fµν
“out of” the source j ν (see Doria, 1977). Here γ µν = (1/2)[γ µ , γ ν ],
where brackets denote the commutator.
The symmetry group of the Maxwell field equations is the
Lorentz–Poincaré group that acts on Minkowski space M and, in
an induced way on objects defined over M . However since we are
interested in complex solutions for the Maxwell system, we must find
a reasonable way of introducing complex objects in our formulation.
One may formalize the Maxwellian system as a gauge field. We sketch
the usual formulation: again we start from M = R4 , η, and con-
struct the trivial circle bundle P = M × S 1 over M , since Maxwell’s
field is the gauge field of the circle group S 1 (usually written in that
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 26
M, S 1 , P, F, A, G, I, B, ∇ϕ = ι
∇ϕ = ι
Hamiltonian mechanics
Hamiltonian mechanics is here seen as the dynamics of the “Hamil-
tonian fluid” (see Abraham and Marsden, 1978; Lanczos, 1977). Our
ground structure for mechanics starts out of basic sets, which are a
2n-dimensional real smooth manifold, and the real symplectic group
Sp(2n, R). Phase spaces in Hamiltonian mechanics are symplectic
manifolds: even-dimensional manifolds like M endowed with a sym-
plectic form, that is, a nondegenerate closed 2-form Ω on M . The
imposition of that form can be seen as the choice of a reduction of
the linear bundle L(M ) to a fixed principal bundle P (M, Sp(2n, R));
however, given one such reduction, it does not automatically follow
that the induced 2-form on M is a closed form.
All other objects are constructed in about the same way as in
the preceding example. However, we must show that we still have
here a Dirac-like equation as the dynamical axiom for the species of
structures of mechanics. Hamilton’s equations are
iX Ω = −dh,
where iX denotes the interior product with respect to the vector-
field X over M , and h is the Hamiltonian function. That equation is
(locally, at least) equivalent to
LX Ω = 0,
or
d(iX Ω) = 0,
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 28
General relativity
General relativity is a theory of gravitation that interprets this basic
force as originating in the pseudo-Riemannian structure of spacetime.
That is to say, in general relativity, we start from a spacetime mani-
fold (a four-dimensional, real, adequately smooth manifold),11 which
is endowed with an pseudo-Riemannian metric tensor. Gravitational
effects originate in that tensor.
10
There are several delicate points here, as the Lagrangian we start from should
be a hyperregular Lagrangian; see Abraham and Marsden (1978).
11
Exotic manifolds are allowed here.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 29
equation, for the case of zero-mass particles. Higher spin fields are
dealt with the help either of the Bargmann–Wigner equations or their
algebraic counterpart (see Doria, 1977). The Schrödinger equation is
obtained from the Dirac set out of a — loosely speaking — “stan-
dard” limiting procedure, which can be formally represented by the
addition of new axioms to the corresponding Suppes predicate.
Summing it up
We will briefly mention a few results of our own (with da Costa) on
the axiomatics of physics.
12
A property that isn’t satisfied by either all or none of the objects in its domain.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 36
η = ιx [(x = ξ ∧ α) ∨ (x = ζ ∧ ¬α)],
This settles our claim. From now on, we will consider theories S, T ,
like the one characterized above.
Our main tool here will be an explicit expression for the Halting
Function, that is, the function that settles the halting problem (see
Rogers, 1967). We have shown elsewhere that it can be constructed
within the language of classical analysis.
θ(n, q) = σ(Gn,q ),
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 38
+∞
2
Gn,q = Cn,q (x)e−x dx,
−∞
Cm,q (x) = |Fm,q (x) − 1| − (Fm,q (x) − 1).
Fn,q (x) = κP pn,q .
m ∈ D ↔ ∃x1 , . . . , xn ∈ ω p(m, x1 , . . . , xn ) = 0,
can view those sets as ordered k- and k∗ -ples; u and v are recur-
sive codings for them (see Rogers, 1967). The Du (A) and Dv∗ (A)
sets can be coded as follows: only finitely many elements of A are
queried during an actual converging computation with input y;
if k is the highest integer queried during one such computation,
and if dA ⊂ cA is an initial segment of the characteristic function
cA , we take as a standby for D and D∗ the initial segment dA
where the length l(dA ) = k + 1.
We can effectively list all oracle machines with respect to a fixed
A, so that, given a particular machine, we can compute its index
(or Gödel number) x, and given x we can recover the correspond-
ing machine.
(2) Given an A-partial recursive function φA x , we form the oracle
Turing machine that computes it. We then do the computation
φAx (y) = z that outputs z. The initial segment dy,A is obtained
during the computation.
(3) The oracle machine is equivalent to an ordinary two-tape Turing
machine that takes as input y, dy,A ; y is written on tape 1 while
dy,A is written on tape 2. When this new machine enters state s0
it proceeds as the oracle machine. (For an ordinary computation,
no converging computation enters s0 , and dy,A is empty.)
(4) The two-tape Turing machine can be made equivalent to a one-
tape machine, where some adequate coding places on the single
tape all the information about y, dy,A . When this third machine
enters s0 it scans dy,A .
(5) We can finally use the standard map τ that codes n-ples one-to-
one onto ω and add to the preceding machine a Turing machine
that decodes the single natural number τ (y, dy,A ) into its com-
ponents before proceeding to the computation.
Let w be the index for that last machine; we note the machine φw .
If x is the index for φA x , we write w = ρ(x), where ρ is the
effective one-to-one procedure above described that maps indices for
oracle machines into indices for Turing machines. Therefore,
φA
x (y) = φρ(x) (y, dy,A ).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 42
Now let 0(n) be the nth complete Turing degree in the arithmeti-
cal hierarchy. Let τ (n, q) = m be the pairing function in recursive
function theory (see Rogers, 1967). For θ(m) = θ(τ (n, q)), we have
the following corollary.
Incompleteness theorems
We suppose, as already stated, that PA ⊂ T means that there is an
interpretation of PA in T .
The next results will
•
be needed when we consider our main exam-
ples. We recall that “−” (the truncated sum) is a primitive recursive
operation on ω:
•
• For a > b, a − b = a − b.
•
• For a < b, a − b = 0.
In the next result, Z is the set of integers. Let N be a model,
N |= T , and N makes T arithmetically sound.
q(x1 , . . . , xn )
but
and
T ∃x1 , . . . , xn ∈ ω q(x1 , . . . , xn ) = 0.
Proof. Put
ζ = ξ + β (m+1) ν,
where one uses Corollary 14.5.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 47
Beyond arithmetic
Definition 14.8.
∅(ω) = {x, y : x ∈ ∅(y) },
for x, y ∈ ω.
Definition 14.9.
θ (ω) (m) = c∅(ω) (m),
where c∅(ω) (m) is obtained as in Proposition 13.1.
Definition 14.10.
∅(ω+1) = (∅(ω) ) .
Proof. We take:
(1) ζm = xθ (ω+1) (m) + (1 − θ (ω+1) (m))y.
(2) ζ = x + yβ (ω+1) .
(3) Neither θ (ω+1) (m) nor β (ω+1) are arithmetically expressible.
For the way one proceeds with those extensions, we refer the
reader to references on the hyperarithmetical hierarchy (see Ash and
Knight, 2000; Rogers, 1967).
(Proof follows from the fact that the θ function has a recursively
enumerable set of nonzero values, with a nonrecursive complement,
and from the existence of a Diophantine equation, which has no roots
in the standard model M while that fact can neither be proved nor
disproved by T .)
Notice that since equality is undecidable in the language of anal-
ysis, there is no general algorithmic procedure to check whether a
given expression in that language equals, say, the θ n or the β.
In order to sum it up, I’ll restate now the chief undecidability
and incompleteness theorem.
Proposition 15.1.
Arnol’d’s problems
Arnol’d formulated in the 1974 AMS Symposium on the Hilbert
Problems (see Arnol’d, 1976) a question dealing with algorithmic
decision procedures for polynomial dynamical systems over Z (see
Arnol’d, 1976):
Is the stability problem for stationary points algorithmically decid-
able? The well-known Lyapounov theorem solves the problem in
the absence of eigenvalues with zero real parts. In more compli-
cated cases, where the stability depends on higher order terms in
the Taylor series, there exists no algebraic criterion.
Let a vector field be given by polynomials of a fixed degree, with
rational coefficients. Does an algorithm exist, allowing to decide,
whether the stationary point is stable?
A similar problem: Does there exist an algorithm to decide, whether
a plane polynomial vector field has a limit cycle?
Doria, 1994a; Tsuji et al., 1998). Those two last questions are dis-
cussed below in Section 17.
Ξ = Ξ + Υ
where all populations are (in general) coupled and Ξ has a Smale
horseshoe. So Ξ is chaotic in its behavior.
We slightly modify Ξ and get
Ξ∗ = Ξ + βΥ,
appear in lost backalleys; yet, as told here, the authors had long
striven to show that the incompleteness phenomenon is part of the
actual practice in any axiomatized science, and their endeavor proved
a fruitful one when they showed that simple questions in dynamical
systems theory (“Given a dynamical system, can we check whether
it is chaotic? Can we prove that it is chaotic?”) led to undecidability
and incompleteness (see da Costa and Doria, 1991a). We call that
the “negative” viewpoint, since it is usually supposed to imply that
incompleteness means that there is an essential deficit in our knowl-
edge when it is obtained through some formal system.
Assuredly incompleteness means that we can’t compute some
result. But should we take that fact as some kind of absolute obstacle
to our knowledge of the world through formal languages?
The second point of view is the “optimistic” one; it is the position
adopted by the authors. Undecidable sentences are seen as degrees of
freedom, as bifurcation points in our theories. They reveal some kind
of inner freedom in the possibilities we have when trying to describe
the world within a formal system. They show the existence of open
possibilities, choices available in the formalism; they cannot be looked
upon as limitations to our knowledge. That point of view is reinforced
when one considers that there is an actual functor that goes from the
theory of formal systems into the theory of bifurcating dynamical
systems, as described for instance in da Costa and Doria (1993b).
Very much as if the whole of mathematics were to be redrawn onto
a small spot over its own belly.
ẋ = +αx − βxy,
(1)
ẏ = −γy + δxy,
u̇ = +∂H/∂v,
(4)
v̇ = −∂H/∂u.
For the references, see Goel et al. (1971) and Nicolis and Pri-
gogine (1977).
Remark 20.3. If Ξ also denotes the LV-system for those four pop-
ulations, then we note its chaotic perturbation:
Ξ = Ξ + Υ, (5)
Class structures
We consider here three interacting populations where the number of
individuals in each is denoted by the variables x, y, z > 0 (see Nicolis
and Prigogine, 1977, p. 460). The dynamics of the model is given by:
ẋ = κx(N0 − x − y − z) − δx − ρxy,
ẏ = κy(N0 − x − y − z) − δy − f (x, y), (6)
ż = f (x, y) − δz.
ẋ = −x + αxy
(8)
ẏ = +y − βxy,
u = log x,
(9)
v = log y,
u̇ = −∂H/∂v,
(10)
v̇ = +∂H/∂u.
ξ˙ = −η,
(11)
η̇ = +ξ.
(1) k ≤ n.
(2) PrS (∀x ∃z T (e, x, z)) ≤ n.
13
We follow here a suggestion by G. Kreisel in a private message to N. C. A. da
Costa and F. A. Doria.
66
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 67
Sources
Again we will base our exposition in three papers of ours (see da
Costa and Doria, 2015, 2016; Doria, 2016), which will be freely quoted
in what follows.
Appendix B. Technicalities
We deal here with two possible formalizations for both P = N P
and P < N P . We have called the unusual formalizations the “exotic
formalization.” They are naı̈vely equivalent, but when we move to a
formal framework like that of S, we have difficulties.
Let tm (x) be the primitive recursive function that gives the oper-
ation time of {m} over an input x of length |x|. If {m} stops over an
input x, then
Actually Mf (x, y) stands for Mef (x, y), or better, M (ef , x, y), as
dependence is on the Gödel number ef .
Definition B.7. ¬Qf (m, a, x) ↔Def ∃a [Mf (a, a ) ∧ ¬Q(m, a , x)].
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 69
Remark B.8. We will sometimes write ¬Q(m, f(a), x) for ¬Qf (m, a,
x), whenever f is provably recursive and total.
We will sometimes write ¬Q(m, g(a), x) for ¬Qg (m, a, x), when-
ever g is S-provably total.
Example C.3.
• First trivial machine. Note it O. O inputs x and stops.
f (c(n)) = g(n).
(This contrasts with the fact that the set of all poly machines
isn’t even recursively enumerable.)
A more general machine-clock couple will also be used here:
Its Gödel number is given by c(m, |f|, a), with c primitive recursive
by the s–m–n theorem, with f at least intuitively recursive.
Remark E.2. Notice that we can have c such that, for parameters
a, b, if a < b, then c(. . . a . . .) < c(. . . b . . .).
Appendix F. An example
As an example recall that P < N P is given by a Π2 arithmetic
sentence, that is, a sentence of the form “for every x there is an y so
that P (x, y),” where P (x, y) is primitive recursive. Given our theory
S with enough arithmetic in it, S proves a Π2 sentence ξ if and only
if the associated Skolem function fξ is proved to be total recursive by
S. For P < N P , the Skolem function is what we have been calling
the counterexample function.
where |x| denotes the length of the binary input x to the machine.
We can then consider the recursive set:
BGSk
k
14
Such a “scale of functions” exists and can be explicitly constructed.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 76
Now forget about the technicalities and ponder for a while those
results: waving hands, they mean that:
each BGSk ). The different BGSk are distributed over the set of all
Turing machines by the primitive recursive function c(m, k, a).
Also we cannot argue within S that for all k, fk dominates . . . ,
as that would imply the totality of the recursive function FS .
It is interesting to keep in mind a picture of these objects. First
notice that the BGS and BGSk machines are interspersed among
the Turing machines. The quasi-trivial Turing machines have their
Gödel numbers given by the primitive recursive function c(k, n) —
we forget about the other parameters — where:
Definition H.1.
• A k-run policy σk , k a positive integer, is a series of plays (b for
buy and s for sell) of length k. There are clearly 2k possible k-run
policies.
• A map v from all possible k-run policies into {0, 1} is a valuation;
we have a “gain” if and only if v(σk ) = 1; a “loss” otherwise.
• A policy is successful if it provides some gain (adequately defined);
in that case we put v(σk ) = 1. Otherwise v(σk ) = 0.
15
Based on “A beautiful theorem,” already cited.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 80
Appendix I. Details
The main motive is very simple: we are going to code Maymin-
efficient markets as Boolean expressions. We use a result by E. Post.
The 2k binary sequences naturally code integers from 0 to 2k − 1;
more precisely, from
to:
(We take 1 as “true” and 0 as “false.”). The idea of the proof goes
as follows:
¬p1 ∧ p2 ∧ p3 ∧ ¬p4 ∧ ¬p5
is satisfied by the binary 5-digit line:
01100
(When there is a ¬ in the conjunction put 0 in the line of truth-values;
if not put 1.)
Trivially every k-variable Boolean expression gives rise to a 2k -
length truth table which we can code as a binary sequence of, again,
size 2k bits. The converse result is given by Post’s theorem.
Sketch of proof. Consider the k-variable Boolean expression:
ζ = α1 p1 ∧ α2 p2 ∧ . . . ∧ αk pk ,
where the αi are either nothing or ¬. Pick up the line of truth values
ζ = α1 α2 . . . αk , where “nothing” stands for 1 and ¬ for 0. ζ satisfies
ζ, while no other line of truth values does. Our Boolean expression
ζ is satisfied by ζ and by no other k-digit line of truth values.
The disjunction ζ ∨ ξ where ξ is a k-variable Boolean expression
as ζ, is satisfied by (correspondingly) two lines of truth values, and
no more. And so on.
The rigorous proof of Post’s theorem is by finite induction.
Definition I.2. The Boolean expression in dnf ζ is identified to a
Maymin k-market configuration.
Proposition I.3. There are Maymin-efficient markets if and only if
P = NP.
Proof. Such is the condition for the existence of a poly algorithmic
map v.
16
Actually we deal with a slightly larger class of Boolean expressions.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 83
17
Conjunctive normal form.
18
Have in mind that the BGS machine set is a set of time-polynomial Tur-
ing machines, which includes algorithms that mimic all time-polynomial Turing
machines. See above and check (see Baker et al., 1975).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 84
(9) Finally for all cardinals α ∈ V , λ > α. For if not, there would be
a β ∈ V , and λ < β, and λ would be in V .
This also means that V is in fact a set, V .
References
Abraham, R. and Marsden, J. (1978). Foundations of Mechanics, Second Edition.
Addison-Wesley.
Adler, A. (1969). Some recursively unsolvable problems in analysis. Proceedings
of the American Mathematical Society, 22, 523–526.
Arnol’d, V. I. (1976). Problems of present day mathematics. XVII (Dynamical
systems and differential equations). Proceedings of Symposia in Pure Math-
ematics, 28, 59.
Ash, C. J. and Knight, J. (2000). Computable Structures and the Hyperarithmeti-
cal Hierarchy. Elsevier.
Baker, T., Gill, J. and Solovay, R. (1975). Relativizations of the P =?N P ques-
tion. SIAM Journal on Computing, 4, 431–442.
Balzer, W., Moulines, C. U. and Sneed, J. D. (1987). An Architectonic for Science:
the Structuralist Program. Synthèse Library, D. Reidel.
Black, M. (1933). The Nature of Mathematics, London.
Ben-David, S. and Halevy, S. (s/d). On the independence of P vs. N P . Preprint
Technion.
Chaitin, G. J., da Costa, N. C. A. and Doria, F. A. (2011). Gödel’s Way. CRC
Press.
Cho, Y. M. (1975). Higher-dimensional unifications of gravitation and gauge the-
ories. Journal of Mathematical Physics, 16, 2029–2037.
Corson, E. M., (1953). Introduction to Tensors, Spinors and Relativistic Wave-
Equations. Blackie & Sons.
da Costa, N. C. A. (1980). Ensaio sobre os Fundamentos da Lógica. São Paulo:
Hucitec-Edusp.
da Costa, N. C. A. and Chuaqui, R. (1988). On Suppes’ set-theoretic predicates.
Erkenntnis, 29, 95–112.
da Costa, N. C. A. and Doria, F. A. (1991a). Undecidability and incompleteness in
classical mechanics. International Journal of Theoretical Physics, 30, 1041–
1073.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch01 page 87
Chapter 2
Gregory J. Chaitin
Federal University of Rio de Janeiro, Brazil
∗
Reprinted from Inference: International Review of Science, Vol. 1, No. 3 (July
2015).
1
Umberto Eco, The Search for the Perfect Language, trans. James Fentress (Lon-
don, UK: HarperCollins, 1997).
91
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 92
mechanical way to get the answer. Huygens didn’t like this, but that
was precisely the point. That was precisely what Leibniz was looking
for. The idea was that if you get absolute truth, if you have found
the truth, it should mechanically enable you to determine what’s
going on, without creativity. This is good, this is not bad. This is also
precisely how Leibniz’s version of the calculus differed from Newton’s.
Leibniz saw clearly the importance of having a formalism that led
you automatically to the answer.
Let’s now take a big jump, to David Hilbert, about a century ago.
No, first I want to tell you about an important attempt to find the
perfect language: Georg Cantor’s theory of infinite sets. This late
19th-century theory is interesting because it’s firmly based in the
Middle Ages and also, in a way, the inspiration for all of 20th-century
mathematics. This theory of infinite sets was actually theology —
mathematical theology. Normally you don’t mention that fact. The
price of admission to the field of mathematics demands that the
mathematician throw out all the philosophy, leaving only something
technical behind. So all the theology has been thrown out.
But Cantor’s goal was to understand God. God is transcendent.
The theory of infinite sets has a hierarchy of bigger and bigger infini-
ties, the alephs, the ℵ’s. You have ℵ0 , ℵ1 , the infinity of integers, of
real numbers, and you keep going. Each one of these is the set of all
subsets of the previous one. And very far out you get mindboggling
infinities like ℵω . This is the first infinity after
ℵ0 , ℵ1 , ℵ2 , ℵ3 , ℵ4 . . . .
Then you can continue with
ω + 1, ω + 2, ω + 3 . . . 2ω + 1, 2ω + 2, 2ω + 3 . . . .
These so-called ordinal numbers are subscripts for the ℵ’s, which are
cardinalities. Let’s go farther:
ℵω 2 , ℵω ω , ℵω ω ω . . . ,
and there’s an ordinal called epsilon-nought
...
ωω
0 = ω ω ,
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 95
x = ωx.
ℵ0
is pretty big!
God is very far off, since God is infinite and transcendent. We
can try to go in his direction. But we’re never going to get there,
because after every cardinal, there’s a bigger one, the cardinality of
the set of all subsets. And after any infinite sequence of cardinals
that you get, you just take the union of all of that, and you get a
bigger cardinal than is in the sequence. So this thing is inherently
open-ended.
This is absolutely wonderful, breathtaking stuff.
The only problem is that it’s contradictory.
The problem is very simple. If you take the universal set, the set
of everything, and you consider the set of all its subsets, by Cantor’s
diagonal argument this should have a bigger cardinality, but how can
you have anything bigger than the set of everything?
This is the paradox that Bertrand Russell discovered. Russell
looked at this and asked why you get this bad result. And if you look
at the Cantor diagonal argument proof that the set of all subsets of
everything is bigger than everything, it involves the set of all sets
that are not members of themselves,
{x : x ∈ x},
which can neither be in itself nor not be in itself. This is called the
Russell paradox.
Cantor was aware that this happens, but he wasn’t bothered
by these contradictions, because he was doing theology. We’re finite
but God is infinite, and it’s paradoxical for a finite being to try
to comprehend a transcendent, infinite being, so paradoxes are fine.
But the mathematical community was not very happy with a the-
ory that leads to contradictions. What mathematicians have done is
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 96
forget about all this theology and philosophy and try to sweep the
contradictions under the rug. There is an expurgated version of all
this called Zermelo–Fraenkel set theory, with the axiom of choice,
usually designated ZFC.
This is a formal axiomatic theory that you develop using first-
order logic, and it is an expurgated version of Cantor’s theory
believed not to contain any paradoxes.
Bertrand Russell was inspired by all of this to attempt a general
critique of mathematical reasoning, and to find a lot of contradic-
tions, a lot of mathematical arguments that lead to contradictions.
I already told you about his most famous one, the Russell paradox.
Russell was an atheist who was searching for the absolute, who
believed in absolute truth. And he loved mathematics and wanted
mathematics to be perfect. Russell went around telling people about
these contradictions in order to try to get them fixed.
Besides the paradox that there’s no biggest cardinal, and that
the set of subsets of everything is bigger than everything, there’s
also a problem with the ordinal numbers that’s called the Burali–
Forti paradox, namely that the set of all the ordinals is an ordinal
that’s bigger than all the ordinals. This works because each ordinal
can be defined as the set of all the ordinals that are smaller than it
is. (Then an ordinal is less than another ordinal if and only if it is
contained in it.)
Russell was going around telling people that reason leads to con-
tradictions. So David Hilbert, about a century ago, proposed a pro-
gram to put mathematics on a firm foundation. And basically what
Hilbert proposed is the idea of a completely formal axiomatic theory,
which is a modern version of Leibniz’s characteristica universalis and
calculus ratiocinator.
In such a formal axiomatic theory, you would have a finite num-
ber of axioms, axioms that are not written in an ambiguous natural
language. Instead, you use a precise artificial language with a simple,
regular artificial grammar. You use mathematical logic, not informal
reasoning, and you specify the rules of the game precisely. It should
be mechanical to decide whether a proof is correct.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 97
n + 1 = {0, 1, 2, . . . , n}.
If you write this out in full, removing all the abbreviations, all you
have are curly braces, you have set formation starting with no con-
tent, and the full notation for n grows exponentially in n because
everything up to that point is repeated in the next number. In spite
of this exponential growth, this is a beautiful conceptual scheme.
Then you can define rational numbers as pairs of these integers,
you can define real numbers as limit sequences of rational numbers,
and you get all of mathematics, starting just with the empty set.
So it’s a lovely piece of ontology. Here’s all of mathematical creation
just built out of the empty set.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 99
Ω = 0.010010111 . . . .
πC = 0k 1.
Anyway, picking U this way is the key idea in the original 1960s
version of AIT that Andrey Kolmogorov, Ray Solomonoff, and I inde-
pendently proposed. But ten years later, I realized that this is not
the right approach. You actually want the whole program πC p for
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 104
bits long.
That’s the Russian dolls aspect of this.
The 1970s version of AIT, which takes the idea of being self-
delimiting from the prefix and applies it to the whole program, gives
us even better perfect languages. AIT evolved in two stages. First we
concentrate on those U with
U (πC p) = C(p)
complexity,
H(x, y) ≤ H(x) + H(y),
which is not the case if you don’t make everything self-delimiting.
This just says that you can concatenate the smallest program for
calculating x and the smallest program for calculating y to get a
program for calculating x and y.
And you can’t even define the halting probability Ω in 1960s AIT.
If you allow all N -bit strings to be programs, then you cannot define
the halting probability in a natural way, because the sum for defining
the probability that a program will halt
Ω= 2−(size in bits of p)
p halts
you have to be sure that the total probability summed over all pro-
grams p is less than or equal to one. This happens automatically if
we force p to be self-delimiting. How can we do this? Easy! Pretend
that you are the universal computer U . As you read the program bit
by bit, you have to be able to decide by yourself where the program
ends, without any special punctuation, such as a blank, at the end
of the program. This implies that no extension of a valid program is
itself a valid program, and that the set of valid programs is what’s
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 106
called a prefix-free set. Then the fact that the sum that defines Ω
must be between zero and one, is just a special case of what’s called
the Kraft inequality in Shannon information theory.
But this technical machinery isn’t necessary. That 0 < Ω < 1
follows immediately from the fact that as you read the program bit
by bit, you are forced to decide where to stop without seeing any
special punctuation. In other words, in 1960s AIT, we were actually
using a three-symbol alphabet for programs: 0, 1, and blank. The
blank told us where a program ends. But that’s a symbol that you’re
wasting, because you use it very little. As you all know, if you have
a three-symbol alphabet, then the right way to use it is to use each
symbol roughly one-third of the time. So if you really use only 0’s
and 1’s, then you have to force the Turing machine to decide by itself
where the program ends. You don’t put a blank at the end to indicate
that.
So programs go from N bits in size to N + log2 N bits, because
you’ve got to indicate in each program how big it is. On the other
hand, you can just take subroutines and concatenate them to make
a bigger program, so program-size complexity becomes sub-additive.
You run the universal machine U to calculate the first object x, and
then you run it again to calculate the second object y, and then
you’ve got x and y, and so
These self-delimiting binary languages are the ones that the study of
program-size complexity has led us to discriminate as the ideal lan-
guages, the most perfect languages. We got to them in two stages,
1960s AIT and 1970s AIT. These are languages for computation, for
expressing algorithms, not for mathematical reasoning. They are uni-
versal programming languages that are maximally expressive, maxi-
mally concise. We already knew how to do that in the 1960s, but in
the 1970s we realized that programs should be self-delimiting, which
made it possible to define the halting probability Ω.
That’s the story, and now maybe I should summarize all of this,
this saga of the quest for the perfect language. As I said, the search
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 107
for the perfect language has some negative conclusions and some
positive conclusions.
Hilbert wanted to find a perfect language giving all of mathemat-
ical truth, all mathematical knowledge; he wanted a formal axiomatic
theory for all of mathematics. This was supposed to be a TOE for
the world of pure mathematics. And this cannot succeed, because
we know that every formal axiomatic theory is incomplete, as shown
by Gödel, by Turing, and by me. Instead of finding a perfect lan-
guage, a perfect formal axiomatic theory, we found incompleteness,
uncomputability, and even algorithmic irreducibility and algorithmic
randomness.
That’s the negative side of this story, which is fascinating from
an epistemological point of view, because we found limits to what we
can know; we found limits of formal reasoning.
Now interestingly enough, the mathematical community couldn’t
care less. They still want absolute truth! They still believe in absolute
truth, and that mathematics gives absolute truth. And if you want
a proof of this, just go to the December 2008 issue of the Notices
of the American Mathematical Society. That’s a special issue of the
Notices devoted to formal proof.
The technology has been developed to the point where they can
run real mathematics, real proofs, through proof-checkers, and get
them checked. A mathematician writes the proof out in a formal
language, and fills in the missing steps and makes corrections until
the proof-checker can understand the whole thing and verify that it
is correct. And these proof-checkers are getting smarter and smarter,
so that more and more of the details can be left out. As the tech-
nology improves, the job of formalizing a proof becomes easier and
easier. The formal-proof extremists are saying that in the future all
mathematics will have to be written out formally and verified by
proof-checkers.2
2
For a discussion of recent developments in this area, see Vladimir Voevodsky,
“Univalent Foundations” at http://www.math.ias.edu/vladimir/files/2014
IAS.pdf.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 108
3
Note that program-size complexity = size of smallest name for something.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch02 page 109
4
Incompleteness can be considered good rather than bad: it shows that mathe-
matics is creative, not mechanical.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 111
Chapter 3
Giandomenica Becchio
University of Torino, Italy
111
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 112
1
This paragraph is a reduction of Becchio (2008).
2
These matters formed the core of the international movement in the 1930s, when
the philosophical position of the Vienna Circle was most prominently represented
by Carnap’s analysis of language and by Neurath’s physicalism and its program
for a unified rational reconstruction of science (including the human sciences)
(Stadler, 2006).
3
Official members of the Colloquium were Abraham Wald, Kurt Gödel, Franz
Alt, Georg Nöbeling; many other guests, such as John von Neumann and Oskar
Morgenstern, sometimes gave lectures. (Weintraub, 1983; Punzo, 1989; Golland
and Sigmund, 2000; Becchio, 2008).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 113
4
The “uncertainty” to which Menger was referring is to be intended as the ran-
domness of choices when they are made in a context of knowable probabilities.
5
When Menger wrote it, Hans Mayer, then the editor of Zeitschrift für
Nationalökonomie, refused to publish the paper because it made excessive use
of mathematical formulas. The paper was discussed in 1927 at a meeting of the
Viennese Economic Society and provoked differing reactions. It was only published
in 1934, when Oskar Morgenstern — according to Menger “one of the very few
Austrian economists who were free from prejudices against mathematical methods
in economics” (Menger, 1967, p. 259) — was appointed editor of the Zeitschrift
(Becchio, 2008).
6
Nicholas’s cousin, Daniel Bernoulli, claimed that mathematical expectations
should be replaced with “moral” expectations, and was thus the first to investigate
the meaning of so-called expected utility for a gambler who persists with playing
the same game. He defined the notion of expected utility by decomposing the
valuation of a risky venture as the sum of utilities from outcomes weighted by
the probabilities of outcomes.
7 st
1 toss: payoff = 1; 2nd toss: payoff = 4 and so on and E(w) = (1/2n ) · 2n =
(1/2) · 2 + (1/4)22 + (1/8)23 + · · · = 1 + 1 + 1 + · · · = ∞.
8
In the St. Petersburg case, the value of the game to an agent (assuming initial
wealth is zero) is: E(u) = (1/2n ) · u(2n ) = (1/2) · u(2) + (1/4) · u(22 ) + (1/8) ·
u(23 ) + · · · < ∞, which Bernoulli conjectured is finite because of the principle
of diminishing marginal utility. Daniel Bernoulli’s solution involved two ideas:
(i) that people’s utility from wealth, u(w), is not linearly related to wealth (w) but
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 114
11
The term “travelling salesman problem” was coined by A. Whitney (Schrijver,
2005).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 116
12
Russell thought that language could be analyzed into a perfect logical structure.
In addition, he claimed that mathematics could become a part of logic. Russell’s
logicism had a great influence on scientists and philosophers of the Wiener Kreis.
Viennese scholars were also deeply influenced by Wittgenstein, for whom logic
was something that both the world and language must have in common. In fact,
according to Wittgenstein, language can be used to picture the world only because
it has something in common with logic; and it is only because of logic that our
sentences are meaningful.
13
Hilbert’s formalism was based on the axiomatization of logical and mathemat-
ical theory: every branch of mathematics starts with a number of axioms or
statements that are assumed to be true and all other statements in that branch
can be proven. Axiomatization makes the system consistent.
14
Unlike logicism and Hilbertism, intuitionism (Kronecker; Brouwer; Heyting)
was a nonclassical logic that refused to reduce either mathematics to logic or
logic to mathematics. According to intuitionists, mathematical and logical proofs
work differently: in particular, Brouwer (who has been Menger’s mentor in the
mid-1920s) showed that in some cases the law of excluded middle does not hold
in mathematics (it is impossible in infinite sets).
15
In particular, Menger regarded L
ukasiewicz’s 3-valued logic to be able to include
uncertainty: “the third value being the excluded middle of the traditional 2-valued
system” (Leonard, 1998, p. 16).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 117
16
Later on, Gödel (1932) tried to understand intuitionistic logic in terms of many-
truth degrees. A few years later, Jaskowski (1936) constructed an infinite-valued
characteristic matrix for intuitionistic logic. It seems, however, that the truth
degrees of this matrix do not have a nice and simple intuitive interpretation.
A philosophical application of 3-valued logic to the discussion of paradoxes was
proposed by the Russian logician Bochvar (1938), and a mathematical one to
partial function and relations by the American logician Kleene (1938). Much later,
Kleene’s connectives also became philosophically interesting as a technical tool to
determine fixed points in the revision theory of truth initiated by Kripke (1975).
17
In fact, he deeply criticized Wittgenstein’s idea — shared by member of the
Vienna Circle in mid-1930s — that logic was unique.
18
As Menger himself stated later, his tolerant attitude toward the logical foun-
dations of mathematics was very close to Popper’s criticism of essentialism, i.e.,
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 118
23
The main reference in formalist ethics is, of course, to Kant and his “practi-
cal reason” founded on three categorical imperatives (based on the conformity
of any action with universality, autonomy, and to notion of humans as ends in
themselves) in opposition to hypothetical ones (religion, laws, hedonistic plea-
sure, and personal ideals), which do not confer morality on an action. Menger
stated that his morality was very far from Kantianism. He considered ethics in
order to understand individual decisions, and subsequently social organizations,
and he argued that the Kantian categorical imperative was neither a necessary
nor a sufficient condition for constituting cohesive (or peaceful) groups. Hence,
ethical imperatives are always hypothetical, never categorical. The unresolved
question in Kantianism was “what concrete precepts result from the categorical
imperative in specific situations” (Menger, 1974, p. 9). In order to answer this
question (how to apply the categorical imperative to a decision), it is necessary
to consider a decision that implies a cognitive activity. This is the point where,
according to Menger, ethics and logic are strictly connected. The ethical problem
in Menger’s thought was understanding how social coexistence comes about in
concrete situations where “there are several mutually incompatible decisions to
consider” (Menger, 1974, p. 10) and the categorical imperative needs supplemen-
tary stipulations and additional norms in order to generate the well-being of a
group.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 120
24
By way of example, he cited the idea of maximization in economic theory and
stated that if economists wished to claim that “the optimal distribution of com-
modities and the greatest welfare of mankind could be achieved under certain
system of organization which they describe”, they “indeed must first take the
trouble to study logic”(Menger, 1974, p. 31), and he added ironically that such
an exercise would “without doubt increase their self-criticism”.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 121
Asserted = µ+
Doubtful = µ0
Negated = µ−
From this premise, four theorems follow, as they are listed below.
p p p q p&q
+ − + + 0
0 0 + 0 0
− + 0 + 0
− ∗ −
∗ − −
0 0 0 or −
− 0 0 0 Incompatible piq
− − 0 0 Contradictory pcq
0 − 0 0 Alternative paq
0 0 − 0 p weaker q pwq
0 0 0 − p stronger q psq
0 0 − − Equivalent peq
0 0 0 0 Unrelated puq
P 0 + 0 0 − 0 0
Q 0 − 0 0 + 0 0
where
piq = sets whose intersection is empty but whose union is not the
universal set;
pcq = sets whose intersection is empty but whose union is the uni-
versal set;
paq = sets whose intersection is nonempty and whose union is the
universal set;
pwq = the second set is a proper subset of the first;
psq = the first set is a proper subset of the second;
peq = sets that are identical;
puq = sets with a nonempty intersection neither being a subset of the
other and whose union is not the universal set.
(5) (!v) ; that is, there exists a proposition v for which the negation
of !v holds.
After deriving 50 theorems from these assumptions, Mally arrived at
the following conclusion:
p ↔!p.
Hence, according to Menger, the introduction of the sign ! is super-
fluous in the sense that it may be cancelled or inserted in any formula
or place we please to apply.
Stressing the importance of substituting 2-valued logic with
n-valued logic, Menger’s conclusions were:
(A) The objects of human wishes (Dp) and commands (Cp) are
neither necessities nor impossibilities. Hence, propositions are
neither asserted nor negated: they are doubtful. Mally’s mistake
can be founded on the fact that he used 2-valued calculus of
propositions.
(B) The words “command” and “wish” differ from each other.
(C) The expression “I wish” in everyday language is incomplete and
ambiguous.
(D) A theory of Dp should take account some results of economic
theory, in particular the following two:
• The distinction of certain classes of pairs of goods, for exam-
ple, complementary goods wanted only in combination; or
goods that can be substituted for each other and each of which
is wanted without, possibly even only without, the other.
• For each individual I, the combinations of goods constitute a
set that is partially ordered by a preference relation such that
absence of preference is transitive; that is, if M and N are two
combinations of goods, then either N is preferred to M , or M
is preferred to N , or neither is preferred to the other. In the
last case (absence of preference), I is indifferent to M and N
and we can apply the properties of the SARP or WARP.
How can these remarks be applied to optative logic in Menger’s sys-
tem? Even the most elementary wishes presuppose at least normal
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 126
(x , y) < (x, y), (x, y) < (x , y), (x, y) ∼ (x , y).
25
Karl Menger’s archive, at Perkins Library, Duke University, Durham, NC, USA.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 128
Neumann. That book was about game theory and placed particu-
lar emphasis on the social science point of view. Chapter 13 dealt
with individual decision-making under uncertainty, and Chapter 14
on group decision-making, devoting a section to “games of fair divi-
sion”.26 Of course, Morgenstern’s reference of “a couple of papers on
the logic of the putative”, were those written by Menger in 1933 and
in 1939.
In 1983, Menger returned to his interest in cohesive groups: he
proposed a general criterion for explaining how cohesive social groups
come into being. The model was the same as in 1938, but the paper
comprised some additions on the ethics of the Vienna Circle and on
game theory that are worth recalling. Menger criticized both Kant’s
formalistic morality and the ethics proposed by the Vienna Circle and
founded on Wittgenstein’s Tractatus. According to Menger, Kant’s
categorical imperative was unable to form a cohesive group because
“in most specific situations it is impossible to deduce specific pre-
cepts for behavior unless the imperative is supplemented by the
value judgments”, and it is very difficult to find a “maxim that can
become a general law”. Menger was also dissatisfied with the Vienna
Circle’s notion that, after the complete elimination of value judg-
ments from ethics, only historical and ethnographical descriptions of
moral beliefs and conditions were possible. The multiplicity of beliefs
and evaluations seemed to recommend the formal study of inner
judgments and attitudes among human groups with incompatible
26
Luce and Raiffa maintained that a fair rule is a mode of conduct considered
socially desirable: a fair procedure is a Pareto optimal outcome. A group decision’s
welfare function is built by passing from individual values to social preferences.
The main difficulty is to devising a system that is sufficiently egalitarian and
flexible to cope with the dynamics of individual tastes. In Arrow’s social welfare
function, there is a fair method for aggregating different sets of individual rankings
into a single ranking for the society: from a n-tuple of individual rankings to
a single ranking for the society in order to construct a social welfare function
(Arrow, 1951).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 129
4. Conclusion
Menger’s interest in the relationship between logics and social sci-
ences (ethics and economics) was one of his major focus areas during
the interwar period. He never stopped thinking of the possibility to
find a way to apply a nonstandard logic to describe ethics in a formal
way, based on the assumption that moral attitudes are based and
reinforced by decisions. His work made him a forerunner of decision
theory and experimentalism in social sciences.
References
Arrow, K. (1951). Social Choice and Individual Values. New York: Wiley.
Becchio, G. (2008). The complex role of Karl Menger in the Viennese economic
theory. Review of Austrian Economics, 21, 61–79.
Becchio, G. (2009). Ethics and economics in Karl Menger. in Unexplored
dimensions: Karl Menger on Economics and Philosophy, Becchio, G. (ed.).
Advances in Austrian Economics, Vol. 12, pp. 21–39.
Bock, F. (1963). Mathematical programming solution of traveling salesman exam-
ples. in Recent Advances in Mathematical Programming, Graves, R. and
Wolfe, P. (eds.). pp. 339–341. New York: McGraw-Hill.
Bochvar, D. (1938). On a three-valued logical calculus and its application to the
analysis of the paradoxes of the classical extended functional calculus. History
and Philosophy of Logic, 2, 87–112.
Carnap, R. (1937 [1934]). The Logical Syntax of Language. London, Kegan Paul.
Gödel, G. (1932). Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie
der Wissenschaften Wien (Math.-naturwiss. Klasse), 69, 65–66; reprinted:
Menger, K. (ed.). (1933), Ergebnisse eines Mathematischen Kolloquiums,
pp. 4–40.
Golland, L. A. and Sigmund, K. (2000). Exact thought in a demented time: Karl
Menger and his mathematical colloquium. The Mathematical Intelligences,
22, 34–45.
Hayek, F. (1937). Economics and knowledge. Economics, 4, 33–54.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch03 page 130
Chapter 4
Shocked Disbelief
Roger Koppl
Whitman School of Management, Syracuse University
Syracuse, NY, USA
133
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 134
take the question seriously. Peart and Levy note at least two conse-
quences of germ patronage. On the one hand, “The researcher may
be entirely self-interested and willing to trade something for results
that favor germs.” On the other hand, they may be “sympathetic
to germs.” In either event, “what germs want is results that favor
germs.” Thus, “Self-interested germs want researchers who fall into
one or the other category.” Clearly, the germs will sponsor research
that promotes their (perceived) interests (p. 20).
As Peart and Levy (2012, pp. 21–22) note, Thomas Hobbes saw
the root problem. In Leviathan, he says, “I doubt not but if it had
been a thing contrary to any mans right of dominion, or to the inter-
est of men that have dominion, That the three Angles of a Triangle
should be equal to two Angles of a Square; that doctrine should have
been, if not disputed, yet by the burning of all books of Geometry,
suppressed, as farre as he whom it concerned was able” (Hobbes,
1909 [1651], pp. 79–80).
We can translate Hobbes’s argument into the lingo of modern
economics. The doctrine of “consumers’ sovereignty” holds that con-
sumers’ decisions to buy or not to buy determine the production
of goods and services. “Competitive institutions are the servants of
human wants” (Hutt, 1936, p. 175). The point of the thought exper-
iments of Hobbes and of Peart and Levy is, in part at least, to show
that this doctrine of consumer sovereignty applies no less forcefully
in the market for ideas than in the market for men’s shoes. Thus,
the demand for magical thinking meets a willing supply
The pattern and problem go back at least as far as ancient Greece.
Nilsson (1940, pp. 121–139) discusses the conflict between Greek
“seers and oracle mongers” and the philosophers and sophists of the
6th and 5th centuries BCE. The seers were the experts challenged
by the philosophers and sophists. Nilsson explains:
The real clash took place between that part of religion which inter-
fered most in practical life and with which everyone came into
contact every day, namely, the art of foretelling the future, and
the attempts of natural philosophy to give physical explanations
of celestial and atmospheric phenomena, or portents, and other
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 140
Given the tight connection between religion and politics that Nilsson
notes, to question divination was a political act that threatened state
power. The death of Socrates is to be seen in the light of political
struggles in which the philosopher challenged the authority of reli-
gious experts who then used political means to defend their preroga-
tives. The politically powerful used seers and divination to maintain
power while being in some measure subject to the influence, even
control, of these same experts. The parallels with modern economic
experts seem quite close. And as we have seen, modern economists,
no less than ancient oracle mongers use magical thinking to support
their auguries.
If the “oracle mongers” were politically important, we should
find evidence of corruption in at least some cases. And we do for
at least one important case, the oracle at Delphi. Herodotus records
at least two instances of bribes given to the oracle (V 63, VI 66,
Fairbanks, 1916, pp. 40–41). Reeve (1990) gives some details of the
operation of the oracle and notes that there were “two methods of
consulting the oracle” (p. 29). One was expensive, “involving the
sacrifice of sheep and goats,” and the other cheap. The existence of
an expensive method strongly suggests that Delphic pronouncements
were up for sale. Other evidence supports the same conjecture. Broad
(2006) notes the “monumental wealth” of Delphi and says, “It was
the custom for thankful supplicants to send back riches. These and
other gifts and tithes accumulated over the centuries to the point
that Delphi became one of the wealthiest places on Earth” (p. 16). It
seems hard to distinguish such “gifts” from bribes. Arnush notes that
both public and private “consultants” had to pay “taxes in the form
of a sacrifice and a special type of cake (the pelanos) in order to gain
access to the oracle” (p. 100). Lloyd-Jones (1976, p. 68) grudgingly
admits, “Anti-clerical critics can easily accuse the Delphians of cyn-
ical pursuit of their own private interest.” Broad says, “The odor of
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 141
corruption wafted about the Oracle when at times she seemed ready
to please whoever held power.”
If the oracle at Delphi was up for sale, we might wonder whether
Socrates (or some of his supporters) may not have paid for the
oracle to make its famous pronouncement that there was no man
wiser than Socrates. Recall that this statement came in response
to Chaerephon’s question whether there was anyone wiser than
Socrates. Chaerephon was “notoriously poor” and probably used the
cheap method of consultation (Reeve, 1990, p. 29). But if someone
sent him to Delphi to get the desired answer, he might well have
brought money, gifts, or livestock he could not have provided out of
his own apparently meager resources. Indeed, what better agent to
deliver the bribe than one “notoriously poor”? The conjecture that
Socrates cheated is consistent with a reading of the Apology in which
Socrates was an expert insisting that Athens place its trust in him. In
this reading, the conflict between Greek philosophers and her “seers
and oracle mongers” (Nilsson, 1940, pp. 121–139) becomes, in this
instance at least, a struggle for power between two different groups
of experts. Plato’s Republic, on this reading, is closer to his master’s
vision than we might otherwise have thought.
Xenophon’s version of the Socrates’ story contains a passage that
may bolster the view of Socrates as expert. Meletus exclaims to him,
“I know those whom you persuaded to obey yourself rather than the
fathers who begat them.”
“I admit it,” Socrates replied, “in the case of education, for they
know that I have made the matter a study; and with regard to
health a man prefers to obey his doctor rather than his parents; in
the public assembly the citizens of Athens, I presume, obey those
whose arguments exhibit the soundest wisdom rather than their
own relations. And is it not the case that, in your choice of generals,
you set your fathers and brothers, and, bless me! your own selves
aside, by comparison with those whom you believe to be the wisest
authorities on military matters”?
down and looking for it. Just like if you dropped two dollar bills and
you see two dollar bills on the floor. You see two one dollar bills. It’s
obvious. And that’s how it looked there” (Garrett and Neufeld, 2009,
p. 56). As I point out in Koppl (2010, p. 225), two distinct human
hairs from the same head may have similar characteristics such as
color and diameter, but they will not have the number of precise and
detailed points of strict correspondence that are present by design in
two one-dollar notes.
We no longer consult augurs and oracular priests. Today’s magic
is performed through seemingly scientific procedures or, as in the case
of most forensic science examinations, subjective judgments dressed
up in scientific garb. Impossible implicit assumptions, however, may
turn science into magic. Economic experts, unfortunately, have been
only too eager to promote schemes of control and domination under
the banner of science and rational planning. I noted above the demon-
stration of Saari and Simon (1978) that “a staggering amount of
information” (p. 1099) would be required to reach equilibrium. And
I noted White’s (2005) evidence of monopoly power in the production
of macroeconomic expertise. In this situation, we have the conditions
of expert failure in strong measure.
If we are to purge magical thinking from economic science, the
Gödel–Turing phenomenon must be understood, conquered, and use-
fully mastered. Tsuji et al. (1998) provide a good example to follow.
They have a seemingly arcane result in computability theory. It has
very practical implications, however, that imply limits to the power
of the powerful. They reveal just how pervasive noncomputability is.
It is surprising to learn just how little we can figure out about the
mathematical world even of classical analysis. They cite favorably
“Wolfram’s conjecture” that “undecidability exists everywhere, even
in trivial physical theories.” They show that even finite games can
be undecidable. This almost bizarre result merits attention. In one
sense, any finite game is trivially decidable. If we have a finite num-
ber of players, each of whom has a finite number of strategies, then
we can list every strategy combination and its corresponding payoff
vector. We can simply run down this finite list and see which entries,
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 146
if any, are Nash equilibria. Citing Prasad (1991) da Costa and Doria
(2005) say “by brute force comparison we end up with the desired
equilibria” (p. 555). So far so good. But this result, they point out,
assumes we have a complete list of all strategies and payoffs “without
the mediation of any formal language” (p. 555).
Often, however, we have no such list available to us. Instead, we
describe strategies and payoffs obliquely through formal language.
Thus, as da Costa and Doria explain, finite games that seem so
trivially decidable can be described with “complicated expressions,
which may be the case when we are dealing with a model . . . of
some market.” And for some games so described, it is not possible
to compute the Nash equilibria.
Tsuji et al. (1994) show, then, that it may be impossible to com-
pute equilibria in finite games. As da Costa and Doria (2005) explain,
Tsuji et al. show that the “determination of equilibrium prices in a
competitive market” is “formally equivalent” to “determining equi-
librium in finite noncooperative Nash games,” and will sometimes
be, therefore, formally impossible. “So, the main argument in favor
of a planned economy clearly breaks down.” Yet they report, “the
equilibrium point of the market is eventually reached while we cannot
in general compute it beforehand” (pp. 38–39). The dream of a thor-
oughgoing socialist planning that replaces all market mechanisms
has been shown to be impossible and, therefore, a form of magical
thinking.
Building on Rice’s theorem, da Costa and Doria (2014) show
that “For any set of policies P there will be a state p of the economy
for which the action of those policies will be algorithmically unpre-
dictable” (p. 242). The general thrust of this and their related results
is that general regulatory schemes are impossible. Velupillai (2007)
shows that “an effective theory of economic policy is impossible”
for an economy that can be modeled as “a dynamical system capa-
ble of computation universality (2007, pp. 273, 280). He links this
important result to F. A. Hayek’s “lifelong skepticism on the scope
for policy in economies that emerge and form spontaneous orders”
(Velupillai, 2007, p. 288).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 147
For economics and other social sciences, the power in Rice’s theorem
is that it shows that Smith’s “man of system” overreaches even when
no piece has a principle of motion of its own. How much greater is
this overreach when each piece does have a principle of motion of its
own?
Whether for reasons given by Adam Smith or by Rice’s theorem,
economists and other experts should not pretend to stand above the
system like the man of system The observer is in the system, not
above it. Wolpert (2001) considers all computers in the system simul-
taneously. He shows that for any pair of computers, it is impossible
for each to reliably predict the output of the other. It follows that if
at least one private actor uses a computer as powerful as that of the
regulator, then the regulator will make mistakes.
Wolpert (2001, p. 016128-1) shows that “the universe cannot con-
tain a computer to which one can pose any arbitrary computational
task”. Any computer that exists in the world will sometimes be mis-
taken about the world. Wolpert builds on this basic result to show
that no computer in the world can predict everything about the world
ahead of time. Even if the computer could answer every question
about moment t + x given input available at time t, for at least some
questions the computer would not be able to spool out its “predic-
tion” until after t + x. In this sense, no computer can “process infor-
mation faster than the universe.” Wolpert is thinking about physics.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 149
Citing Wolpert (1996), Koppl and Rosser (2002, pp. 354–358) show
that his results about the limits of prediction apply to social science
as well. Wolpert (2001, pp. 016128-3 and 016128-14) notes that his
results are robust to the interpretation of the universe in his analy-
sis; they require only that the computers considered exist within the
system in question.
The model of the universe that Wolpert uses to get his unpre-
dictability result is so broad that it “does not rely on temporal order-
ings of events.” Thus, his unpredictability results also shows that
“no computer can infallibly predict the past” either (Wolpert, 2001,
p. 016128-1, emphasis in original). This limit, in turn, implies that
memory is fallible. Nor can there be “an infallible general purpose
observation device” or “an infallible general purpose control device”
(p. 016128-2).
Wolpert’s analysis would seem to have an intriguing theological
implication. If God intervenes in the world actively, then God is not
omniscient. If God is omniscient and unerring, it is only because he
does not interact with the world he created. This theological insight
raises a political question. If we must imagine a personal god to be
fallible, how much faith can we place in human regulators, lawgivers,
and overlords?
Wolpert’s concept of “god computer” helps to reveal limits to
error correction. He defines a god computer as “any physical com-
puter in a set of computers such that all other physical comput-
ers in that set are predictable to the god computer.” Any set of
(“pairwise-distinguishable”) computers can have at most one god
computer. A god computer is omniscient if it can predict not merely
any other individual computer in the set, but all of them simultane-
ously (Wolpert, 2001, p. 016128-10). Notice that an omniscient god
computer is “omniscient” only with respect to the outputs of other
computers in the set. One might expect that a cooperative combina-
tion of fallible computers might be able to achieve perfection through
error correction. This does not seem to be the case, however. Consider
the case of three (“pairwise-distinguishable”) computers, C 1 , C 2 , and
C 3 , where C 2 corrects the prediction C 3 makes about C 1 . “Then
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 150
(Continued)
law books lining their walls and stacked up under their tables and
on top of their cabinets.
Legal scholars in this country were once despised as charlatans.
Over the centuries, however, they grew in stature and came to
be venerated as holy men. These divines of the law were divided
into contesting schools. One group held that the law was arbitrary,
absurd, and impossible. Others held that the law itself required the
citizen to believe that all of the laws in all of the books covering the
interior spaces of the country were implicit in a few deep unifying
principles. Some went further by insisting that only one principle
unified the whole. They sought the Original Law from which it
would be possible to infer all other laws without the necessity of
studying ancient texts.
This last group was vindicated when the venerated Hilbertus
finally discovered the Original Law. The First and Original Prohi-
bition, he discovered, forbad knowledge of the law. The discovery
of this law was the highest crime recognized in the law. From
this first great taboo all other prohibitions and duties followed.
Whether from foresight or considerations of his personal safety,
Hilbertus attempted to hide the content of the Original Law from
other jurists. They quickly understood, however, the meaning of
his silence and fell into accusations and recriminations that grew
increasingly violent over time. Each disputant claimed the right to
punish the others. Ordinary citizens were drawn into the conflict,
and it became the sacred duty of every citizen to try every other
citizen for the crime of knowing the law. In the end, no one escaped
the judgment of the law.
the law if he was to avoid the severest penalty of the law. The
top-down imposition of the Original Law ensured that consistency
would be a higher legal principle than reasonableness. But consis-
tency is a harsh mistress. Like ice-nine in Vonnegut’s Cat’s Cradle,
it can transform the propositional ecosystem into a frozen wasteland.
For classical logic has no mechanism of self-correction. It is not
adaptive. In the land of Schwindler’s Fragment, the law became
an iron cage, and jurists become jailors. It might seem tempting
to imagine what might have happened if the jurists of this coun-
try had been familiar with the adaptive, paraconsistent logics of da
Costa and others (da Costa et al., 2007). But consistency seems to
have been the very point of the Original Law. Indeed, we cannot
exclude that the law was meant as vengeance against a defeated
enemy.
The legal history recounted in Schwindler’s Fragment should
serve as a kind of warning to economists. In both economics and
the country of the Fragment, the remorseless application of classical
logic to an impossible premise produces dire consequences. We may
count ourselves lucky in economics that there is an exit from bed-
lam. We can, if we choose, study the Gödel–Turing phenomenon to
understand it, conquer it, and usefully master it. Unfortunately, when
germs sponsor research, economists have every incentive to mortify,
ignore, and deny it. For economists willing to think and work inde-
pendently, however, for those economists willing to live without the
patronage of germs, the Gödel–Turing phenomenon can and will be
understood, conquered, and usefully mastered. Newton da Costa’s
work is a good place to start.
References
Arnush, M. (2005). Pilgrimage to the Oracle of Apollo at Delphi: patterns of
public and private consultation. in Elsner, J. and Rutherford, I. (eds.). Pil-
grimage in Graeco-Roman and Early Christian Antiquity: Seeing the Gods,
pp. 97–110. Oxford: Oxford University Press.
Berger, P. and Luckmann, T. (1966). The Social Construction of Reality. New
York: Anchor Books.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch04 page 155
Chapter 5
Denis J. Dean
School of Economic, Political and Policy Sciences
Program in Geospatial Sciences
The University of Texas at Dallas, TX, USA
Euel Elliott
School of Economic, Political and Policy Sciences
Program in Public Policy and Political Economy
The University of Texas at Dallas, TX, USA
1. Introduction
The study of what are commonly referred to as complex adaptive
systems (CASs) is relevant for understanding a sweeping array of
phenomena in the behavioral, life, and social sciences. The presence
of complex systems pose unique challenges for those scholars seeking
to study CASs and better understand their dynamics at different
levels of aggregation. CASs also pose important challenges for those
who seek to better understand how agents acting within these sys-
tems behave.
We begin this chapter with a discussion of CASs and their
essential features. We explore different methodologies for model-
ing CASs. In particular, we focus on the relevance of agent-based
159
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 160
1
Researchers have discovered a vast array of phenomena in the biological and
physical, as well as in the social and economic, world, which behave in a manner
that requires a quite different set of assumptions than those upon which a linear
world view were based. Much of this work was described under the unfortunately
named moniker of “chaos theory”, misnamed in the sense that we find phenomena
that while exhibiting seeming randomness and disorder, exhibit complex struc-
tures that require new methodologies to uncover. This research agenda has been
subsumed in the past two decades or so by the sciences of complexity and com-
plex systems, whereby chaotic dynamics have to be understood as being part
of a more encompassing set of processes governed by principles of emergence,
self-organization and self-organized criticality. Work by Kauffman (1993, 2000),
Holland (Holland and Miller, 1991), and others are thoroughly consistent with
this line of research. It is also worth noting that paralleling these new perspectives
in the physical, natural and social sciences, the fundamental paradigm shift in
mathematics was critical. Gödel’s startling revelations as to the incompleteness of
certain formal systems and the parallel research by Church and Turing regarding
the limits of computability added to the new perspective.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 162
4. Applications of ABMs
ABMs have been employed in a large array of research endeavors.
Schelling (1971; also see Hatna and Benenson, 2012) used a very
basic ABM with great effect in developing a model of residential
segregation. The beauty of Schelling’s segregation model was that
it demonstrated how complex and unexpected patterns of behav-
ior could result from artificial agents employing simple rules. In the
case of this particular model, it demonstrated how agents who have
no preference for living in segregated neighborhoods are driven by
the logic of the rules governing their behavior to nonetheless locate
in segregated neighborhoods. A compelling contribution by Axelrod
(1981, 1984; Axelrod and Hamilton, 1981) demonstrated the evo-
lution of cooperation; this model showed that over time, a “tit for
tat” strategy involving multiple agents allowed each individual agent
to better its situation compared to any strategy where each agent
pursued its goals independently. Axelrod’s work also provided a new
insight into traditional analytical game theoretic models such as the
prisoner’s dilemma, and similar and subsequent research is currently
producing fascinating new insights into the nature of conflict and
cooperation (see Axelrod, 1981, 1984, 1987, 1997a, b).
Another very well-known application of ABMs has come to be
known as the Anasazi project (Axtell et al., 2002). This model was
developed to generate insights into the disappearance of the Anasazi
Indians who lived in the US Southwest for hundreds (or possibly
2
Given the computational demands of such methodologies, ABM only became
feasible beginning in the 1970s, and especially in the last decade or two as com-
puting power has steadily increased.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 167
3
PSPACE is defined as the set of all decision problems solvable by a Turing
machine and computable in polynomial time.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 169
4
Specifically, the Second Welfare Theorem says that “any Pareto optimum can,
for suitably chosen prices, be supported as a competitive equilibrium” (Velupillai,
2010, p. 238).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 172
5
Besides P (polynomial time computations) there is a larger class of bounded
probabilistic polynomial (BPP) problems for which computations can be achieved
in bounded polynomial time by a randomized Turing machine (i.e., a Turing
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 173
7. What is rationality?
Humans make decisions under extraordinarily complex environmen-
tal contexts. Humans are confronted with truly daunting challenges
in decision-making. The standard argument made by mainstream
economists has been the utility maximization model. A mainstay of
economic analysis for much of the 20th century, it assumes that indi-
viduals have the computational skills to be able to optimize in what-
ever environment he or she finds oneself. Such optimizing requires
adherence on the part of the decision maker to certain canons of logic,
including, critically, the ability to select a maximal set of alternatives.
But, do most of us, at least under many circumstances, behave in
this fashion? How do we actually decide? The traditional approach
assumes, at least for the sake of mathematical tractability, that indi-
viduals exhibit a comprehensive, or unbounded, rationality in which
utility maximization lays at the heart of the mainstream economists’
toolkit of assumptions.
The preceding discussion of Velupillai and Axtell’s contributions
highlight the fact that an alternative approach to decision-making
is necessary, and that it be grounded in computational complexity
theory. Over the last few decades, the standard model of economists
has been challenged. Beginning with the work of Simon (1955, 1957),
who pioneered research into human decision-making and continuing
through the work of Kahneman and Tversky (1979, 1996) (and later
Gigerenzer, 2008; Gigerenzer and Brighton, 2009; Gigerenzer and
Gaissmaier, 2011), an alternative model, or more accurately “mod-
els”, have been proposed that can be described as cognitive behav-
ioral economics. The finer details of this research are beyond the
scope of this chapter. However, the fundamental assumption of all
these models is that individuals possess cognitive constraints. It
says that individuals act with agency, but the complexity of the
machine that at any computational step may choose from among a set of possible
transition by making a random binary decision) (see Valiant, 2013, p. 35). A still
outstanding question is “whether there exist algorithms that if they can solve any
given #P problem could be used to solve all #P problems and hence all problems
in BPP, BQP and NP” (Valiant, 2013, p. 41).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 174
6
An extremely interesting question is how, in the process of learning, novelty and
innovation arise. Learning, after all, can be merely an extrapolation of information
one has acquired. But how do fundamentally new insights come about, and can
they be explained in a computational framework? Markose (2004) shows how,
using the computational approach introduced by Binmore using game theory
(Binmore, 1987), players are modeled as universal Turing machines that can make
self-referential calculations of hostile behavior.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 178
are familiar with. While the final word in ABM is far from being writ-
ten, it seems clear that this approach has already achieved important
successes. The truly remarkable aspect of ABM is that the specifi-
cation of a relatively small number of simple rules produces highly
complex and variegated macrolevel behavior, the results of which can
be used in generating theories and hypotheses about the real world.
Thus, ABM offers ways of creating a generative social science that
can offer new insights into the micro–macro divide and provide a
potential treasure trove of theoretical insights.
The behavior of CAS more generally captures the concept of the
LOV of the world whereby agents can only have partial knowledge of
their surroundings. Different agents, situated at different locations,
reach different conclusions regarding the truth or falsity of certain
statements. These behaviors suggest the need for some rethinking of
the standard, traditional assumptions governing logic and the role of
classical logic in the social sciences.
While consistent with the principles of bounded rationality, the
actions of agents in a CAS also relate in a deep way to the con-
cept of heuristic decision-making as an alternative to the classical
utility maximization model, and more speculatively suggests impor-
tant connections between bounded rationality, heuristics, and PAC
learnability. A careful analysis of CASs provides important insights
into the foundations of computing and computability, and provides
a means of not only bridging the social sciences but establishing a
much closer link between the social and natural sciences on impor-
tant questions of computation. This is seen clearly in the work of
Hoffman, Fuchs, Valiant, and others. The theory of CASs offers great
hope for developing a synthesis of our understanding of computation,
computational complexity, its possibilities, and limits.
References
Axelrod, R. (1981). The emergency of cooperation among egoists. American Polit-
ical Science Review, 75(2), 306–318.
Axelrod, R. (1984). The Evolution of Cooperation. New York: Basic Books.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch05 page 179
Chapter 6
Denis J. Dean
School of Economic, Political and Policy Sciences
Program in Geospatial Sciences
The University of Texas at Dallas, TX, USA
Euel Elliott
School of Economic, Political and Policy Sciences
Program in Public Policy and Political Economy
The University of Texas at Dallas, TX, USA
1. Introduction
The social sciences, and more generally the human and behavioral sci-
ences, have been profoundly shaped by the assumptions of standard,
or classical logic. Classical logic is the foundation of our methodologi-
cal and epistemological assumptions and the intellectual frameworks
within which we operate. Most of us have spent our lives working
in an environment in which the assumptions of classical logic are
taken as a given. We do not suggest in this chapter that classical
logic needs to be abandoned. We do contend, however, that many
of the phenomena we encounter, not just in the physical world but
within the social sciences, do not always lend themselves to analysis
via classical logic.
183
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 184
1
The theory of cosmological inflation states that in the extremely early stages of
the expansion of the universe from its initial singularity, the universe expanded at
a rate of many multiples of the speed of light. For those objects that were part of
that initial expansion, the light from that object has yet to reach the earth. The
latest estimates are that the universe is at a minimum 80 billion light years in
diameter. It is also worth noting that the expansion of the universe under inflation
does not violate the limits imposed by the speed of light. The latter refers to the
limits of light speed within the universe, whereas with regard to cosmological
inflation we are referring to the expansion of the actual topology of the universe
itself.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 186
the universe fully within the universe itself, using what Markopoulou
(2000a, b) refers to as internal observables. His discussion of this topic
revolves around Einsteinian space–time (a topic that need not con-
cern us here), but he concludes that incomplete knowledge requires
us to apply a Heyting algebra to the problem of studying the cosmos
rather than the more conventional Boolean approach. A conventional
Boolean approach would only be applicable to an observer with a
GEV of the universe, and as originally stated, such a view is impos-
sible to anyone within the universe.
In the social sciences, and particularly in economics, it is tradi-
tional to assume that there is a single observer with full knowledge
(the idea of a social welfare function is consistent with this notion),
or that there are multiple observers all of whom see the world in the
same way and have the same information, that is the notion of homo-
geneous agents. Borrill and Tesfatsion state, regarding the theory of
relational quantum dynamics (RQM), “there are no observer depen-
dent states . . . The distinction between observer and observed, cause
and effect, are replaced by a symmetric notion of mutual observers
interacting with each other . . . Moreover, physics shares with the
social sciences the need to account for multiple observers with mul-
tiple perspectives on reality where measurements necessarily entail
perturbative interaction with persistent (information flow) traces”
(Borrill and Tesfatsion, 2011, pp. 244–245). This basic concept is
quite similar to what Soros (Smolin, 2001, pp. 31–32) describes in
his theory of reflexivity, which essentially assumes a kind of positive
feedback process in which one observer makes a decision on the basis
of what they observe another observer doing, in turn, influencing the
original observer, and so on. This kind of positive feedback system
can explain bubbles, or antibubbles, in financial markets and sug-
gests that market participants are just that, participants who are
unavoidably part of an evolving and co-evolving self-referential kind
of process. There is no objective reality outside of the market, because
everyone participating is inside the market’s frame of reference.
The observer in the universe, as we have noted, is limited by the
speed of light, so different observers will draw different conclusions
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 187
from different facts. The observer in the world is limited by the behav-
ior of others around them and the continually evolving interactions
with their human and physical environment. We think of those in the
hard sciences as observing and measuring the systems they observe;
they are “outside the frame.” However, as physicists are becoming
increasingly aware (Rovelli, 1996), physics cannot be complete until
it confronts the problems posed by having multiple observers imbed-
ded in the universe (or world where measurements are local and
relative to each other and whose interactions can potentially alter
its course (Borrill and Tesfatsion, 2011). Indeed, quantum physics
long ago reconciled itself to the idea with the critical insight that
one cannot know simultaneously both the location and momentum
of a particle. One can know one or the other, but the more one
tries to know one variable, the greater the uncertainty regarding the
other. We argue, as do Borrill and Tesfatsion (2011), that some of
the lessons drawn from physics should be applicable to our efforts to
better understand the observer–observed relationship in the behav-
ioral and social sciences. The notion that there may not necessarily
be a single GEV perspective regarding all phenomena has support in
areas of research ranging from quantum physics to cognitive science.
Fuchs’ (2014, 2010) research into quantum Bayesian approaches to
reality provide new insights. The traditional assumption of quantum
theory is that a wave function describes the complete state of some
aspects of the world, and the shape of the wave function essentially
encodes the probabilities of the outcomes of measurements that any
observer chooses to make. At this point, the quantum view of real-
ity is still very much grounded in the traditional notion of a third
person observer who observes some single view of reality. Fuchs and
his colleagues interpret the wave function’s probabilities as Bayesian
probabilities or subjective degrees of belief about the system. Accord-
ing to Quantum Bayesianism (QBism), the wave function’s collapse
is the observer updating his or her beliefs after taking a measurement
or making an observation. Whereas the Copenhagen interpretation
of quantum behavior requires there be an observer representing a
GEV of the world, Fuchs treats the wave function as one observer’s
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 188
subjective knowledge about the world (Fuchs 2014, 2010). One might
consider certain analogs to Fuchs’ quantum Bayesianism as being
applicable to social interactions with multiple observers having mul-
tiple subjective perspectives.
The cognitive scientist David Hoffman suggests, controversially,
that the traditional assumption that our perceptions represent a rea-
sonably accurate, although not perfect, representation of the real
world has to be discarded. Otherwise, so goes the argument, evolu-
tion would have prevented the human race from achieving its current
status because of its inability to adapt to the environment. Evolution,
so it is argued, must produce organisms whose perception of the envi-
ronment matches reasonably well with reality. Hoffman rejects this
argument, stressing that it assumes a strong correspondence between
truth and fitness, when in fact truth, or objective facts has little to
do with whether or not the organism is fit from an evolutionary
standpoint. For Hoffman, what describes the world are conscious
agents, all with a first-person point of view, who interact with each
other. There is no single, objective third-person perspective. This
“conscious realism” is based upon a perspective that says that the
idea that we as individuals are capable of measuring, or perceiving,
the same object at the same time in the same place and get the same
results is simply wrong, and runs counter to everything learned in
quantum physics over the last several decades (Hoffman, 2008, 2014;
Hoffman and Singh, 2012).
2
See Bridges (1999) for an excellent discussion of intuitionistic logic and construc-
tivist mathematics.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 190
3
One of the great advantages of agent based modeling is its ability to model
processes in which one does not assume homogeneity of agents, unlike the assump-
tions of traditional utility minimizing standard economic theory. Velupillai (see
later discussion) makes a point of applauding the utility of ABM for modeling
complex environments.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 191
4
Specifically, the Second Welfare Theorem says that “any Pareto optimum can,
for suitably chosen prices, be supported as a competitive equilibrium” (Velupillai,
2005, p. 238).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 193
5
The existence of Gödelian dilemma is no different than Turing’s undecidabil-
ity problem. Turing approaches the problem of knowing from a computational
perspective rather as formal logical perspectives. For Turing, there are problems
for which solutions exist using a Turing machine (an abstract computing device),
but for which we cannot know when the correct answer has been obtained. Thus,
certain problems are noncomputable. Both Gödel and Turing illustrate that there
are important cases where truth cannot be known in any final sense.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 194
4. Logical contradictions
Logical contradictions and inconsistencies appear in both the physi-
cal world and social world and others, perhaps most relevant, among
those studying artificial intelligence. Consider a contemporary prob-
lem in particle physics that has yet to be resolved. Referred to as
the “proton radius problem,” recent efforts to make a more precise
measurement of the radius of the proton, the most common sub-
atomic particle found in nature, have created more heat than light.
Efforts to more accurately measure the proton using two highly com-
plementary experiments have yielded substantially differing results.
As Pohl et al. (2010) and Bernauer et al. (2010) suggest, physicists
do not fully understand the proton, or we do not understand the
physics that goes into our understanding of the proton. In either
case, we have a situation where careful research has yielded inconsis-
tent findings. We do not know which is correct, or whether, perhaps
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 196
in some way unbeknown to us, and perhaps caused by the very act
of measurement itself, both values could be correct in different con-
texts. Given this degree of uncertainty, one could argue that classical
logic is not epistemologically sufficient to allow for a more complete
understanding of the phenomenon.
Other examples of inconsistencies abound. The classic example
is the liar’s paradox, as exemplified by “this sentence is not true,”
or “everything I say is a lie.” Either the two statements are true, or
not. If true, then what they say is, in fact, the case. If not true, then
that is what it says. The statements are, or can be, both true and
not true.
McAllister (2007, 2010–2012) provides a radical approach to our
understanding of inconsistent observations expressed in the form of
empirical data sets. He shows how different data patterns do not
have to be interpreted in a way that suggests only a single pattern
represents a true or correct interpretation about the structure of the
world.
Are there certain phenomena that exist in the world for which
it is not possible to determine, given the information available at a
particular time, the truth or falsity of a particular claim? For exam-
ple, there may be competing theories about true phenomena; and we
have believed that through the application of certain epistemological
principles, the truth or falsity of certain claims can be discovered.
But what if that is not the case?
Logical positivists hold that if any claim is true or false, then
there are observations that can be made which would prove the
truth or falsity of the claim. Quine showed that no claim is ever
tested against particular observations, but that the evidence for any
particular hypothesis is mediated by other assumptions that depend
upon our background theory. Thus we might agree about a particular
observation, but disagree as to how to interpret that finding. McAl-
lister goes beyond Quine and notes the assertion that any empirical
data sets exhibit all possible patterns, which each pattern exhibiting
a certain error term. Moreover, all patterns exhibited in the dataset
constitute evidence of a particular pattern about the world. Thus,
the world contains all possible structures.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 197
world” and this very fact influences the behavior of others, and their
behavior, in turn, influences one’s own behavior. It is something like
the social analog of quantum theory, whereby we know that the mere
act of seeking to observe a subatomic particle alters the behavior of
the particle. This concept is very similar to what Soros has described
as the theory of reflexivity (Smolin, 2001) discussed earlier.6 By its
very nature, reflexivity generates a higher nonlinear feedback loop,
the result of which is that cause and effect are interdependent. An
observer in the social world observes (and acts) only within the sys-
tem and has knowledge of that part of the system over which they
have knowledge.
The above discussion has suggested that highly complex systems
may generate empirical data that can provide support for multiple
interpretations of phenomena of interest. Moreover, as our computa-
tional capabilities increase, the chances may also increase (under cer-
tain circumstances) the uncertainty with which any particular model
can be considered a correct interpretation of the world. Thus under
such conditions, traditional concepts of logic may require substantial
revision.
Highly complex phenomena also play another role in forcing a
reevaluation of the applicability of standard logic under certain con-
ditions, our subjective evaluations of the world are affected. We live
in a world characterized by multiple, often overlapping complex sys-
tems that exist at different levels and different spans of influence.
We have already discussed the basic characteristics of those systems.
They are interconnected, with each part responding to the other
in often nonlinear ways. Positive feedback loops are a common fea-
ture, and such feedback loops assume that equilibrium outcomes can-
not be obtained. Under these extraordinarily complex environmental
contexts, humans are confronted with truly daunting challenges in
decision-making.
The standard approach used by mainstream economists has been
the utility maximization model. A mainstay of economic analysis
6
Smolin acknowledges that reflexivity does not precisely describe a topos theoretic
reality, but does capture the essence of such processes (Smolin, 2001, p. 32).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 200
for much of the 20th century, it assumes that individuals have the
computational skills to be able to optimize in whatever environment
he or she finds oneself. Such optimizing requires adherence on the
part of the decision maker to certain canons of logic. But, do most
of us, at least under many circumstances, behave in this fashion?
How do we actually decide? The traditional approach assumes that
individuals exhibit a comprehensive, or unbounded, rationality.
Over the last few decades, the standard model of economists has
been challenged. Beginning with the work of Simon (1955, 1957), who
pioneered this research and continuing through the work of Kahne-
man and Tversky (1979, 1996), and Gigerenzer (2008), and Gigeren-
zer and Brighton (2009), an alternative model has been proposed.
The fundamental assumption is that individuals are boundedly ratio-
nal. A term coined by Simon, the concept of bounded rationality
has been vastly misunderstood. It does not simply mean optimiza-
tion under constraints, nor does it refer to irrationality. It says that
individuals act with agency, but the complexity of the task environ-
ment creates challenges that our cognitive architecture cannot han-
dle. Thus, we develop alternative strategies for decision-making. For
example, we limit the number of alternatives from which to choose;
we develop cues or heuristic devices (cognitive roadmaps) or heuris-
tics to guide our decision-making.
The concept of heuristics is very important; heuristics are simple
efficient rules governing how individuals will act under certain cir-
cumstances. Gigerenzer, a leading theorist in the study of decision-
making, refers to “fast and frugal heuristics”. Gigerenzer has also
published numerous studies that demonstrate that heuristic-based
decision-making does not necessarily yield inferior results compared
to more orthodox models of decision-making. Indeed, heuristics can
offer superior outcomes. While the details cannot concern us here,
we suggest that heuristics require at some level a relaxation of stan-
dard logic. The more complex the decision-making environment, the
greater the likelihood that traditional logic is relaxed in favor of
a dynamic and variegated series of cognitive maps that guide our
passage through complex and uncertain environments.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 201
5. Conclusion
We suggest here that the long-standing belief of the social sciences
in classical logic, and its attendant’s reliance needs revision. While
not suggesting that there is a need to abandon classical logic, we
suggest that the social sciences will benefit from certain nonstandard
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 203
References
Aragones, E., Gilboa, I., Postelwaite, A., & Schmeidler, D. (2005). Fact-free learn-
ing. The American Economic Review, 95(5), 1355–1368.
Axtell, R. L., et al. (2002). Population growth and collapse in a multi-agent model
of the Kayenta anasazi in the long house valley. Proceedings of the National
Academy of Sciences, 99, 7275–7279.
Barabási, A.-L. (2002). Linked: The New Science of Networks. New York: Perseus
Books Group.
Bernauer, J. C., et al. (2010). High-precision determination of the electric and
magnetic form factors of the proton. Physical Review Letters, 105(24).
Bishop, E. (1967). Foundations of Constructive Analysis. New York: McGraw-
Hill.
Bondy, J. A. and Murty, U. S. (2008). Graph Theory. New York: Springer.
Borrill, P. L. and Tesfatsion, L. (2011). Agent-based Modeling: The Right Mathe-
matics for the Social Sciences? Ames: Iowa State University-Department of
Economics.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch06 page 204
Chapter 7
Is Economics a Science?
A Gödelian Perspective
Sami Al-Suwailem
Islamic Development Bank Group,
Jeddah, Saudi Arabia
1. Introduction
Emanuel Derman, director of the Financial Engineering Program at
Columbia University, and probably the first “quant” on Wall Street
with a Ph.D. in particle physics, makes some interesting comparisons
between financial engineering and (real) engineering.
According to Derman (2007), science — mechanics, electrody-
namics, molecular biology, and so on — seeks to discover the funda-
mental principles that describe the world. Engineering is about using
those principles constructively for a useful purpose. Thus, mechan-
ical engineering is based on Newton’s laws. Electrical engineering
is based on Maxwell’s equations and solid-state physics. Similarly,
bioengineering is based on the principles of biochemistry, physiology,
and molecular biology. Derman then asks the obvious question: what
is the science behind financial engineering? Having spent about 30
207
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 208
1
From now on, by “economics” we mean mainstream economics, particularly neo-
classical theory, unless otherwise stated.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 209
(1) Explanation;
(2) Prediction.
Price of prediction
The ability to quantitatively predict the future using mathemati-
cal models is unquestionably a valuable objective of science. But
it comes at a price. The price is the abstraction and the simplify-
ing assumptions that must be adopted for the mathematical model
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 212
Similar comments were made prior to the crisis by Robert Lucas and
Ben Bernanke (see Keen, 2011, pp. 203–267), among others.
For mainstream economics, the Global Financial Crisis is an out-
lier that could have never been predicted. Lucas (2009) writes in The
Economist:
One thing we are not going to have, now or ever, is a set of models
that forecasts sudden falls in the value of financial assets,2 like the
declines that followed the failure of Lehman Brothers.
2
A “sudden” event is not foreseeable by definition.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 214
Conservation laws
Arguably, the most important principle that had a major impact on
the development of science was conservation laws. Scientists since
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 216
they think they can get more energy than they have. None of these
machines stood the test.
To be precise, there are two kinds of perpetual motion (Dewdney,
2004):
The first type is inherently present in the universe. A body mov-
ing in outer space, that is, without friction, will stay moving as long as
nothing interrupts it. This is Newton’s first law of motion. Electrons
are in continuous motion in atoms. Atoms and molecules are con-
tinuously moving in what is known as “molecular chaos,” producing
the Brownian motion. This motion does not decay or degrade but
might be transferred from one molecule to another, in which case,
one will become slower while the other will become faster. However,
total energy is conserved: no atom or molecule will generate more
energy than it possesses.
The second type of perpetual motion is the one in which the
system is able to generate more energy than what it starts with,
without any external source of energy. In other words, a PMM is
able to not only use its energy with 100% efficiency but is also able
to generate additional energy to produce additional work. PMMs,
therefore, violate the conservation law. The conservation law is a
universal law; it applies to both classical and quantum physics. No
PMM can, therefore, exist, neither at the classical level nor the quan-
tum level.
existence of a particle or a force that was not accounted for. Time and
again, the results confirm conservation of energy (Lightman, 2000,
pp. 55–57; Schumacher, 2010, Lecture 4).
One important feature of conservation laws is that they are
deeply ingrained in the universe. There are many local or detailed
laws governing various forms of matter and energy. But, “across the
variety of these detailed laws there sweep great general principles
which all the laws seem to follow,” such as the principles of conser-
vation, notes Feynman (1965, p. 53).
This means that the impossibility of PMM is deeply rooted in the
laws of the universe. Mathematician and computer scientist Dewd-
ney (2004) points out that, for each proposal of a PMM, we might
simply revert to the general principle of the conservation law and
conclude that this proposal is not workable. Alternatively, we might
analyze each step in the proposed scheme, only to find out that it
is actually impossible, even without invoking the conservation law.
That is, if we analyze each step employing the simplest physical and
mathematical concepts, as Dewdney points out, we always arrive at
the same conclusion: The machine is impossible. Dewdney elaborates
(p. 27):
system level and the local rules at the parts’ level, complement each
other. Nature is internally consistent, from the bottom-up.
Economic theory lacks the system-level perspective when study-
ing economic activities. It focusses on individual agents, and at the
margin, but pays little attention to the system as a whole (as we
shall see later). This gap leads to divergence of the microbehavior
from the macroperformance. It frequently leads to the “fallacy of
composition,” whereby the payoffs of the individual are at odds with
the overall outcome.
Furthermore, economic theory adopts “expected utility”
approach, whereby what matters is ex ante, that is, expected values,
not actual ex post outcomes. Conservation Laws, in contrast, apply
before and after the transformation. Total energy at the start must
equal total energy at the end. A PMM is always impossible, not “on
average.” We shall see later how these aspects impact the approach
of neoclassical theory toward analyzing economic phenomena.
3
It should be pointed out that paraconsistent logic does not violate the LNC.
Paraconsistent logic accommodates inconsistency in a sensible manner that treats
inconsistent information as informative. However, it does not entail the view that
there are true contradictions (Priest et al., 2013).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 221
We shall see later how this fact relates to the (mis)use of mathematics
in economics and in science in general.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 222
4
In an exchange, the ex ante payoffs of the two parties are supposed to be equal.
In a zero-sum game, this implies, ex post, that 1 = −1.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 223
p(2) is true, then p(1) says that it is false, which is true, and we end
up with a similar contradiction. Put differently, if p(1) is true, p(2)
becomes a Liar; if p(2) is true, p(1) becomes a Liar.
Another way to phrase a zero-sum game in a Liar-style structure
is the one proposed by Daynes et al. (2015, p. 40):
Paradoxes such as the Liar have no stable truth value: from one
perspective, they are true, from the other, they are false. They are,
therefore, “logically unstable” assertions (see Kremer, 2014; Bolan-
der, 2014). When such paradoxes are translated into a programming
code, they create an infinite loop, which, if implemented on a physical
machine, will exhaust its resources and result in a crash (see Stuart,
2013, p. 263).
Accordingly, if market activities involve such contradictions, the
market will likely involve instability, since players are “forever at
each other’s throat,” as Gardner points out. Instability can also be
inferred from the violation of conservation laws, as we shall see in
the next section.
Enter Gödel
Kurt Gödel (1906–1978) was the greatest logician in the 20th cen-
tury and was considered by the best minds of his contemporaries as
possibly the greatest logician of all time since Aristotle (Wang, 1996;
Dawson, 1997). Following Wang (1996, p. 3), a long-time pupil of
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 224
5
There are many introductory expositions of Gödel’s work to the common reader.
For example, Nagel and Newman (1958), Hofstadter (1979), Kline (1980), Berto
(2009), and Chaitin et al. (2012), in addition to the first chapter of this volume
by F. A. Doria.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 225
then we can see how formal and physical systems can be analogous to
each other: consistency implies incompleteness; conservation implies
emergence.
In economics, scarcity is the first principle that governs market
activities. Scarcity in economics plays a comparable role to conserva-
tion in natural systems (Mirowski, 1989, p. 218). In both, we cannot
get something from nothing, which is the same logic for mathemat-
ical consistency. Emergence in economics is reflected in growth and
surplus value, as will be discussed shortly.
There is something problematic here. How is it that invariance
implies novelty, predictability implies unpredictability, decidability
implies undecidability, and scarcity implies abundance? Philosopher
Emily Meyerson points out to this tension and suggests a reconcilia-
tion. We might have a set of given elements, but the arrangements of
these elements can create different manifolds, “just as with the aid of
the same letters one can compose a tragedy or a comedy” (Meyerson,
1930, pp. 92–93). Examples from science include magnetism and
other phase-transition phenomena, which arise due to reorganization
without changing the underlying molecules (Ball, 2004). More on the
role of organization in emergence follows shortly.
This duality might tell us something about the universe we live
in: It is continuously balancing change and persistence. If there were
only change, it will be completely unpredictable, and life would not
flourish in such a chaotic environment. On the other hand, if it were
completely stagnant, life would not have been possible as well. We,
therefore, live in a complex world “at the edge of chaos,” a character-
istic feature of complex systems (Kauffman, 1995, p. 26). As Barrow
(1998, p. 191) elaborates, the universe has constraints without which
there would be no patterns in nature. Further,
Economic constraints
There are two conditions that typically constrain the behavior of
rational agents in economic models: (1) transversality condition
(TVC), together with its mirror condition: no Ponzi game (NPG),
and (2) Walras’ law.
In simple terms, the TVC prevents overaccumulation of wealth
or savings (Kamihigashi, 2008). TVC requires that the present dis-
counted value of the agent’s consumption matches the present dis-
counted value of his savings. In other words, asymptotically, the agent
shall consume all his savings in the course of his (infinite) lifetime.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 232
Walras’ law
The second economic constraint is Walras’ law. The basic idea behind
this law is simple: in a market economy, for each purchase, there is
a sale and vice versa. Thus, for each demand there is supply, and
vice versa. It follows that whenever there is an excess demand in one
market, there is an excess supply in another, such that the value of
total aggregate excess demand has to be zero. Walras’ law captures
the interdependence between markets implied by the budgetary con-
straint that all individual agents must take into account when they
formulate purchase and sales plans. As Dixon (2008) points out, the
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 234
Alchemy of finance
Failure of mainstream economics to impose conservation laws opened
the door widely to all kinds of “financial alchemies”: financial con-
tracts derived from other financial contracts derived from — without
limit. Financial markets became, using the words of Keynes (1936,
p. 159) and Nobel laureate Maurice Allais (1989), gigantic casinos
of betting on betting on betting, on economic activities. Financial
activities are no more anchored in the real economy. Former chair-
man of the Federal Reserve System, Paul Volcker, in an interview,
reports that he was attending a business conference, where he found
himself sitting next to one of the inventors of financial engineering
who won a Nobel Prize. Volcker recalls (Murry, 2009):
I nudged him and asked what all the financial engineering does
for the economy and what it does for productivity? Much to my
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 236
One feels that the real world of tools, plants, and inventory con-
trasts with the purely financial dream world of indefinite group
self-fulfillment. But can this feeling be given documentation and
plausible explication?
6
In fact, arithmetic truth is not formalizable in any elementary formal system.
See Smullyan (2013, Chap. XIX).
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 240
Let us move a step further and ask the following question: Is there
any “benefit” from having an unstable system? Mathematician Ian
Stewart (2013, p. 313) provides an answer:
6. Perpetual growth
Long-term growth is necessary for improving living standards and
the quality of life. It is the engine for development and material
prosperity. These are facts that we can observe and verify over the
past 200 years in many parts of the world.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 242
The market cannot by itself register the cost of its own increasing
scale relative to the ecosystem. Market prices measure the scarcity
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 244
Is risk quantifiable?
Is it possible to quantify the risks facing a growing economy? Can
we systematically compute the distribution of resources, output, and
returns, so that we can calculate the likelihood and magnitude of
economic expansions and downturns?
Based on the work of da Costa and Doria (2005), among others,
we argue that, in principle, this is not possible (see Al-Suwailem et al.,
2016). Even if we have the most comprehensive mathematical model
of the economy with the most comprehensive and accurate data and
the most powerful computing power, Gödel’s incompleteness theorem
shows that there are fundamental limits to our ability to predict
the future and therefore to quantify the risks ahead. There is no
systematic way to compute and quantify risk.
Another way to see this result is that, for a growing economy,
if we were able to quantify systematically the risks facing the econ-
omy, then, in a complete world akin to that of Arrow (1964), we
can design a perfect insurance system to hedge these risks. This will
allow the economy to achieve perpetual growth and generate riskless
returns. But, the latter is impossible. It follows that risk cannot be
quantifiable. We will not be able to build an insurance system that
fully neutralizes risk. Risk is inevitable.
Risk–return relationship
A well-documented economic phenomenon is the positive correlation
between risk and returns. “The tradeoff between risk and expected
return is the most fundamental notion in modern finance” (Poitras,
2010, p. 44). The phenomenon might be explained based on the laws
of thermodynamics. We have seen that the first law, the conser-
vation law, implies that growth cannot continue forever, and thus,
there is always a risk emanating from the impossibility of perpetual
motion.
If we take the second law into account, then there is another
source of risk: the wear and tear of capital and physical systems.
The second law states that it is impossible in real-world systems to
transform energy entirely to work; some of it will be transformed into
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 248
heat and useless energy. Put differently, efficiency can never reach
100% in real-world processes. There will always be a leakage, called
entropy. Entropy, the measure of useless energy, always tends to rise
in any real-world process of energy transformation.
Faster processes, however, tend to produce more entropy per unit
of energy per unit of time than slower processes, other things being
equal. Hypothetically, an infinitely slow process produces no entropy.
Such processes are perfectly reversible. Real-life processes produce
entropy and are, therefore, irreversible. The faster the process is, the
higher the entropy it produces per unit of energy per unit of time
(Handscombe and Patterson, 2004; Schmitz, 2007). “Haste makes
waste” is an age-old wisdom that probably reflects the nature of
entropy (Rifkin, 2011, p. 207).
From an economic point of view, faster production implies lower
efficiency. Also, with fast production, a larger proportion of capital is
diverted toward activities that are not directly related to production
but rather to the delivery of the product in a shorter period. Hence,
for a given amount of capital, there will be a higher chance that
output will not be sufficient to recover the capital and the expected
rate of return. The well-established risk–return relationship might
therefore very well originate from the laws of thermodynamics.
If entropy correlates with risk, then there is an additional reason
why we cannot have a riskless system. The third law of thermody-
namics states that we can never reach absolute zero. This means that
entropy of a system cannot be zero. Although we may hypothetically
have a zero-entropy process, that is, a process that produces zero-
entropy, the total entropy of the system nonetheless will not be zero.
Since entropy correlates with risk, the third law clearly prohibits
having a zero-risk system.
If we take into account that entropy indicates missing informa-
tion (Pierce, 1980; Schumacher, 2015), then a zero-entropy system
does not have any potential for new information whatsoever. All the
information has been utilized. The third law prevents this outcome.
Unfortunately, neoclassical theory assumes agents (and economists)
to have complete and full information of the system. A riskless rate
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 249
7. Synopsis
We have so far presented two sets of characteristics of science: (1)
explanation and prediction; and (2) conservation laws. These two
sets are interconnected. As already discussed, failure to satisfy con-
servation of energy implies the failure of the system to be time-
invariant, and thus the system becomes inherently unstable. Without
the framework provided by the principles of invariance and conser-
vation, crashes and crises seem unexplainable, let alone predictable.
Conservation laws, therefore, provide us with a framework that
helps us explain and predict, qualitatively at least, major economic
events.
As has been argued, there seems to be a deep connection between
conservation laws in science and consistency in formal systems. To
get something out of nothing is equivalent to having 1 = 0, a
contradiction that renders the system inconsistent. Consistency in
mathematics and conservation in physics, therefore, seem to have a
common thread. As Richard Feynman (1965, p. 28) writes: “Nature
uses only the longest threads to weave her patterns, so each small
piece of her fabric reveals the organization of the entire tapestry.”
7
www.er.ethz.ch.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 250
There is a lot to learn from science, for the simple reason that it is
as rich and elegant as nature. But most important is the relationship
between science and mathematics. For science, mathematics is a tool,
albeit an important and indispensable one. The scientist’s primary
objective is to understand and control natural phenomena. Smith
(2008, p. xv), again, notes that formal economic modeling has little
to do with how subjects in the lab or participants in real markets
actually perform in real time. This observation has nothing to do
with theoretical sophistication;
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 254
Paul Romer, the chief economist at World Bank, compares the fall
of science in physics, as in string theory, to the fall of science in
economics. He notes that “the parallel is that developments in both
string theory and post-real macroeconomics illustrate a general fail-
ure mode of a scientific field that relies on mathematical theory”
(Romer, 2015, p. 15).
9. Conclusion
The table below summarizes the main differences between neoclas-
sical economics and modern science, based on which we can draw
valuable lessons to learn.
Acknowledgments
The author is indebted to professor Francisco A. Doria for valu-
able discussions and generous comments. The author also acknowl-
edges helpful comments of professors Herman Daly, University of
Maryland, USA; Cars Hommes, University of Amsterdam, Nether-
lands; M. Abdellah El Idrissi, Mohamed V University, Morocco; Nabil
Maghribi, Wakayama University, Japan; Richard Muller, University
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 259
References
Al-Suwailem, S. (2010). Behavioural complexity. Journal of Economic Surveys,
25, 481–506.
Al-Suwailem, S. (2014). Complexity and endogenous instability. Research in Inter-
national Business and Finance, 30, 393–410.
Al-Suwailem, S., Doria, F. A. and Kamel, M. (2017). Is risk quantifiable? in
Complex Systems Modeling and Simulation in Economics and Finance, Chen,
S.-H., Kao, Y.-F., Venkatachalam, R. and Du, Y.-R. (eds.), Springer, Pro-
ceedings in Complexity, forthcoming.
Allais, M. (1989). Wall street has become a veritable casino. Wall Street Journal,
Oct. 26.
Allen, F. and Gorton, G. (2012). Churning bubbles. in New Perspectives on Asset
Price Bubbles, Evanoff, D., Kaufman, G. and Malliaris, A. (eds.). pp. 13–40.
Oxford University Press. The paper was originally published in Review of
Economic Studies, 1993, 60, 813–836.
Antinolfi, G. and Keister, T. (1998). Options and sunspots in a simple monetary
economy. Economic Theory, 11, 295–315.
Arrow, K. (1964). The role of securities in the optimal allocation of risk-bearing.
The Review of Economic Studies, 31, 91–96.
Ball, P. (2004). Critical Mass: How One Thing Leads to Another. Farrar, Straus,
and Giroux.
Barro, R. and Sala-i-Martin, X. (2003). Economic Growth. MIT Press.
Barrow, J. (1998). Impossibility: The Limits of Science and the Science of Limits.
Oxford University Press.
Beall, J. C. (2001). Is Yablo’s paradox non-circular? Analysis, 61(3), 176–187.
Benhabib, J. (ed.). (1992). Cycles and Chaos in Economic Equilibrium. Princeton
University Press.
Benjamin, A. (2015). The Magic of Math. Basic Books.
Bernstein, P. (2007a). Capital Ideas Evolving. John Wiley & Sons.
Bernstein, P. (2007b). Capital Ideas: Past, Present, and Future, Lecture delivered
at CFA Institute Annual Conference.
Berto, F. (2009). There’s Something About Gödel: The Complete Guide to the
Incompleteness Theorem. Blackwell.
Bezemer, D. (2011). The credit crisis and recession as a paradigm test. Journal
of Economic Issues, XLV, 1–18.
Blanchard, O. (2000). What do we know about macroeconomics that Fisher and
Wicksell did not? Quarterly Journal of Economics, 115, 1375–1409.
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-ch07 page 260
Index
A Borges, x
Abraham–Marsden, 15 bounded rationality, 200
Ackermann’s, 84 Brouwer, 111, 116
Adler, 33 bubbles, 229–230, 241, 257
Al-Suwailem, xii Burali–Forti paradox, 96
Alan Turing, 99 Busy Beaver, 70
algorithmic, ix
algorithmic information theory, 101 C
Anasazi project, 166 calculus ratiocinator, 93
Andrey Kolmogorov, 103 Carnap, 117
arithmetical hierarchy, 44 category theory, 194
Arnold, xiii, 52 Cauchy, 162
Arrow’s, 128 cellular automata, 164, 189
Arrow–Debreu, 52 Chaitin, ix
artificial neural networks (ANNs), 163 chaos theory, vii
ash, 48 characteristica universalis, 93
astrology, 250 Cho, 18
autonomous differential, vii Christiaan Huygens, 93
axiom of choice, 7 Chuaqui, 21
axioms of physics, 10 classical logic, 168
classical logical language, x
B classical mechanics, 6
Baker, 82 climate change, 243
Bargmann–Wigner, 32 cohesive groups, 120
Becchio, x cohesive social groups, 128
Ben-David, 2 complex adaptive systems (CAS), 201
Bernoulli, 113–114 configurations, 79
BGS, 82–83 conservation, 227
BGS-like, 73 conservation laws, 215, 229, 257
Bochvar, 117 conservation principle, 228
Bohr–Sommerfeld, 19 consistency, 224, 227
Boole’s, 115 consistency in formal systems, 249
267
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-index page 268
Index 269
Hamiltonian, 6 L
Hamiltonian mechanics, 27 Lagrangian, ix, 6
Hanh, 117 Lanczos, 14
Hari Seldon, vii Lange, 57
Hayek, 118 law of excluded middle, 116, 190
Hertz, 14 law of identity, 220
heuristic decision making, 190 law of non-contradiction, 220
heuristics, 174 Leibniz, 92
Heyting, 116 Lewis, viii
Hilbert’s sixth problem, 10 liar’s paradox, 150, 222
Hirsch’s, 14 Lie, 10, 28
Hyman Minsky Prize for limits, 3
Distinguished Performance in limits of prediction, 149
Macroeconomics, xii local observer view, 184
local observer viewpoint (LOV), 169
I logic, 111
imperative logic, 127 logic of ethics, 120
Inagaki, 57 logical contradictions, 195
incompleteness, ix, 1 logical positivists, 196
incompleteness theorem, 99, 224 logical tolerance, 117
information, 135, 248 logical-deductive method to social
information choice theory, 142 sciences, 112
intuitionistic logic, 188 Lorentz–Poincaré, 26
invariance, 225–227 Lorenz, E., vii, 13
Isaac Asimov, vii Lotka–Volterra, vii, 58
Lucas critique, 233
J Luce, 127–128
Jaskowski, 117 L
ukasievicz, 116–117, 122
Jonathan Swift’s, 92
M
K MacLane’s, 15
Kabbalah, 92 magical thinking, 134
Kaluza, 18 Mally, 124–125
Kant, 119, 128 many-valued logic, 116
Karl Menger’s, x, 111, 114–115, market, 79
118–121, 125, 127–129 mathematical expectation, 114
Kleene, 7, 117 Maxwell’s, 16
Klein, 18 maximization, 120
Knight, 48 Mayer, 113
Koppl, x Maymin’s, 79
Kraft, 106 messenger problem, 115
Kreisel, G., 66 meta-market, 252
Kronecker, 116 meta-mathematics, 98, 252
Kurt Gödel, 97 metacognition, 253
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-index page 270
Index 271
Ruelle, 62 T
Russell, x, 95, 115–116 Takens, 62
theology, 94
S theoretical physics, 6
theory of economic policy, 146
Samuelson, P., 33
theory of everything (see also TOE),
Samuelson’s dictum, 251
92
scarcity, 226–227, 258 theta function, 4
Scarpellini, 33 third law of thermodynamics, 216,
School of Economic, Political and 248
Policy Sciences at the University of Tonnelat, 18
Texas at Dallas, xii Topos theory, 194
Schrödinger, 6, 115 trade, 228–229
Schrödinger–Heisenberg–Dirac, 19 transversality condition, 231
scientific law, 214 Trautmann, 18
second law of thermodynamics, 216 truth value, 238
second welfare theorem, 192 Tsuji, viii
Seligman, 57 tubular neighborhood theorem, ix
Shannon, 106 Turing machine, 167, 189
Smale, 63
small world simulation, 189 U
social dilemmas, 251 uncertainty, 111, 113
social group, 120 uncomputability, 99
social sciences, ix, 121, 129 undecidability, ix
Solomonoff, 103 Unicamp, xii
universal computer, 102
something from nothing, 226
universal polynomial, 42
St. Petersburg paradox, 111–113
universal Turing machine, 192
standard logic, 111, 116 utility maximization model, 199
standard logic (the ordinary 2-valued Utiyama, 17
logic) and the n-valued logics of
Post and L ukasiewicz, 112 V
Steenrod’s, 15
2-valued logic, 122
Sternberg’s, 15
2-valued system, 116
Stevin’s principle, 245 van der Waerden, 19
Stratton’s, 16 Velupillai, viii
string theory, 256 Verhulst, 63
substitutive goods, 126 von Neumann, 98
sunspot equilibrium, 238
Suppes predicates, 2, 5 W
surplus value, 227–229 Walras’ law, 231, 233
sustainable development goals, 243 Weyl, H., 17
symmetry, 240, 246 Wightman, 19
system of norms, 120 Willard Gibbs, 16
May 11, 2017 17:46 The Limits of Mathematical Modeling in the Social Sciences 9in x 6in b2809-index page 272