Je hebt een klacht over de onderstaande posting:
Door Madelijn: Zelfs daar geen correctbewezen software.. Hoeveel bewezen correcte software ken je überhaupt? En als je al iets vindt dat bewezen correct is, wat is er dan precies bewezen? Dat het aan de specificaties voldoet? Hoe weet je dat de specificaties geen fouten bevatten? Hoe bewijs je dat die correct zijn? En als je een specificatienotatie hebt bedacht die zich tot dat soort bewijsvoering leent, heb je dan niet in wezen een hogere programmeertaal bedacht die je weer voor precies hetzelfde vraagstuk plaatst omdat daar nog steeds iets in geprogrammeerd moet worden? Het klinkt zo simpel, bewezen correcte software, maar je blijft hoe dan ook met een vertaalslag zitten van wat mensen bedenken, wat in hun brein gebeurt dus, naar een of andere notatie die de computer kan gebruiken. Hoe bewijs je ooit dat wat mensen bedenken volledig klopt en of die vertaalslag die mensen moeten doen volledig goed wordt uitgevoerd? Zijn er mensen met bewezen correcte hersenen?
Beschrijf je klacht (Optioneel):
