1 Discontinuity in Economic Theory and Economic Discontinuities.- 1.1 Some Initial Remarks.- 1.2 Discontinuity in the Large and in the Small.- 1.3 The Role of Perspective and the Identification of… Expand

We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable, and that simple consistency implies the non-existence of an Entscheidungsverfahren (a strengthening of the result in the last paragraph of Church).Expand

This paper is an attempt to explain as non-technically as possible the principles and devices used in the various proofs of Godel's Theorems and Church's Theorem.Expand

Price fluctuations under adaptive learning in renewable resourcemarkets such as fisheries are examined. Optimal fisherymanagement with logistic fish pOpUlation growth implies a backward-bending,… Expand

This paper gives an account of both the lambda-calculus and its close relative, the combinatory calculus, and explains why they are of such importance for computer software.Expand