De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Recursive Functions and Metamathematics

Recursive Functions and Metamathematics

- Problems of Completeness and Decidability, Goedel's Theorems

af Roman Murawski

indgår i Synthese Library serien

Recursive Functions and Metamathematics af Roman Murawski
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:
  • 9789048152988
  • Indbinding:
  • Paperback
  • Sideantal:
  • 395
  • Udgivet:
  • 6. december 2010
  • Udgave:
  • 11999
  • Størrelse:
  • 235x155x21 mm.
  • Vægt:
  • 629 g.
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

Bag om Roman Murawski

Vis alle bøger af Roman Murawski

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



Andre købte også..
Find lignende bøger
Bogen Recursive Functions and Metamathematics findes i følgende kategorier: