Switch to: References

Add citations

You must login to add citations.
  1. Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.
    A system of finite mathematics is proposed that has all of the power of classical mathematics. I believe that finite mathematics is not committed to any form of infinity, actual or potential, either within its theories or in the metalanguage employed to specify them. I show in detail that its commitments to the infinite are no stronger than those of primitive recursive arithmetic. The finite mathematics of sets is comprehensible and usable on its own terms, without appeal to any form (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations