no, ale ja som to s tou predpovedou myslel vazne, nikto nic?
no ked xces predpoved...su 2 alternativy: bud nas dojebu novymi otazkami alebo nie...
ak daju stare tak by to mohlo byt nieco take: univ. TS + halting problem + dokaz haltingu, turingovsky vypocitatelne funkcie, sekvencne zobrazenia
a pre druhy okruh tak: PKP, Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely
a potom ostava uz vsetko nove...