Bir kümedeki eleman sayısıyla doğal sayılar arasında birebir eşleme kurulabilme durumu. 19. yüzyılın sonlarına kadar matematikte farklı
Kaynak: Sayılabilirlik

adına ürettiği delikli kart lar ise bilgisayarların gelişme sürecindeki, kısıtlı da olsa, ilk yazılımlanabilme (kurulabilme) izlerinden sayılır.
Kaynak: Bilgisayar