Приезд в ЛЭТИ Бруно Бухбергера (обновленная программа)

Отправлено 16 янв. 2015 г., 4:21 пользователем Sergey Pozdnyakov   [ обновлено 2 февр. 2015 г., 10:46 ]
   Уважаемые коллеги! Сообщаю, что в связи с организацией лаборатории компьютерной математики в ЛЭТИ с 4 по 11 февраля 2015 года в ЛЭТИ приезжает Бруно Бухбергер - создатель базисов Грёбнера.
Прошу всех заинтересованных в присутствии на его лекциях и во встречах с ним написать на мой адрес почты (указан на сайте).

Рабочая программа пребывания Бруно Бухбергера в ЛЭТИ (исправлено 02.02.2015)

ПРОГРАММА рабочих встреч во время визита Бруно Бухбергера в ЛЭТИ

5 февраля (четверг)

14.00-15.30 Доклад на семинаре в Санкт Петербургском отделении математического института им. Стеклова РАН:

Computer Algebra and Automated Reasoning: A Personal View on the Future of Mathematics

Официальный сайт семинара: http://logic.pdmi.ras.ru/GeneralSeminar

Место проведения – Санкт-Петербург, наб. Фонтанки 27, ауд. 311.

9 февраля (понедельник)

12.00-13.30 Публичная лекция в СПбГЭТУ «ЛЭТИ»:

The Role of Computer Mathematics for Innovation of Research, Education, and Economy.

Место проведения – Санкт–Петербург, ул. Профессора Попова, д. 5, 1 этаж,
зал видеоконференций 5-го корпуса.

10 февраля (вторник)

15.00-16.30 Семинар международного математического института им. Эйлера в формате свободной дискуссии с участием Б. Бухбергера.

Место проведения – Санкт–Петербург, Песочная набережная, 10.


(Talk, Feb 5, 2015, at POMI)

Symbolic Computation:

A Personal View on the Future of Mathematics

Bruno Buchberger

Research Institute for Symbolic Computation

Johannes Kepler University, Linz, Austria

In this talk I will give an overview on the main ideas of my “Theorema” approach to mathematics, which reflects my view on mathematics that evolved over my life as a mathematician (“from 17 to 71”):

  • Mathematics is the “art of explanation”, the art of reducing the complex to the simple. Hence, mathematics is of highest relevance for the “wo-man on the street”.

  • Mathematics is in the center of the “innovation spiral” that starts from basic research on the nature of nature and goes all the way via technology to economy and welfare. Hence, mathematics is of highest relevance to our society.

  • Mathematics is the meta-theory of itself. It can explain how we derive new mathematical knowledge and methods from available knowledge and methods. This is possible because mathematics is essentially formal. The application of mathematics to itself, i. e. to the mathematical exploration process, was hardly noticeable until the middle of the 20th century. However, now, we can observe what “application of mathematics to itself” means practically. This will be of highest relevance to the way how we will do mathematics (including software) in the future. As a consequence (semi-) automation of the mathematical exploration process will be of highest relevance to the “working mathematician”. 
I think that predicate logic (in some nicely readable two-dimensional – even user-definable – syntax) is the natural frame for providing a version of mathematics that pleases the wo-man from the street, society, and the working mathematicians. And all the effort and attention must go to automating natural reasoning in predicate logic for pleasing everybody with more and more attractive mathematics. 

This is the reason why approximately in the middle of the 1990-ies I launched the Theorema Project. 
In the talk, I will give an overview on the current state of the project, which – due to my many services for “society” that took lots of my time – is not yet at a stage which is satisfactory. However, I hope I will be able to explain a few highlights and to draw a picture from which the avenues to the future can be guessed. 
For this, as an example I will show how, within Theorema, the essential point of algorithmic Gröbner bases method can be invented automatically.

Of course, Theorema is just one in a group of research projects that pursue the automation of mathematics. I am very optimistic, nervous, and excited to enjoy the dawn of a new era of mathematics that will put mathematics right into the center of modern society in a tangible, natural, artistic and surprising way.


(Talk, Feb 9, 2015, at LETI)

The Role of Computer Mathematics

for Innovation of Research, Education, and Economy

Bruno Buchberger

Research Institute for Symbolic Computation

Johannes Kepler University, Linz, Austria

Since my time as a student many years ago, I had to live and I tried to live in both worlds: 

-  the world of science, academia, basic research (in the area of computer mathematics)

-  the world of industry, economy, companies, technology transfer.

In fact, I think that only if one tries to encompass the whole spectrum from basic science through applied research all the way to business, economy, start-ups, venture capital etc. one can understand and contribute to modern life and society and, at the same time, can get full personal pleasure and satisfaction from living in this exciting stage of societal evolution.

In this talk, I will report on some aspects of my research life (research in symbolic computation, foundation of the Research Institute for Symbolic Computation and the Journal of Symbolic Computation) as well as on some aspects of my work for technology transfer and economic innovation (notably by building up the Softwarepark Hagenberg near Linz, Austria’).

I will give a personal view on current science (in particular, the central role of mathematics and computer science) and the innovation chain from science via technology and economy to societal welfare. Finally, I will  give some practical hints and, hopefully, some inspiration for academic institutions how to take responsibility for the future of our world and for students how to shape their study, their career and a responsible life in the global society.