8 relasjoner: Alfred North Whitehead, Bertrand Russell, Datatype, Informatikk, Kurt Gödel, Lambdakalkyle, Logikk, Matematikk.
Alfred North Whitehead
Alfred North Whitehead (født 15. februar 1861 i Ramsgate i Kent i England, død 30. desember 1947 i Cambridge) var en britisk matematiker som ble filosof.
Ny!!: Typeteori og Alfred North Whitehead · Se mer »
Bertrand Russell
Bertrand Arthur William Russell, den 3.
Ny!!: Typeteori og Bertrand Russell · Se mer »
Datatype
I informasjonsteknologi er en datatype en definisjon av hvilke data som kan lagres i en gitt variabel og hvordan disse dataene skal leses og lagres.
Ny!!: Typeteori og Datatype · Se mer »
Informatikk
Informatikk er et fagfelt med røtter i matematisk logikk, lingvistikk og elektroingeniørfag.
Ny!!: Typeteori og Informatikk · Se mer »
Kurt Gödel
Kurt Gödel (født 28. april 1906 i Brünn i Mähren - Østerrike-Ungarn, død 14. januar 1978 i Princeton i USA) var en logiker, matematiker og filosof.
Ny!!: Typeteori og Kurt Gödel · Se mer »
Lambdakalkyle
Lambdakalkulus eller lambdakalkylen (også kjent som \lambda-kalkylen) er et formelt system innenfor informatikk, logikk og matematikk utviklet av Alonzo Church i 1930-årene.
Ny!!: Typeteori og Lambdakalkyle · Se mer »
Logikk
Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»).
Ny!!: Typeteori og Logikk · Se mer »
Matematikk
Euklid blir av mange regnet som geometriens far, her i et maleri av Rafael. Matematikk kan beskrives som en gruppe relaterte emner der en studerer objekter karakterisert med størrelse, orientering og/eller form, og også relasjoner mellom disse objektene.
Ny!!: Typeteori og Matematikk · Se mer »