Strong AI and the problem of “second-order” algorithms

Behavioral and Brain Sciences 13 (4):663-664 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0140525x0008078x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
Equation or Algorithm: Differences and Choosing Between Them.C. Gaucherel & S. Bérard - 2010 - Acta Biotheoretica 59 (1):67-79.
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Track 2-Languages and Algorithms-Session 4-Algorithms-Parallelization Algorithms for Three-Body Interactions in Molecular Dynamics Simulation. [REVIEW]Jianhui Zhou Li & Richard J. Sadus - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 374-382.
Evolutionary conservation and ontogenetic emergence of neural algorithms.Hermann Wagner & Dirk Kautz - 1998 - Behavioral and Brain Sciences 21 (2):285-286.
It is not evolution, but a better game would need a better agent.Christian Huyck & Ian Mitchell - 2005 - Behavioral and Brain Sciences 28 (4):499-500.
Selected papers on design of algorithms.Donald Ervin Knuth - 2010 - Stanford, Calif.: Center for the Study of Language and Information.
Skeptical Theism and the Threshold Problem.Yishai A. Cohen - 2013 - Forum Philosophicum: International Journal for Philosophy 18 (1):73-92.
Constructive interpolation in hybrid logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.
Model checking for hybrid logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
Why do frequency formats improve Bayesian reasoning? Cognitive algorithms work on information, which needs representation.Gerd Gigerenzer - 1996 - Behavioral and Brain Sciences 19 (1):23-24.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
The undecidability of the second order predicate unification problem.Gilles Amiot - 1990 - Archive for Mathematical Logic 30 (3):193-199.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.

Analytics

Added to PP
2014-01-20

Downloads
30 (#535,245)

6 months
3 (#982,484)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Philosophy and the Mirror of Nature.Richard Rorty - 1979 - Princeton University Press.

View all 104 references / Add more references