idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Pure Mathematik einerseits, Nachrichtentechnik auf der anderen Seite hat Prof. Dr. Klaus Leeb, Inhaber des Lehrstuhls für Automatentheorie und formale Sprachen an der Universität Erlangen-Nürnberg, miteinander vereinbart. Es ist ihm gelungen, zwei Gebiete zusammenzuführen, die bisher ihrer Unterschiedlichkeit wegen nicht in Beziehung gesetzt wurden.
Das eine ist die Boolesche Invariantentheorie von 1848, die in geometrischer Ausprägung 1872 unter dem Namen "Kleins Erlanger Programm" bekannt geworden ist, in logischer Ausprägung als "reine Logik" aber etwas vernachlässigt sowie eher sinnverfälschend unter dem Aspekt "Elimination des Auswahlaxioms" betrieben wurde.
Das andere ist eine wirklich algebraische Informationstheorie, die nicht mit Partitionen, sondern mit Stabilisatoren arbeitet. Letztere wurde 1993-95 vom weltweit geachteten Kodierungstheoretiker Goppa für Wörter geschaffen.
Nun sind diese beiden Gebiete zu einem zusammengewachsen. Ziel ist die Bestimmung des mindesten Informationsinhalts einer Struktur aus einer vorgegebenen Gattung dadurch, daß man deren symmetrischste auffindet. Die informationsärmsten Quasiinversen zur Kardinalität wurden bereits bestimmt, und die Kardinalität ist ganz zweifellos die fundamentalste Invariante überhaupt.
* Kontakt:
Prof. Dr. phil. Klaus Leeb
Lehrstuhl für Informatik (Automatentheorie und formale Sprachen)
Martensstraße 3, 91058 Erlangen
Tel.: 09131/85 -27925, Fax: 09131/85 -39388
E-Mail: leeb@immd1.informatik.uni-erlangen.de
http://www1.informatik.uni-erlangen.de/tree/Persons/leeb/
Criteria of this press release:
Mathematics, Physics / astronomy
transregional, national
Research results
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
