Utvidet returrett til 31. januar 2024

Metamathematics, Machines and Godel's Proof

Om Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521585330
  • Bindende:
  • Paperback
  • Sider:
  • 220
  • Utgitt:
  • 30. januar 1997
  • Dimensjoner:
  • 234x192x14 mm.
  • Vekt:
  • 422 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 4. desember 2024

Beskrivelse av Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Brukervurderinger av Metamathematics, Machines and Godel's Proof



Finn lignende bøker
Boken Metamathematics, Machines and Godel's Proof finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.