Название: Mathematik – Management – Meditation
Автор: Bruno Buchberger
Издательство: Автор
Жанр: О бизнесе популярно
isbn: 9783990404409
isbn:
Rigorosum: die letzte, umfassende, „strenge“ Prüfung beim Doktoratsstudium.
2013 hat Peter Paule dazu das Buch „Mathematics, Computer Science and Logic – A Never Ending Story“ (Springer, Heidelberg) herausgegeben. Es umfasst Gedanken namhafter Mathematiker über das Zusammenspiel dieser drei Gebiete.
Algorithmus: eine durch den Computer ausführbare Methode zur Lösung eines mathematischen Problems.
Hans Knapp (später Professor an der Johannes Kepler Universität Linz; leider 2004 allzu früh verstorben) und Gerhard Wanner (später viele Jahre Professor an der Universität Genf und ein sehr bedeutender numerischer Mathematiker).
Der Titel meines Vortrags war „Machine-independent Complexity Theory“. Natürlich hängt die Komplexität von Berechnungen wesentlich vom verwendeten Computer ab. Der Titel war also provokant, denn in der Tat kann man sehr viele fundamentale Dinge über Komplexität relativ zur Hardwaregeschwindigkeit der konkreten Maschine sagen. Die feine Provokation, die zum Denken anregen sollte, hatte also voll eingeschlagen, allerdings zu meinem Schaden.
Yuri Matiyasevich hat 1970 gezeigt, dass das berühmte „Zehnte Hilbert-Problem“, das David Hilbert (1862 – 1943) 1904 in seine Sammlung fundamentaler ungelöster Probleme der Mathematik aufgenommen hatte, grundsätzlich nicht durch Computerverfahren („Algorithmen“) gelöst werden kann. Dieses „Zehnte Problem“ ist im Wesentlichen dieselbe Fragestellung, mit der ich mich in meiner Dissertation beschäftigt habe, aber in der Version, wo es um die ganzzahligen Lösungen nicht linearer Systeme geht. Mein Problem in der Dissertation war dasselbe Problem für Lösungen in beliebigen Zahlbereichen. Natürlich war es naheliegend zu glauben, dass das Problem in beliebigen Zahlbereichen unlösbar sei, wenn es „schon in ganzzahligen Bereichen nicht lösbar ist“. Dass es genau umgekehrt ist, war also unerwartet und eben überraschend.
Rüdiger Loos, viele Jahre ordentlicher Professor für Informatik in Tübingen und ein Pionier für das, was man heute „Computer-Algebra“ nennt, und ein Vorkämpfer für die Verbindung von ausgefeilter Algorithmik und guter Software.
B. Buchberger/G. E. Collins/R. Loos: Computer-Algebra – Symbolic and Algebraic Computation. Springer, Wien 1982.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.