11th International Colloquium on Theoretical Aspects of Computing
17-19 September 2014, Bucharest, Romania

Special Guest

We are pleased to announce that we will have a Special Guest on 17th of September 2014 in the person of Solomon Marcus.

Solomon Marcus

Romanian Academy, Romania

will talk about:
The Computation project
the Bourbaki project

Abstract: We compare two of the most important Research Projects of the 20th century, pointing out their similarities and their contrasts. The Computation Project started in the thirties of the past century, having as its aim the investigation of the various ways to make more constructive the scientific thinking. Various variants of computability emerged. The Bourbaki Project started in 1935, aiming to rewrite Mathematics, mainly what happened in the interval between 1890 and 1935, when a lot of new directions of research emerged. In order to unify all these new mathematical fields in a coherent construction, Bourbaki adopted the axiomatic-deductive approach, a higher standard of rigor, and organized Math on the basis of three types of structures: order, algebraic and topological structures. A similar thing happened in the Computation Project, but here a new unification structure is adopted as a central one: the rewriting systems. Bourbaki Project is mainly structural; the Computation Project is mainly generative. A large part of mathematics used in the Computation Project was rejected by the Bourbaki Project: Foundations of Math, Mathematical Logic, Combinatorics. Both projects had to struggle against disorder and mistakes. A typical case for Bourbaki was Edouard Goursat: "Cours d'Analyse". For the Computation Project, just Chomsky's 1956 pioneering article proved to be full of formal mistakes.

Bio: Solomon Marcus (born March 1, 1925) is a Romanian mathematician, member of the Mathematical Section of the Romanian Academy and Emeritus Professor of the University of Bucharest's Faculty of Mathematics and Computer Science and affiliated with the "Simion Stoilow" Institute of Mathematics. His main research is in the fields of mathematical analysis, mathematical and computational linguistics and computer science, but he also published numerous papers on various cultural topics: poetics, linguistics, semiotics, philosophy and history of science and education. (source: Wikipedia)