Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Jänner 1978 in Princeton, New Jersey) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik, zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik. Auch seine philosophischen Erörterungen zu den Grundlagen der Mathematik fanden weite Beachtung. Nicht nur von ihm bewiesene mathematische Theoreme tragen seinen Namen, sondern auch das von ihm modellhaft entwickelte Gödel-Universum, die in der Programmierung verwendete Gödelisierung sowie der Logikpreis Gödel-Lecturer und der Gödel-Preis für herausragende Veröffentlichungen in der theoretischen Informatik. – Zum Artikel …
from Die Artikel des Tages der Wikipedia http://ift.tt/1WqWZpY
0 comments:
Post a Comment