Churchs teorem
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-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. |
Churchs teorem är ett bevis, publicerat av den amerikanske matematikern Alonzo Church 1936, av att en allmän lösning av logikens avgörbarhetsproblem inte existerar. Han visade därmed att det inte finns någon metod med vars hjälp det går att avgöra om en given utsaga inom första ordningens logik är sann eller falsk för godtyckliga värden av variablerna i utsagan.
Media som används på denna webbplats
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