Related papers: Boris (Boaz) Trakhtenbrot -- The Beginning
In this reminiscence I discuss the influence of Henry Eyring and John Barker upon my life and work. Others, especially my family, have been of even greater personal influence. However, these two great and grand men were of tremendous…
One of the basic assumptions implicit in the way physics is usually done is that all causation flows in a bottom up fashion, from micro to macro scales. However this is wrong in many cases in biology, and in particular in the way the brain…
Computational Logic is the use of computers to establish facts in a logical formalism. Originating in 19th-century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms,…
Presents a history of the evolution of the author's ideas on program-size complexity and its applications to metamathematics over the course of more than four decades. Includes suggestions for further work.
Here we weave together interviews conducted by the author with three prominent figures in the world of Ramanujan's mathematics, George Andrews, Bruce Berndt and Ken Ono. The article describes Andrews's discovery of the "lost" notebook,…
This paper presents a brief account of some of the my early research interests. This historical account starts from my laurea thesis on Signal Theory and my master thesis on Computation Theory. It recalls some results in Combinatory Logic…
I survey recent progress on a classic and challenging problem in social choice: the fair division of indivisible items. I discuss how a computational perspective has provided interesting insights into and understanding of how to divide…
The problem of replicating the flexibility of human common-sense reasoning has captured the imagination of computer scientists since the early days of Alan Turing's foundational work on computation and the philosophy of artificial…
This article concerns the life and work of Lucjan Emil B\"ottcher (1872-1937), a Polish mathematician. Besides biographical and bibliographical information, it contains a survey of his mathematical achievements in the theory of iteration…
A brief account of interesting moments in the genesis of the quark paradigm is presented.
From artificial intelligence to network security to hardware design, it is well-known that computing research drives many important technological and societal advancements. However, less is known about the long-term career paths of the…
The aim of this paper is to study the historical evolution of mathematical thinking and its spatial spreading. To do so, we have collected and integrated data from different online academic datasets. In its final stage, the database…
This paper shows that the main features of Turing's thesis derived from those of the expression system (Turing machines) it inaugures, and in particular its conformity. The notions of inaugural statements and texts are defined and…
By the twelfth century, northern European scholars gradually embraced Arabic innovations in science and technology. England naturally developed into a significant centre of the new learning in western Europe. Hereford, and specifically its…
This article was written on the occasion of Hans Grauert receiving the Cantor Medallion of the Deutsche Mathematische Vereinigung. It is a brief overview of his mathematical contributions and attempts to convey the author's great respect…
The reality of Bohm's intellectual journey is very different from what is often claimed by the proponents of "Bohmian Mechanics" and others as we will explain in this paper. He did not believe a mechanical explanation of quantum phenomena…
Living things, computers, societies, and even books are part of a grand evolutionary struggle to survive. That struggle shapes nature, nations, religions, art, science, and you. What you think, feel, and do is determined by it. Darwinian…
This paper describes how born digital primary sources could be used to reconstruct the recent history of scientific institutions. The case study is an analysis of the first 25 years online of the University of Bologna. The focus of this…
Considering that Turing's original test was co-opted by Weizenbaum and that six of the most common criticisms of the Turing test are unfair to both Turing's argument and the historical development of AI.
Einstein is usually revered as the father of special and general relativity. In this article I demonstrate that he is also the father of Solid State Physics, or even his broader version known as Condensed Matter Physics (including liquids).…