Paradoxes Between Truth and Proof (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens filosofi
  7. Paradoxes Between Truth and Proof

Paradoxes Between Truth and Proof

(Bog, Hardback, Engelsk)
Paradoxes Between Truth and Proof
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens filosofi Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2024 ed.
Udgivelsesdato 05-12-2024
Første udgivelsesår 2024
Serie Synthese Library
Illustrationer 11 Illustrations, black and white
Fagredaktør Mattia Petrolo, Giorgio Venturi
Originalsprog Switzerland
Sideantal 299
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 299 pages, 11 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031745263