Indholdsfortegnelse
5 relationer: Alfred North Whitehead, Church-Turing-tesen, Matematisk logik, Principia Mathematica, Regulært udtryk.
Alfred North Whitehead
Alfred North Whitehead (født 15. februar 1861, død 30. december 1947) var en engelsk matematiker og filosof, som samarbejdede med Bertrand Russell om Principia Mathematica (1910-13).
Se Stephen Cole Kleene og Alfred North Whitehead
Church-Turing-tesen
Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.
Se Stephen Cole Kleene og Church-Turing-tesen
Matematisk logik
Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik.
Se Stephen Cole Kleene og Matematisk logik
Principia Mathematica
Forsiden af den forkortede udgave af ''Principia Mathematica'' Principia Mathematica er en bog om matematisk logik skrevet af Bertrand Russell og Alfred North Whitehead, udgivet i tre bind i henholdsvis 1910, 1912 og 1913.
Se Stephen Cole Kleene og Principia Mathematica
Regulært udtryk
Et regulært udtryk (oversat fra engelsk, regular expression, ofte forkortet til regexp eller regex) er en følge af tegn, der definerer et mønster til søgning/matchning.
Se Stephen Cole Kleene og Regulært udtryk
Også kendt som Stephen Cole Kleen, Stephen Kleen, Stephen Kleene.