Welche Bedeutung hat John von Neumann für die Informatik?
gilt als einer der Väter der Informatik
John_von_Neumann
John von Neumann (* 28. Dezember 1903 in Budapest, Österreich-Ungarn als ''János Lajos Neumann von Margitta''; † 8. Februar 1957 in Washington, D.C., Vereinigte Staaten) war ein ungarisch-US-amerikanischer Mathematiker. Er leistete bedeutende Beiträge zur mathematischen Logik, Funktionalanalysis, Quantenmechanik und Spieltheorie und gilt als einer der Väter der Informatik. Später veröffentlichte er als Johann von Neumann; heutzutage ist er vor allem unter seinem in den USA gewählten Namen John von Neumann bekannt.
John_von_Neumann
John von Neumann (* 28. Dezember 1903 in Budapest, Österreich-Ungarn als ''János Lajos Neumann von Margitta''; † 8. Februar 1957 in Washington, D.C., Vereinigte Staaten) war ein ungarisch-US-amerikanischer Mathematiker. Er leistete bedeutende Beiträge zur mathematischen Logik, Funktionalanalysis, Quantenmechanik und Spieltheorie und gilt als einer der Väter der Informatik. Später veröffentlichte er als Johann von Neumann; heutzutage ist er vor allem unter seinem in den USA gewählten Namen John von Neumann bekannt.
Strukturwissenschaft Wort__theoretische_Informatik_
In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines  Alphabets. Im Gegensatz zur natürlichsprachlichen Bedeutung von Wörtern, die stets eine eigenständige Bedeutung haben, hat ein Wort in der theoretischen Informatik keine sprachliche Bedeutung. Es ist lediglich ein anderer Begriff für eine Zeichenkette.
Wörter oder Worte sind die Elemente einer formalen Sprache. Sie sind deshalb wichtig für mathematische Modellierungen, für die Theorie der Programmiersprachen, für die Berechenbarkeitstheorie und andere Gebiete der theoretischen Informatik. Fachbereich_Informatik_der_TU_Darmstadt
Strukturwissenschaft

=== Informatik ===
Die Entwicklung der Theoretischen Informatik begann etwa in den 1930er Jahren. Als grundlegendes Konzept in der Informatik gilt der aus der Mathematik stammende Begriff des Algorithmus, der eine aus endlich vielen Schritten bestehende Handlungsvorschrift zur Lösung eines mathematischen Problems darstellt. Mit dem Algorithmenbegriff verbunden ist das Konzept der Berechenbarkeit, für das in der Berechenbarkeitstheorie verschiedene mathematische Formalisierungen und Analysemethoden entwickelt wurden. Auch innerhalb der Informatik werden auf formaler Ebene strukturelle Eigenschaften von Objektklassen erforscht, ohne zu berücksichtigen, welche konkreten Objekte sich dieser Struktur unterordnen und ob diese sich in der Realität überhaupt konstruieren lassen, wobei aber eine Forderung nach Konstruierbarkeit je nach Disziplin durchaus gestellt werden kann.
Ein der klassischen Mathematik fremder Begriff ist derjenige der Datenstruktur, der in der Informatik, neben dem des Algorithmus, von zentraler Bedeutung ist. Die Darstellung der Algorithmen, Datenstrukturen und Untersuchungen über Zeit und Platz, die für die Ausführung und Speicherung notwendig sind, ist ein eigener Beitrag der Theoretischen Informatik zu den Strukturwissenschaften.
Spezifische grundlegende Strukturen der Informatik sind im Bereich der Rechnerstrukturen u. A. die Von-Neumann-Architektur (seit 1945) bzw. sein Gegenteil, die Non-Von-Neumann-Architekturen (beispielsweise Parallelrechner).
Die bis heute geltende Basis jeder strukturierten Programmierung sind die drei Kontrollstrukturen von Sequenz, Verzweigung und Schleife. Zur Visualisierung werden Flussdiagramme, Struktogramme (seit 1972) oder UML-Diagramme (seit 1997) verwendet.
Weitere wichtige Impulse verdankt die Strukturwissenschaft den Themengebieten der Berechenbarkeitstheorie, der Frage zur Entscheidbarkeit und der Komplexitätstheorie. Auch die Untersuchungen zur Automatentheorie, insbesondere die der zellularen Automaten, weisen einen bis heute progressiven Charakter nicht zuletzt auch im Bereich der naturwissenschaftlichen Erklärungsmodelle auf. Wort__theoretische_Informatik_
In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines  Alphabets. Im Gegensatz zur natürlichsprachlichen Bedeutung von Wörtern, die stets eine eigenständige Bedeutung haben, hat ein Wort in der theoretischen Informatik keine sprachliche Bedeutung. Es ist lediglich ein anderer Begriff für eine Zeichenkette.
Wörter oder Worte sind die Elemente einer formalen Sprache. Sie sind deshalb wichtig für mathematische Modellierungen, für die Theorie der Programmiersprachen, für die Berechenbarkeitstheorie und andere Gebiete der theoretischen Informatik. Fachbereich_Informatik_der_TU_Darmstadt

=== Auszeichnungen ===
Die folgenden Angaben beziehen sich auf den Stand von 2019 und erheben keinen Anspruch auf Vollständigkeit:
Die Technische Universität Darmstadt ist die Universität mit den meisten Preisträgern der Konrad-Zuse-Medaille für Verdienste um die Informatik, der bedeutendsten Auszeichnung für Informatik in Deutschland. 8 Preisträger der Konrad-Zuse-Medaille sind mit der Universität verbunden: Johannes Buchmann (2017), Markus Gross (2013), Fritz-Rudolf Güntsch (2011), Theo Härder (2001), Günter Hotz (1999), José Luis Encarnação (1997), Carl Adam Petri (1993) und Robert Piloty (1989).
Der Turing Award Preisträger Dana S. Scott ist Ehrendoktor der Universität.
Wolfgang Bibel und Wolfgang Wahlster wurden von der Gesellschaft für Informatik als prägende Köpfe der Deutschen KI-Geschichte ausgezeichnet.
Wolfgang Bibel (1990), John Alan Robinson (1990), Wolfgang Wahlster (1993), Holger H. Hoos (2015) und Frank Pfenning (2015) wurden als Fellows der Association for the Advancement of Artificial Intelligence (AAAI) ausgezeichnet.
Wolfgang Bibel (2006) und John Alan Robinson (1996) wurden mit dem Herbrand Award für herausragende Beiträge zum automatischen Theorembeweisen ausgezeichnet.
Wolfgang Bibel (1999), Wolfgang Wahlster (1999), Bernd Neumann, Torsten Schaub (2012) und Kristian Kersting (2019) wurden als Fellows der European Association for Artificial Intelligence (EurAI) ausgezeichnet.
Carl Adam Petri erhielt 2008 den Computer Pioneer Award der IEEE Computer Society für seine Arbeit zum Petri-Netz.