Related papers: Boris (Boaz) Trakhtenbrot -- The Beginning

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable (even in…

We look at consciousness through the lens of Theoretical Computer Science, a branch of mathematics that studies computation under resource limitations, distinguishing functions that are efficiently computable from those that are not. From…

Leibniz's mathematical texts are a perfect example of a type of historical document that is extremely difficult to deal with in the context of an editorial enterprise: the draft. The tables in Leibniz's mathematical manuscripts are a…

Against the background of explosive growth in data volume, velocity, and variety, I investigate the origins of the term "Big Data". Its origins are a bit murky and hence intriguing, involving both academics and industry, statistics and…

One of the most significant developments in the history of human being is the invention of a way of keeping records of human knowledge, thoughts and ideas. In 1926, the work of several thinkers such as Edouard Le Roy, Vladimir Vernadsky and…

In this short report the first attempt of a new approach to the still mysterious phenomenon of the life, and its peak, the human being, is presented from the view point of the natural sciences, i.e. of the physics in the broad sense of the…

The text of the talk on Workshop on Topology of Algebraic Varieties in honour of Boris Moishezon, Bonn, MPI, Monday July 27, 1998.

The structure, formation and evolution of the Universe were some of the main topics in the scientific debates during the 17th and 18th centuries in Europe. They involved novel ideas on the cosmos, which concerned aspects that were not…

Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their…

During 2015 and early 2016, the cultural application of Computational Creativity research and practice took a big leap forward, with a project where multiple computational systems were used to provide advice and material for a new musical…

UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy…

The field of computability and complexity was, where computer science sprung from. Turing, Church, and Kleene all developed formalisms that demonstrated what they held "intuitively computable". The times change however and today's…

We discuss David Bohm's dual contributions as a physicist and thinker. First, de Grijs introduces Bohm's universe, with an emphasis on the physical quest that led Bohm to the elaboration of an original cosmology at the nexus of science and…

The topic of this paper is, on the one hand to introduce algebraic analysis results of \'Etienne B\'ezout (1730- 1783) not as we know them today but as he found them in his time, and on the other hand to emphasize his innovating viewpoints.…

Tock began 10 years ago as a research operating system developed by academics to help other academics build urban sensing applications. By leveraging a new language (Rust) and new hardware protection mechanisms, Tock enabled…

It is with heavy hearts that we mourn the passing of Ning Cai, a luminary whose pioneering spirit illuminated the realms of network coding and beyond. On May 25, 2023, at the age of 75, Prof. Cai bid farewell, leaving behind a profound…

This paper is a short historical note about the origin of the Pole-Barn and the Fat Man Paradoxes

This essay aims to bid analogue historians assume that digitisation is the first step to creating historical heritage based on the new language of Science: Computer Science. As we know, Humanities disciplines cannot easily be encapsulated…

Einstein's blackboard is a well-known exhibit at the History of Science Museum at Oxford University. However, it is much less well known that the writing on the board provides a neat summary of a work of historic importance, Einstein's 1931…

My thesis describes the life and work of the mathematician Major Percy Alexander MacMahon (1854-1929). His early life as as a soldier in the Royal Artillery and the events which led to him embarking on a career in mathematical research and…