bevisteori
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
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