01-12-2009, 21:20
Dem Problem stehen auch Wissenschaftler gegenüber.
Sie verwenden zwangsläufig Systeme für ihre Arbeit, deren Korrektheit sie nicht selbst verifizieren können - also Blackbox-Systeme. Da besteht natürlich Fehlergefahr.
Aber kein Mensch kann heutzutage mehr alles beweisen, mit dem er zu tun hat.
Sie verwenden zwangsläufig Systeme für ihre Arbeit, deren Korrektheit sie nicht selbst verifizieren können - also Blackbox-Systeme. Da besteht natürlich Fehlergefahr.
Aber kein Mensch kann heutzutage mehr alles beweisen, mit dem er zu tun hat.
"What can be asserted without proof can be dismissed without proof." [Christopher Hitchens]