bevisteori, en huvudgren av modern logik i vilken deduktiva bevis är föremål för studier. Själva termen ”bevisteori” infördes av den tyske matematikern David Hilbert i ett arbete 1922, i vilket

(30 av 209 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

D. Prawitz, ”Philosophical Aspects of Proof Theory” Contemporary Philosophy: A New Survey 1 1981;
G. Takeuti, Proof Theory ( 2:a upplagan 1987).
Källangivelse
Nationalencyklopedin, bevisteori. http://www.ne.se/uppslagsverk/encyklopedi/lång/bevisteori