Some results on speed-up

Annals of the Japan Association for Philosophy of Science 6 (4):195-205 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

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

Through your library

Similar books and articles

Some results on measure independent gödel speed-ups.Martin K. Solomon - 1978 - Journal of Symbolic Logic 43 (4):667-672.
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.
What is more explanatory, processing capacity or processing speed?Nelson Cowan - 1998 - Behavioral and Brain Sciences 21 (6):835-836.
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
The speed-optimality of Reichenbach's straight rule of induction.Cory F. Juhl - 1994 - British Journal for the Philosophy of Science 45 (3):857-863.

Analytics

Added to PP
2016-06-30

Downloads
22 (#699,187)

6 months
11 (#227,963)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On me number of steps in proofs.Jan Krajíèek - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.

Add more citations

References found in this work

One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.

Add more references