Sissejuhatus infotehnoloogiasse konspekt 2020
saada kiiresti väga palju raha (pole piisavalt infot ja juhuslikkus segab)
3. Lahendubus Eksammatemaatilises Eksammõttes Eksam- EksamInfot on piisavalt: meil on olemas kõik vajalikud aksioomid /
programm / täpne ülesanne ja juhuslikkust ei ole
Positiivsete täisarvude, positiivsete/negatiivsete ja murdarvude võimsuse Eksamvõrdlemine Eksamja Eksamtõestamine.
Reaalarvude Eksamsuurem Eksamvõimsus Eksamkui Eksamtäisarvude Eksamvõimsus (Cantori Eksamteoreem): tõestuse idee. – Vastavusse
pannes on reaalarve rohkem kui täisarve, ehkki murdarve saab vastavusse panna täisarvudega
Mis on peatumisprobleem, selle lahendamatuse tõestuse idee. - Olgu ülesandeks tuvastada, kas täisarv X kuulub
mingisse lõpmatusse täisarvude alamhulka H. paneme X-le vastava programmi käima ja kui ta peatub, siis loomulikult teame,
et ta kuulub hulka H. Kui ta aga ei peatu, siis meil ei ole kindlat viisi aru saada, et ta ei kuulu hulka H