Related papers: Remembering Mark Sapir
The year 2024 marks two anniversaries: The 70th anniversary of CERN and the 50th anniversary of the $J/\Psi$ discovery. At this occasion I have been asked to give review talks on the significance of these anniversaries. This article is an…
The next decade will be an exciting time for computational physicists. After 50 years of being forced to use standardized commercial equipment, it will finally become relatively straightforward to adapt one's computing tools to one's own…
Knowledge representation is an important, long-history topic in AI, and there have been a large amount of work for knowledge graph embedding which projects symbolic entities and relations into low-dimensional, real-valued vector space.…
The main purpose of this article is to describe potential benefits and applications of the SP theory, a unique attempt to simplify and integrate ideas across artificial intelligence, mainstream computing and human cognition, with…
We construct an automaton group with a PSPACE-complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namely EXPSPACE-complete, compressed word problem and acts over a…
In this paper, we consider planning in stochastic shortest path (SSP) problems, a subclass of Markov Decision Problems (MDP). We focus on medium-size problems whose state space can be fully enumerated. This problem has numerous important…
This colloquium summarizes Dirac's contributions to the discovery of quantum mechanics before he invented his relativistic wave equation.
Simple models have played an important role in the discussion of foundational issues in statistical mechanics. Among them the spin--echo system is of particular interest since it can be realized experimentally. This has led to inferences…
Semigroup theory is a branch of abstract algebra, and it provides mathematical tools for the theory of computation. Finite semigroups can describe state transition systems and thus they model physically realizable computers. Engineering…
This entry reviews Rudolf Carnap's philosophical views on the quantum mechanics of his time. It also offers some thoughts on how Carnap might have reacted to some recent developments in the foundations of quantum mechanics.
This article provides a brief introduction to the "Theory of Intelligence" and its realisation in the "SP Computer Model". The overall goal of the SP programme of research, in accordance with long-established principles in science, has been…
Search-Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self-adaptive system (SAS) is one category of such complex…
The "Millennium Prize Problems" have a place in the history of mathematics. Here we tell some little-known anecdotes from the perspective of the planner of that project. These stories are far from their end; more likely they are just at…
Dymanics of spin dimers in multiple quantum NMR experiment is studied on the 5-qubit superconducting quantum processor of IBM {Quantum Experience} for the both {pure} ground and thermodynamic equilibrium (mixed) initial states. The work can…
We argue that the halting problem for quantum computers which was first raised by Myers, is by no means solved, as has been claimed recently. We explicitly demonstrate the difficulties that arise in a quantum computer when different…
In this paper I show how path integral techniques can be used to put measures on histories in "susceptible-infectious-recovered" (SIR)-type systems. The standard SIR solution emerges as the classical saddle point of the action describing…
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,…
I published an interview of Leo Breiman in Statistical Science [Olshen (2001)], and also the solution to a problem concerning almost sure convergence of binary tree-structured estimators in regression [Olshen (2007)]. The former summarized…
I argue that most of the key experiments that have born semiconductor spintronics were done and published earlier than the papers cited in the Nature Physics, 4 S20 (2008) milestone article (http://www.nature.com/milestones/spin, milestone…
In 2021, to mark the occasion of 2021 was Y\^oichir\^o Nambu's birth centenary, we engaged in writing a historical/scientific description of his most incisive papers. Nambu was the humblest genius we have known, and we expected to find some…