Matemaatiline maailmapilt
{a 1 , a2 , ... }
3. Kui A on loenduv tähestik , siis kõigi (lõpliku pikkusega) sõnade hulk
tähestikus A on loenduv.
Öeldakse, et funktsioon on arvutatav, kui leidub arvutiprogramm mingis
programmeerimiskeeles, mis suudab leida selle funktsiooni väärtusi.
Kuna
· programmide hulk igas programmeerimiskeeles on loenduv ja
· kõikide funktsioonide N N hulk on mitteloenduv,
siis sellest järeldub, et on olemas mittearvutatavaid funktsioone.
11. LOENG
Kontiinumi võimsusega hulgad. CantorBernsteini teoreem. Võimsuste hierarhia
Meenutame:
Hulki A ja B nimetatakse ekvivalentseteks, kui leidub bijektsioon f : A B .
Olgu a , b , c ,d R . Kui a
annaabi.ee 
