Informatika és tudomány

  • cylontoaster
    #298
    A kérdés az, hogy mit értünk működés alatt.
    Ha az én részegen összerakott kódom fordul és elindul, akkor bentről nézve ez determinisztikus, és hibátlan. Ha hiba áll be, és leáll a program, azt bentről nehéz észrevenni :)
    Az hogy ez a program azt a "kimenetet" adja-e amit akartam, az tök más kérdés, mivel ezt bentről nem lehet eldönteni.

    Nem tudom azt a részt másképp értelmezni mint:
    - egy mesterségesen alkotott "világ" nem determinisztikus
    - nem az alkotója szerinti végeredményt dobja

    Egy jól működő program determinisztikus és helyes, ezt matematikailag bizonyítani is lehet.
    Egy nem jól működő program is determinisztikus, és bentről nem látszik, ha hibás, mert bentről nem látszik a specifikáció.