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]]
|