Cover Image

The Foundational Debate : Complexity and Constructivity in Mathematics and Physics /

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different appr...

Full description

Bibliographic Details
Main Author:	DePauli-Schimanovich, Werner
Corporate Author:	SpringerLink (Online service)
Other Authors:	Köhler, Eckehart, Stadler, Friedrich
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1995.
Series:	Vienna Circle Institute Yearbook [1995], Institut 'Wiener Kreis' Society for the Advancement of the Scientific World Conception ; 3.
Subjects:	Philosophy (General) Logic. Artificial intelligence. Logic, Symbolic and mathematical. Quantum theory. History. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

Belief Change /
by: Dubois, Didier
Published: (1998)

Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Bridging the Gap: Philosophy, Mathematics, and Physics : Lectures on the Foundations of Science /
by: Corsi, Giovanna
Published: (1993)

Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)

Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /
by: Bibel, Wolfgang
Published: (1998)

Foundations of Rational Agency /
by: Wooldridge, Michael
Published: (1999)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /
by: Murawski, Roman
Published: (1999)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)