• 26. September 2017

  • RSS abonnieren
  • Wiener Zeitung auf Facebook
  • Auf Twitter verfolgen
  • Wiener Zeitung auf Google+
  • Apple App Store
  • Google Play Store

Sie sind hier:



Schlagwortsuche

Logik

Der Kopf hinter der modernen Informatik

  • George Boole schuf theoretische Basis für Computer und Smartphones.

London. Wer heute etwas im Internet sucht, findet dank George Boole das gewünschte Ergebnis: Der britische Selfmade-Mathematiker hat Mitte des 19. Jahrhunderts die Gesetze der Logik formuliert, nach denen Computer, Smartphones, Datenbanken und eben auch Internet-Suchmaschinen funktionieren... weiter




Wenn ein Computer Fehler macht , liegt das zumeist am Menschen . - © corbis/Psihoyos

Summer of Logic

"Der Computer ist ein Preuße"4

  • Computer brauchen perfekte Anweisungen. Je schneller sie sich ändern, desto größer die Fehlergefahr.

Wien. Unterhalten sich zwei Computer über Evolution - sagt der eine: "Ich bin für die Schöpfungslehre. Ich kann mir nämlich nicht vorstellen, dass wir von so unvollkommenen Wesen wie den Menschen abstammen." Ein Logiker würde zumindest dem zweiten Teil der Pointe zustimmen, denn der Witz zeigt auf... weiter




Jede Zahl entspricht einer Aussage: Logiker tagen, um sich darüber die Köpfe zu zerbrechen. - © TU Wien

Logik-Konferenz in Wien

Olympische Zahlenspiele2

  • Beim "Vienna Summer of Logic" treffen sich 2500 Experten und rechnen Computer um die Wette.

Wien. (est) "Alle Kreter sind Lügner", sagte Epimenides der Kreter. Wenn dieser Satz des Philosophen wahr ist, ist ein Kreter kein Lügner. Wenn aber nicht alle Kreter lügen, ist der Satz falsch. Ist der Satz also wahr oder falsch? Mit Sätzen, die Aussagen über sich selbst treffen, lassen unauflösliche Widersprüche schaffen... weiter




Kurt Gödel als Student in Wien in den 1920er Jahren. - © wikimedia

Kurt Gödel

Gottesbeweis eines Logikgenies4

  • Computer bestätigt: Argumentation Kurt Gödels für die Existenz Gottes ist korrekt.

Wien. Er galt als genialer Mathematiker und Logiker, zugleich aber auch als paranoider Spinner. Der gebürtige Wiener Kurt Gödel (1906-1977), der 1938 emigrierte und es zum Professor an einer der bekanntesten Universitäten der USA brachte, litt unter der Wahnvorstellung, man wolle ihn vergiften, und starb, weil er nach einem Schlaganfall seiner Frau... weiter





Werbung




Werbung