Gibt es überhaupt fehlerfreie Software??

Die lange Antwort: Kommt darauf an, was man unter Fehler versteht. Manche verkaufen ihre Fehler als "Feature". Ist wohl der Natur abgeguckt, wo zufällige Mutationen (= Fehler bei der DNA-Replikation) nach Generationen zu einem Feature werden können, der einen Überlebens-Vorteil besitzt. Häufiger aber "gewöhnt" sich eine Spezies an eine Mutation und schleppt dann über hunderttausend Jahre unnütze Körpermerkmale mit. So auch bei manchen Software-Produkten gesehen.

Die umgangssprachliche Definition eines Software-Fehlers ist die Beschreibung eines Betriebsabbruches (z.B. "BlueScreen") oder die Ausgabe von unmittelbar erkennbar falschen Daten.

Die gefährlicheren Fehler sind aber jene, welche sich nicht unmittelbar oder sofort bemerkbar machen (etwa die fehlerhafte Erstellung eines regelmäßigen Backups).

Die kurze Antwort: Nein.

PS: Ein möglicher Entwicklungszweig ist Software, die aus Fehlern lernt. Also "Künstliche Intelligenz". Ein äußerst faszinierendes Thema, das noch viele Überraschungen bieten wird ...

Beispiel:
22. Juli 1962, Cape Canaveral/Florida
Start der ersten amerikanischen Venussonde Mariner 1

Wesentlicher Ausschnitt aus dem FORTRAN-Programm zur Steuerung der Flugbahn der Trägerrakete:

DO 5 K = 1. 3
...
5 CONTINUE

Entscheidender Fehler:
Punkt statt Komma!
Wirkung:

DO5K = 1.3

Wertzuweisung an eine nicht deklarierte Variable

Kein Durchlauf der (nicht vorhandenen) Schleife

Folge:
Abweichung der Trägerrakete von der vorgesehenen Flugbahn
Zerstörung der Rakete nach 290 Sekunden
Kosten dieser Wertzuweisung: $ 18.5 Millionen

Diese und viele weitere Geschichten über Software und die Wirkung ihrer Fehler findet man hier:

Vortrag von Ingolf Giese
Was kümmern mich die Probleme der Datenverarbeitung?
Softwarezuverlässigkeit gestern, heute und morgen
https://web-docs.gsi.de/~giese/swr/allehtml.html

Zusammenfassung des Vortrages:

Ihre Vorstellungen vor dem Vortrag (?)
Datenverarbeitung ist einfach
Computer machen keine Fehler
Kleine Fehler stören nicht viel
Computer = Fortschritt

Ihre Vorstellungen nach dem Vortrag (?)
Software ist fast überall (mit zunehmender Tendenz)
Kleine Fehler können immense Auswirkungen haben
Auswirkungen von Softwarefehlern werden immer größer
Software ist unvermeidbar immer falsch
Fehlermöglichkeit muß akzeptiert werden
Programme werden größer und undurchschaubarer
Software ist viel komplexer als Hardware
Entwicklung ist zu rasant
Datenverarbeitung kann teuer zu stehen kommen

Sichere Hardware-Architektur notwendig
Zuverlässige Programmiersprachen und Umgebungen
Software-Wünsche auf vernünftiges Maß reduzieren

Viele Grüße
Konstantin