Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: London.
    First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...)
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   479 citations  
  • Mučnik A. A.. Réšénié problémy svodimosti Posta i nékotoryh drugih problém téorii algorifmou. I. Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 7 , pp. 391–405. [REVIEW]Hartley Rogers - 1965 - Journal of Symbolic Logic 30 (1):90-90.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Mathematical Logic Quarterly 9 (22):331-346.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Survey of Mathematical Logic. [REVIEW]Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Review: A. A. Mucnik, Solution of Post's Reduction Problem and of Certain Other Problems in the Theory of Algorithms. I. [REVIEW]Hartley Rogers - 1965 - Journal of Symbolic Logic 30 (1):90-90.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
    Download  
     
    Export citation  
     
    Bookmark   4 citations