Related papers: Boris (Boaz) Trakhtenbrot -- The Beginning
An origin is often an intriguing issue. It becomes doubly intriguing when the logical form of thinking is considered. In this paper we will investigate exactly that: we will conjecture on the origin of basic instruments of logical thinking.…
In his seminal paper ``Computing Machinery and Intelligence'', Alan Turing introduced the ``imitation game'' as part of exploring the concept of machine intelligence. The Turing Test has since been the subject of much analysis, debate,…
In 1924, Satyendra Nath Bose dispatched a manuscript introducing the concept now known as Bose statistics to Albert Einstein. Bose could hardly have imagined that the exotic statistics of certain emergent particles of quantum matter would…
This article is intended as a guide for new graduate students in the field of computational science. With the increasing influx of students from diverse backgrounds joining the ever-popular field, this short guide aims to help students…
The essay consists of three parts. In the first part, it is explained how theory of algorithms and computations evaluates the contemporary situation with computers and global networks. In the second part, it is demonstrated what new…
Mathematics is changing. Computers are verifying proofs, checking calculations, and exploring complex structures that would overwhelm human effort. Yet curiosity-driven research is where tomorrow's breakthroughs are quietly prepared. In…
From its very beginning, Quantum Theory developed contrary to the intentions of its creators. For Max Planck it marks the failure of a long-term research program, in which he tried to understand the 2nd law of thermodynamics…
Over the past 50 years, the use of mathematical models, derived from physical reasoning, to describe molecular and cellular systems has evolved from an art of the few to a cornerstone of biological inquiry. George Oster stood out as a…
Engaging students in teaching foundational Computer Science concepts is vital for the student's continual success in more advanced topics in the field. An idea of a series of Jupyter notebooks was conceived as a way of using Bloom's…
The paper is dedicated to the memory of prominent theoretical physicist and mathematician Dr. Vadim Kuznetsov who worked, in particular, in the fields of the nonlinear dynamics, separation of variables, integrability theory, special…
This is a prelude to a book which I intend to publish. This paper describes my temporary thoughts on Einstein's pathway to the special theory of relativity. See my papers on my thoughts on Einstein's pathway to his general theory of…
Over nearly three decades at the University of Wisconsin, Jeff Naughton has left an indelible mark on computer science. He has been a global leader of the database research field, deepening its core and pushing its boundaries. Many of…
The 100th anniversary of Bruno Touschek's birth also marks 60 years since the first beams of electrons and positrons circulated in AdA, the first ever matter-antimatter collider built in Frascati National Laboratories following Touschek's…
In November 2014 Alexander Grothendieck passed away at the age of 86. There is no doubt that he was one of the greatest and most innovative mathematicians of the 20th century. After a bitter childhood, his meteoric ascent started in the…
We discuss the role of combinators in the development of the modern conception of computation over the course of the past century. We describe how ideas about formalism and mathematical logic led to the introduction of combinators in 1920…
The very humble origins of the Cyberspace, and all the related developments that smoothly conspired and converged towards this concept, making its emergence possible, as the personal computer, TEX and LATEX, the Fax, the internet, the…
The present paper gives an account for the general mathematical reader of the life and work of Martin Davis. Since two rather comprehensive autobiographical accounts and two long biographical interviews already exist, the present work…
The quest to understand consciousness, once the purview of philosophers and theologians, is now actively pursued by scientists of many stripes. We examine consciousness from the perspective of theoretical computer science (TCS), a branch of…
The success of the abstract model of computation, in terms of bits, logical operations, programming language constructs, and the like, makes it easy to forget that computation is a physical process. Our cherished notions of computation and…
Half a century ago, Charles Bachman foresaw the significance and centrality of data in the digital world. In this short paper, we delve into the evolution of these ideas within the database community over the past decades. We believe that…