Risultati ricerca

Abstract/Sommario: A model of general economic equilibrium - A note on J. von Neumann's article on "A model of economic equilibrium" - On a two-sector model of economic growth - Note un Uzawa's two-sector model of economic growth - On the stability of growth equilibria in two-sector models - The classification of inventions - Disembodied technical change in a two-sector model - Tentative notes on a two-sector model with induced technical progress - Neoclassical growth with fixed factor proportions - On P ...; [Leggi tutto...] A model of general economic equilibrium - A note on J. von Neumann's article on "A model of economic equilibrium" - On a two-sector model of economic growth - Note un Uzawa's two-sector model of economic growth - On the stability of growth equilibria in two-sector models - The classification of inventions - Disembodied technical change in a two-sector model - Tentative notes on a two-sector model with induced technical progress - Neoclassical growth with fixed factor proportions - On Putty-Clay - The economic implications of learning by doing - Extensions of Arrow's "Learning by doing" - A new model of economic growth - Rate of profit and income distribution in relation to the rate of economic growth - The neoclassica theorem and distribution of income and wealth - The adjustment of savings to investment in a growing economy - The general instability of a class of competitive growth processes - On warranted growth paths - The timescale of economic models: how long is the long run? - Stability of a dynamic input-output system.

Abstract/Sommario: The present text is just what its title claims, namely, a text on logic written for the mathematician. The text starts front first principles, not presupposing any previous specific knowledge of formal logic, and tries to cover thoroughly all logicai questions which are of interest to a practicing mathematician.

Abstract/Sommario: First order predicate calculus - Peano arithmetic - Second order systems and simple type theory - Infinitary logic - Consistency proofs - Some applications of consistency proofs.

Abstract/Sommario: Introduction - Formal systems - Epitheory - Lambda-Conversion - The Church-Rosser theorem - Intuitive theory of combinators - Synthetic theory of combinators - Logistic foundations - Introduction to illative combinatory logic - The basic theory of functionality - The stronger theories of functionality.

Abstract/Sommario: A proof of the relative consistency of the continuum hypothesis - Equivalences between Godel's definitions of constructibility - Concrete models of set theory - Independence of the axiom of choice from variants of the generalized continuum hypothesis - Ultraproducts and other methods of constructing models - Uniform extension operators for models and their applications - Representations of probabilities defined on first order languages - On Lowenheim-Skolem-Type insufficiencies of seco ...; [Leggi tutto...] A proof of the relative consistency of the continuum hypothesis - Equivalences between Godel's definitions of constructibility - Concrete models of set theory - Independence of the axiom of choice from variants of the generalized continuum hypothesis - Ultraproducts and other methods of constructing models - Uniform extension operators for models and their applications - Representations of probabilities defined on first order languages - On Lowenheim-Skolem-Type insufficiencies of second order logic - Some problems of definability in recursive function theory - Computable functionals of finite type I - Metarecursion theory - Recursively enumerable degrees and the degree less than 0 - Regressive isols - Arithmetic - Disjunction and existence in formalized intuitionistic analysis.

Abstract/Sommario: The frame of logic and class theory - The start of general set theory - Ordinals; natural numbers; finite sets - Transfinite recursion - Power; order; wellorder - The completing axioms - Analysis; cardinal arithmetic; abstract - Further strengthening of the axiom system.

Abstract/Sommario: The business sector and its organization - Elements of market structure - The large corporation - Market conduct - Market performance - The promotion of competition and control of monopoly

Abstract/Sommario: Experience of growth - Growth and the short run - Growth of technology - Capital - Optimal growth - Developing economies - Summary of the final discussion.

Abstract/Sommario: The logic of scientific knowledge - Levels of knowledge and stages in the process of knowledge - Logical and physical implication - The deductive method as a problem of the logic of science - Probability logic and its role in scientific research - The basic forms and rules of inference by analogy - On the types of definition and their importance for science - Idealization as a method of scientific knowledge - The statistical interpretation of fact and the role of statistical methods in ...; [Leggi tutto...] The logic of scientific knowledge - Levels of knowledge and stages in the process of knowledge - Logical and physical implication - The deductive method as a problem of the logic of science - Probability logic and its role in scientific research - The basic forms and rules of inference by analogy - On the types of definition and their importance for science - Idealization as a method of scientific knowledge - The statistical interpretation of fact and the role of statistical methods in the structure of empirical knowledge.