| | Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Bevisteori är en gren av matematisk logik som representerar bevis som matematiska objekt i sig, vilket underlättar analys av dem med matematiska tekniker. Bevis beskrivs vanligtvis som induktivt definierade datastrukturer, som konstrueras enligt det logiska systemets axiom och härledningsregler. [1][2]
Referenser
- ^ ”Logikhistoria - Syntax och bevisteori”. Logikhistoria - Syntax och bevisteori. 18 oktober 2020. Arkiverad från originalet den 9 oktober 2021. https://web.archive.org/web/20211009102214/https://delphipages.live/sv/filosofi-och-religion/filosofiska-fragor/syntax-and-proof-theory. Läst 9 oktober 2021.
- ^ ”Introduktion till formell logik,”. Helsingfors universitet. 3 maj 2017. https://courses.helsinki.fi/sites/default/files/course-material/4509181/logikkompendium2017.pdf. Läst 9 oktober 2021.
