Odpověď na názor
Odpovídáte na názor k článku Linus Torvalds se naštval na teoretické bezpečnostní chyby v CPU. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
-
Čistě ze zvědavosti, jak takový důkaz vypadá? (A co to má společného s halting problémem, který dokázat naopak dokazatelně nejde?)
Nebo jde jen o to, že reálný systém je konečný, zatímco celý důkaz halting problému vyžaduje "nějaké" nekonečno, a pak se onen důkaz provede vyčerpáním stavového prostoru, takže BF?
