Marknadens största urval
Snabb leverans

Diagonalization in Formal Mathematics

Om Diagonalization in Formal Mathematics

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783658291105
  • Format:
  • Häftad
  • Sidor:
  • 89
  • Utgiven:
  • 5. januari 2020
  • Utgåva:
  • 12020
  • Mått:
  • 148x210x0 mm.
  • Vikt:
  • 454 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av Diagonalization in Formal Mathematics

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.

Användarnas betyg av Diagonalization in Formal Mathematics



Hitta liknande böcker
Boken Diagonalization in Formal Mathematics finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.