Vi bøger
Levering: 1 - 2 hverdage

Predicative Arithmetic - Edward Nelson - Bog

Bag om Predicative Arithmetic

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780691610290
  • Indbinding:
  • Paperback
  • Sideantal:
  • 200
  • Udgivet:
  • 14. Juli 2014
  • Størrelse:
  • 152x229x11 mm.
  • Vægt:
  • 28 g.
  • 8-11 hverdage.
  • 19. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Predicative Arithmetic

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy

Brugerbedømmelser af Predicative Arithmetic



Find lignende bøger
Bogen Predicative Arithmetic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.