Bevisteori
 | 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. 6 januari 2017. https://courses.helsinki.fi/sites/default/files/course-material/4509181/logikkompendium2017.pdf. Läst 9 oktober 2021.
| ||||||||||||||||||||||||||||||||||||||
Media som används på denna webbplats
Question book-4.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg
