Gödeltal oor Engels

Gödeltal

Vertalings in die woordeboek Sweeds - Engels

Gödel number

naamwoord

number uniquely assigned to each symbol

voorbeelde

Bådas arbeten var starkt påverkade av Kurt Gödel och dennes ofullständighetssats, särskilt hans metod för tilldelning av tal (s.k. Gödeltal) till logiska formler och därigenom likställa logiska utsagor med aritmetiska tal.
The work of both Church and Turing was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic.