Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

این کتاب چهار مقاله ریاضی را ارائه می‌کند که به بررسی مبانی ریاضیات و موضوعات مرتبط از فلسفه و منطق تا ریاضیات رایانه‌ای مدرن می‌پردازد. در حالی که این مقالات به تکامل تاریخی این مفاهیم مرتبط است، تاکید زیادی بر تحولات آینده دارند.

این کتاب در یک سمپوزیوم در سال 2002 به مناسبت شصتمین سالگرد تولد برونو بوخبرگر، استاد ریاضیات کامپیوتر در دانشگاه یوهانس کپلر، لینز، اتریش، نشأت گرفت. در میان بسیاری از دستاوردهای دیگر، پروفسور بوخبرگر در سال 1985 سردبیر موسس مجله محاسبات نمادین بود. بنیانگذار مؤسسه تحقیقاتی محاسبات نمادین (RISC) و رئیس آن از سال 1987 تا 2000. بنیانگذار در سال 1990 پارک نرم افزار هاگنبرگ، اتریش، و از آن زمان مدیر آن است.

بیش از یک دهه در حال ساخت، ریاضیات، علوم کامپیوتر و منطق - یک داستان بی پایان شامل مقالاتی از مقامات برجسته، در مورد موضوعاتی مانند مبانی ریاضی از دیدگاه تأیید رایانه است. یک فلسفه و روش محاسباتی نمادین برای ریاضیات. نقش منطق و جبر در مهندسی نرم افزار. و جهت گیری های جدید در مبانی ریاضیات. این مقالات الهام‌بخش خوانندگان عمومی و علاقه‌مند به ریاضی را دعوت می‌کنند تا ایده‌های پیشرفته‌ای را به اشتراک بگذارند که داستان بی‌پایان ریاضیات، علوم کامپیوتر و منطق را پیش می‌برد.

ریاضیات، علوم کامپیوتر و منطق - یک داستان بی پایان توسط پروفسور پیتر پائول، جانشین برونو بوخبرگر به عنوان مدیر موسسه تحقیقاتی محاسبات نمادین ویرایش شده است.

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director.

More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic.

Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation.