eloszor a compiler helyesseget kene belatni. es lehet, hogy a proci is bugos...
az egesz programhelyesseg bizonyitasnak csak ugy van ertelme, ha mint egy modszert tekintjuk az automatikus helyesseg ellenorzesehez. kezzel csinalni nincs ertelme, mert a bizonyitasban nehezebb megtalalni a hibat mint a programban (es jo esellyel a bizonyitas a hosszabb). viszont egyelore a gepi bizonyitas sem tul bejaratott dolog. szoval mindezt az egyetemen elso programozasi targykent oktatni sulyos butasag.
- Use the Source Luke ! -