Udvidet returret til d. 31. januar 2025

Recursive Functions and Metamathematics - Roman Murawski - Bog

- Problems of Completeness and Decidability, Goedel's Theorems

Bag om Recursive Functions and Metamathematics

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792359043
  • Indbinding:
  • Hardback
  • Sideantal:
  • 395
  • Udgivet:
  • 1. januar 1999
  • Udgave:
  • 1999
  • Størrelse:
  • 234x156x23 mm.
  • Vægt:
  • 1630 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

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

Beskrivelse af Recursive Functions and Metamathematics

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.

Brugerbedømmelser af Recursive Functions and Metamathematics



Find lignende bøger
Bogen Recursive Functions and Metamathematics 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.