Toppfrågor
Tidslinje
Chatt
Perspektiv
Churchs teorem
Från Wikipedia, den fria encyklopedin
Remove ads
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.
 |
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. |
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads