Bewys: Verskil tussen weergawes

Content deleted Content added
No edit summary
Kategorie:Logika
Lyn 11:
 
Die logikus [[Kurt Gödel]] (1906-1978) het in 1930 bewys dat in die proposisie- en [[predikaatlogika]] (hieronder) daar vir elke geldige argument wel 'n bewys volgens die betrokke reëls opgestel kan word. Daarteenoor het die logikus Alonzo Church (1903-1995) in 1936 bewys dat daar vir die predikaatlogika geen algemene prosedure (en dus geen rekenaarprogram) bestaan om vir enige argument te beslis of dit geldig of ongeldig is nie.
 
[[Kategorie:Logika]]