Kombinatorisk logik, skabt af den russisk-ukrainske matematiker Moses Schönfinkel (1889-ca. 1942) i 1924 og især videreudviklet af H.B. Curry. Grundtanken i denne type logik er at reducere antallet af logiske operationer til så få som muligt og undgå brugen af variabler. Til dette formål indførte Schönfinkel nogle grundoperationer (af Curry kaldt kombinatorer). Den eneste primitive operation i kombinatorisk logik er funktionssammensætning, f(x), som skal forstås i sædvanlig matematisk forstand. I kombinatorisk logik skriver man (fx) i stedet for f(x), og ofte undlader man parenteser. Foruden funktionssammensætning indfører man to kombinatorer, som betegnes K og S. De er defineret ved ligningerne:

Kxy = x

Sxyz = xz(yz)

Et vigtigt resultat i kombinatorisk logik er, at man kan erstatte ethvert funktionsudtryk, bygget op af navne på funktioner og variabler, med et udtryk, som kun indeholder kombinatorerne K, S og funktionsnavnene i funktionsudtrykket. Det kaldes kombinatorisk fuldstændighed. Alle beregnelige funktioner kan defineres i kombinatorisk logik. Kombinatorisk logik spiller en væsentlig rolle i datalogi og bevisteori.

Læs mere i Den Store Danske

logik

Kommentarer

Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.

Du skal være logget ind for at kommentere.

eller registrer dig