Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Provability, Computability and Reflection

Front Cover
0 Reviews
Elsevier, Apr 1, 2000 - Computers - 981 pages
Provability, Computability and Reflection
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Symbolic logic
Symbolic logic
Irving M. Copi
Snippet view - 1954
Aspects of scientific explanation: and other essays in the philosophy of science
Aspects of scientific explanation: and other essays in the philosophy of science
Carl Gustav Hempel
Snippet view - 1965
The Structure of Science: Problems in the Logic of Scienific Explanation
The Structure of Science: Problems in the Logic of Scienific Explanation
Ernest Nagel
No preview available - 1979
All related books »

Selected pages

Contents

PART II FOUNDATIONS OF MATHEMATICAL THEORIES
87
PART III AUTOMATA AND PROGRAMMING LANGUAGES
155
PART IV PHILOSOPHY OF LOGIC AND MATHEMATICS
223
PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE
291
PART VI FOUNDATIONS OF PROBABILITY AND INDUCTION
415
PART VII METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES
531
PART VIII METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL SCIENCES
617
PART IX METHODOLOGY AND PHILOSOPHY OF PSYCHOLOGICAL SCIENCES
707
PART X METHODOLOGY AND PHILOSOPHY OF HISTORICAL AND SOCIAL SCIENCES
723
PART XI METHODOLOGY AND PHILOSOPHY OF LINGUISTICS
803
PART XII HISTORY OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE
883
Program
977
Copyright

Other editions - View all

Logic, methodology and philosophy of science IV: proceedings of the Foutth ...
Logic, methodology and philosophy of science IV: proceedings of the Foutth ...
Patrick Suppes,Leon Henkin,Athanase Joja,Gr C.. Moisil
Snippet view - 1973

Common terms and phrases

algebra analysis application argument schema assume assumptions atomic axioms Carnap causal cell coherence conditions complete computability predicate concept consider construction corresponding deductive defined definition derived determined diophantine diophantine equations discussion elements empirical equations example exists experience explanation expressed fact finite formal formula function genetics given Hegel hence hypothesis inductive inference integers interpretation intuitionistic kind knowledge laws Lemma lexical linguistic logic mathematical means Mendelian Mendelian genetics method methodological microtheory natural languages natural numbers notion object observation observation sentences occur particular Philosophy of Science physical possible predicate Prewellordering principle probabilistic probability probability theory problem problem of induction proof proof theory propensity proposition quantum mechanics question reason recursive relative rules satisfies scientific semantic sense sentences sequence social specific properties statements statistical structure theorem theory tion true Turing machine University variables

About the author (2000)

Maria Carla Galavotti is professor of philosophy of science in the department of philosophy at the University of Bologna.
Roberto Scazzieri is professor of economic analysis in the department of economics at the University of Bologna.
Patrick Suppes is Lucie Stern professor emeritus of philosophy at Stanford University.

Bibliographic information

QR code for Provability, Computability and Reflection
TitleProvability, Computability and Reflection
Volume 74 of Studies in Logic and the Foundations of Mathematics
AuthorLev D. Beklemishev
PublisherElsevier, 2000
ISBN0080954847, 9780080954844
Length981 pages
Subjects ›  › 

Computers / Information Theory
Language Arts & Disciplines / Library & Information Science / General
Mathematics / General
  
Export CitationBiBTeX EndNote RefMan