Hlavní navigace

Názor ke zprávičce Programátorská chyba způsobila ztrátu 460 milionu USD od Sten - Cítím se nerespektován a neprávem kritizován, když píšeš,...

  • Aktualita je stará, nové názory již nelze přidávat.
  • 27. 10. 2013 10:03

    Sten (neregistrovaný) ---.parawide.eu

    Cítím se nerespektován a neprávem kritizován, když píšeš, že má moje teorie mysli vadu ;-)

    Ta vada by zmizela, pokud by ty automaty psaly jiné automaty, které by byly plně verifikované, tedy by na rozdíl od lidí při přepisu matematických algoritmů do programů či provádění instalačních kroků nemohly udělat chybu. Jenže takový automat podle Gödelových vět o neúplnosti není možné sestrojit.