- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Computer Modelling of Mathematical Reasoning
Journal of Symbolic Logic 52 (2):555-557 (1987)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Alan Bundy, The Computer Modelling of Mathematical Reasoning. [REVIEW]Vladimir Lifschitz - 1987 - Journal of Symbolic Logic 52 (2):555-557.
Logic in Computer Science: Modelling and Reasoning about Systems.Michael Huth & Mark Ryan - 2004 - Cambridge University Press.
Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling.David S. Robertson & Jaume Agustí - 1999 - Addison-Wesley Professional.
Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Plato’s Philosophy of Cognition by Mathematical Modelling.Roman S. Kljujkov & Sergey F. Kljujkov - 2014 - Dialogue and Universalism 24 (3):110-115.
Mathematical models and reality: A constructivist perspective. [REVIEW]Christian Hennig - 2010 - Foundations of Science 15 (1):29-48.
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning.Tom Richards - 1989 - Addison Wesley Publishing Company.
Mathematical Foundations of Computer Science 1990 Banská Bystrica, Czechoslovakia, August 27-31, 1990 : Proceedings.B. Rovan & Symposium on Mathematical Foundations of Computer Science - 1990
Logic in computer science: Modelling and reasoning about systems. [REVIEW]Valentin Goranko - 2006 - Journal of Logic, Language and Information 16 (1):117-120.
Criteria for Evaluating a Computer Aid to Clinical Reasoning.C. Whitbeck & R. Brooks - 1983 - Journal of Medicine and Philosophy 8 (1):51-66.
How to run algorithmic information theory on a computer:Studying the limits of mathematical reasoning.Gregory J. Chaitin - 1996 - Complexity 2 (1):15-21.
Reciprocal modelling of active perception of 2-d forms in a simple tactile-vision substitution system.John Stewart & Olivier Gapenne - 2004 - Minds and Machines 14 (3):309-330.
Mathematical reasoning: analogies, metaphors, and images.Lyn D. English (ed.) - 1997 - Mahwah, N.J.: L. Erlbaum Associates.
Analytics
Added to PP
2015-02-05
Downloads
10 (#1,165,120)
6 months
3 (#992,474)
2015-02-05
Downloads
10 (#1,165,120)
6 months
3 (#992,474)
Historical graph of downloads
Citations of this work
Methodologies for studying human knowledge.John R. Anderson - 1987 - Behavioral and Brain Sciences 10 (3):467-477.
Knowledge Bases and Neural Network Synthesis.Todd R. Davies - 1991 - In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722.
Interactive instructional systems and models of human problem solving.Edward P. Stabler - 1987 - Behavioral and Brain Sciences 10 (3):493-494.
Weak versus strong claims about the algorithmic level.Paul S. Rosenbloom - 1987 - Behavioral and Brain Sciences 10 (3):490-490.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo