- The interactive nature of computing: Refuting the strong church–turing thesis. [REVIEW]Dina Goldin & Peter Wegner - 2008 - Minds and Machines 18 (1):17-38.details
|
|
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.details
|
|
The heuristic value of representation.Thomas R. Zentall - 1982 - Behavioral and Brain Sciences 5 (3):393-394.details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem.Ann Yasuhara - 1974 - Mathematical Logic Quarterly 20 (8-12):121-132.details
|
|
Mind the brain.Martha Wilson - 1982 - Behavioral and Brain Sciences 5 (3):393-393.details
|
|
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.details
|
|
Internal representations and indeterminacy: A skeptical view.William R. Uttal - 1982 - Behavioral and Brain Sciences 5 (3):392-393.details
|
|
Mathematics, Philosophical and Semantic Considerations on Infinity : Dialectical Vision.José-Luis Usó-Doménech, Josué Antonio Nescolarde-Selva, Mónica Belmonte-Requena & L. Segura-Abad - 2017 - Foundations of Science 22 (3):655-674.details
|
|
Complexity Level Analysis Revisited: What Can 30 Years of Hindsight Tell Us about How the Brain Might Represent Visual Information?John K. Tsotsos - 2017 - Frontiers in Psychology 8.details
|
|
Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal.George Tourlakis - 1986 - Mathematical Logic Quarterly 32 (31-34):503-515.details
|
|
Intension in terms of Turing machines.Pavel Tichý - 1969 - Studia Logica 24 (1):7 - 25.details
|
|
Animal versus human minds.H. S. Terrace - 1982 - Behavioral and Brain Sciences 5 (3):391-392.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
In the beginning was the word.J. E. R. Staddon - 1982 - Behavioral and Brain Sciences 5 (3):390-391.details
|
|
Some properties ofm-address machines.Zofia Sozańska-Bień - 1970 - Studia Logica 26 (1):19 - 34.details
|
|
Algorithmic Measurement Procedures.Aldo F. G. Solis-Labastida & Jorge G. Hirsch - 2020 - Foundations of Physics 50 (8):749-763.details
|
|
Historicism, behaviorism, and the conceptual status of memory representations in animals.Charles P. Shimp - 1982 - Behavioral and Brain Sciences 5 (3):389-390.details
|
|
Expectancy: The endogenous source of anticipatory activities, including “pseudoconditioned” responses.Patrick J. Sheafor - 1982 - Behavioral and Brain Sciences 5 (3):387-389.details
|
|
Metatheory of animal behavior.Erwin M. Segal - 1982 - Behavioral and Brain Sciences 5 (3):386-387.details
|
|
Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.details
|
|
Two undecidable problems of analysis.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):49-77.details
|
|
Comments on `two undecidable problems of analysis'.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):79-85.details
|
|
A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Mathematical Logic Quarterly 23 (7‐12):137-167.details
|
|
A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):137-167.details
|
|
Formal Theories are Acyclic.K. S. Sarkaria - 1985 - Mathematical Logic Quarterly 31 (21‐23):363-368.details
|
|
Formal Theories are Acyclic.K. S. Sarkaria - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):363-368.details
|
|
The logic of representation.William W. Rozeboom - 1982 - Behavioral and Brain Sciences 5 (3):385-386.details
|
|
Representations and cognition.H. L. Roitblat - 1982 - Behavioral and Brain Sciences 5 (3):394-406.details
|
|
The meaning of representation in animal memory.H. L. Roitblat - 1982 - Behavioral and Brain Sciences 5 (3):353-372.details
|
|
Premature closure of controversial issues concerning animal memory representations.William A. Roberts - 1982 - Behavioral and Brain Sciences 5 (3):384-385.details
|
|
The Representational Foundations of Computation.Michael Rescorla - 2015 - Philosophia Mathematica 23 (3):338-366.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.Alberto Policriti & Eugenio Omodeo (eds.) - 2016 - Cham, Switzerland: Springer Verlag.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Castor quadruplorum.Arnold Oberschelp, Karsten Schmidt-Göttsch & Günter Todt - 1988 - Archive for Mathematical Logic 27 (1):35-44.details
|
|
Objects of occasion beliefs.Raymond J. Nelson - 1978 - Synthese 39 (September):105-139.details
|
|
On the content of representations.R. J. Nelson - 1982 - Behavioral and Brain Sciences 5 (3):384-384.details
|
|
Some thoughts on the proper foundations for the study of cognition in animals.Lynn Nadel - 1982 - Behavioral and Brain Sciences 5 (3):383-384.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Mathematical Logic Quarterly 22 (1):441-480.details
|
|
The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):441-480.details
|
|
Untersuchungen über Mengentheoretische Gleichungen.Horst Müller - 1973 - Mathematical Logic Quarterly 19 (14‐18):249-264.details
|
|
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Mathematical Logic Quarterly 18 (4‐6):71-82.details
|
|
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.details
|
|
Alan Turing and the origins of complexity.Miguel Angel Martin-Delgado - 2013 - Arbor 189 (764):a083.details
|
|
A la représentation du temps perdu.John C. Marshall - 1982 - Behavioral and Brain Sciences 5 (3):382-383.details
|
|
Cognitive psychology's representation of behaviorism.A. W. Logue - 1982 - Behavioral and Brain Sciences 5 (3):381-382.details
|
|
The Priority Method I.A. H. Lachlans - 1967 - Mathematical Logic Quarterly 13 (1‐2):1-10.details
|
|