Visual reasoning for discoveries

In our previous research we investigated the structure of the Primary Language of the human brain as introduced by J. von Neumann in 1957. Two components have been investigated, the algorithm optimizing warfighting, Linguistic Geometry (LG), and the algorithm for inventing new algorithms, the Algorithm of Discovery. The ultimate goal of this research and the emphasis of this paper is to make the next step to understanding the Algorithm of Discovery. Our results, introduced in the recent papers, show that this algorithm is based on multiple thought experiments which manifest themselves via mental visual streams (“mental movies”). It appears that those streams are the only interface available for this brain phenomenon. The visual streams can run concurrently and can exchange information between each other. The streams may initiate additional thought experiments, program them, and execute them in due course. Our research reveals the role of analogy in constructing visual model by erasing the particulars of simple examples, utilizing this model as a reference for constructing the new visual object and a symbolic shell attached to this object in the form of symbolic tags. This paper investigates new hypotheses related to the structure of visual streams of the Algorithm of Discovery. They include the nested streams, the programmed experiments, the visual model, the construction set and the Ghost play. These hypotheses are tested on the thought experiments for development of two algorithms in LG: functions next and med for the Grammars of Shortest and Admissible Trajectories and the No-Search Approach based on the State Space Chart. While those algorithms were partly investigated in our earlier papers this paper goes much deeper, i.e., closer to revealing the nature of the Algorithm of Discovery.