## Research Questions

I am primarily devoted in finding clues to:

*Why is the Universe computable?*- the extraordinary effectiveness of AIT techniques like Solomonoff induction is based on just one assumption: the Universe is computable by a universal Turing machine. Why so? Why do the Church-Turing thesis hold? What does that tell us of the nature of our physical laws, or of the scientific method? Why do simple programs give rise to complex behavior? Is comprehension by compression and uncomputability of universal automata two sides of the same coin? Is everything relative to a partial trace or course-graining? Is truth relational? The ubiquity of universality and the computational reducibility self-referential? Does a Markov blanket automatically give rise to a probability distribution of Bayesian beliefs and information geometry? Is a non-anthropocentrism viewpoint possible?*Is there a computational action?*- the action in Lagrangian in physics is fundamental to many core theories and look very similar to computational and algorithmic complexity - Are they? What roles do the computational resources play? What is the relation between computational, algorithmic complexity and thermodynamics? Can locality and causality be violated?

## Research Themes

Research themes evolve over time. My older interests are listed with ~~strikethrough~~. Some of my core interests are:

*Applied Category Theory*- computational category theory; universal algebras; categorical intelligence*Algorithmic Information*- experimental algorithmic information theory;~~computational complexity phase change behavior;~~relations between expressibility-reachability-learnability-universality; description complexity …read more*Artificial Intelligence*- universal artificial general intelligence; recursive self-improvement; universal constructors;~~explainable neural networks;~~neuro-evolution; neuro-symbolic AI;~~cellular automata rule learning; algorithmic perturbation analysis; do-calculus~~…read more*Quantum Computation*-~~quantum Hamiltonian complexity; quantum learning theory;~~quantum complexity geometry; quantum information;~~quantum swarm intelligence;~~tensor networks; holographic quantum circuit complexity;~~Feynman checkerboard QFT~~…read more*Bioinformatics*- in silico design space exploration for xenobiology; artificial life; synthetic biology; causal models of gene regulatory network; self-replicating RNA medicines*Swarm intelligence*-~~multi-agent collaboration; swarm robotics;~~emergence; coarse-graining- Others -
~~fractals; game theory; RtOS; computer vision; digital steganography~~

Here’s a visual that captures the most important topics:

## Mind Map

… of all things I live to keep myself updated about, and associated contributor to those ideas,…

The blue boxes and their 1-hop neighbours are my core interests.

I tried finding my core interests in the Domain of Science charts. I eventually figured that most of my core interests lie in the field of computer science. The interests within physics, mathematics, and biology reflect the topics in computer science. Here’s the result:

## Links to articles I love

- Physics, Topology, Logic and Computation: A Rosetta Stone
- Finding Structure in Science and Mathematics
- The Universe is Lawless or “Pantôn chrêmatôn metron anthrôpon einai”
- The Concept of the Ruliad
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
- A Complete Theory of Everything (will be subjective)
- Algorithmic Theories of Everything
- Law without law: from observer states to physics via algorithmic information theory
- Resource theory of quantum uncomplexity
- The bitter truth about gate-based quantum algorithms in the NISQ era

## Scientists with overlapping research interest with me

Some researchers I currently follow very closely for my research.

- Marcus Hutter - Universal artificial general intelligence; AIXI-tl
- Hector Zenil - Experimental algorithmic information theory; Block decomposition method
- Markus Müller - Quantum foundations using Solomonoff induction
- David Wolpert - Thermodynamics of Turing machines; No free lunch theorems
- Stephen Wolfram - Cellular automata types, Metamathematics
- Cristian S. Calude - Algorithmic information theory; quantum computing
- John Baez - Applied category theory
- Noson Yanofsky - Category theory
- Yoshihiro Maruyama - Applied category Theory

## Favourite formulae/hypotheses

List of formulae or hypotheses that I find most impactful

- Deutsch-Church-Turing thesis
- Curry-Howard-Lambek correspondence
- Mass-Energy-Information equivalence
- Area law of entanglement
- Thermodynamic Kolmogorov complexity
- QKSA
- AIXI
- Solomonoff induction
- Mandelbrot set
- Barsley fern fractal
- Glynn Julia set

## On the shoulder of giants

(Created Jul 23, 2019) (Updated Apr 10, 2022)

I have been deeply inspired by many *giants* in the scientific community. I hold them in the highest regard for either their thoughts well resonate with mine or their propositions fuel my neural engines.

### Favourite scientists of all time

The 3 of my most favourite scientists: John von Neumann, John Archibald Wheeler, Ray Solomonoff, in Salvador Dali art style (using the Android app Moment Cam).

### Scientists I highly regard

While unification has been the holy grail for too long, I find clues lurking in the works of these great men.

- James Clerk Maxwell(1831-1879) - Maxwell’s demon
- Max Plank(1858-1947) - Plank units
- Albert Einstein(1879-1955) - General relativity
- Neils Bohr(1885-1962) - Atomic model; classical observers
- Louis de Bröglie(1892-1987) - Wave-particle duality
- Erwin Schrödinger(1887-1961) - Wavefunction; life; observer; Schrödinger equation; Schrödinger cat; quantum biology
- Werner Heisenberg(1901-1976) - Uncertainty principle; matrix mechanics
- John von Neumann(1903-1957) - Self-replicating machines; automata theory; stored program
- Andrey Nikolaevich Kolmogorov(1903-1987) - Algorithmic complexity
- Alonso Church(1903-1995) - Lambda calculus; Church-Turing thesis
- Kurt Friedrich Gödel(1906-1978) - Incompleteness theorem
- John Archibald Wheeler(1911-2008) - It from bit
- Alan Mathison Turing(1912-1954) - Turing machine; Turing test
- Claude Elwood Shannon(1916-2001) - Information theory
- Richard Phillips Feynman(1918-1988) - Quantum computation; Feynman diagrams
- Benoit Mandelbrot(1924-2010) - Fractals
- Ray Solomonoff(1926-2009) - Algorithmic probability; universal prior
- Marvin Lee Minsky(1927-2016) - Artificial intelligence; perceptron; useless box
- Stephen William Hawkins - Hawkings radiation

…and among those who are still around

- Gregory Chaitin - Algorithmic complexity; omega number
- Charles Bennett - Logical depth; pebbling game; quantum computation models
- Jürgen Schmidhuber - Low complexity art; Gödel machines
- David Deutsch - Constructor theory
- Leonard Susskind - String theory; loop quantum gravity
- Harry Buhrman
- Paul Vitányi - Algorithmic complexity
- Judea Pearl - Causal model
- Roger Penrose - Quantum mind; Penrose tilings
- Scott Aaronson - Quantum complexity theory
- Cristian S. Calude - Algorithmic information theory; quantum computing
- Ken Thompson - Regular expressions; Unix; B
- Edward Witten - M-Theory
- Eray Özkural - Artificial general intelligence
- Alyssa Adams - Evolution; Algorithmic complexity
- Paola Zizzi
- Vlatko Vedral
- Gerard ‘t Hooft - Cellular automata quantum mechanics
- Karl J. Friston - Free energy principle
- Robert Hoehndorf
- Paul Davies
- Sara Walker- Algorithmic origins of life
- Max Tegmark
- Sean Carroll
- Kristinn R. Thórisson
- Christopher A. Fields
- Stefan Wolf
- Wojciech Zurek
- Chiara Marletto - Constructor theory
- Juan Felipe Carrasquilla Álvarez - Neural network based quantum state tomography
- Shaukat Ali
- Giulio Chiribella
- Robert Spekkens
- Gemma De las Cuevas
- Tor Lattimore
- Laurent Orseau
- Shane Legg
- Jens Eisert - Resource theory of uncomplexity
- Seth Lloyd
- Ronald de Wolf
- Scott Aaronson
- John Baez - Category theory
- Christof Adami
- Mario Krenn
- Roger Melko
- Christopher A. Fuchs - QBism
- Lucas Lamata - Quantum reinforcement learning
- Renato Renner - Quantum thought experiments
- Ilya Nemenman
- Bernhard Schölkopf
- Vedran Dunjko - Quantum reinforcement learning
- Hans Briegel - Projective simulation; Quantum reinforcement learning
- Bob Coecke - Applied category theory; Categorical quantum mechanics
- Marcus Hutter - Universal artificial general intelligence; AIXI-tl
- Hector Zenil - Experimental algorithmic information theory; Block decomposition method
- Markus Müller - Quantum foundations using Solomonoff induction
- David Wolpert - Thermodynamics of Turing machines; No free lunch theorems
- Camilo Miguel Signorelli
- Noson Yanofsky - Applied category theory
- Yoshihiro Maruyama - Applied category Theory
- Oron Shagrir
- Mark Sprevak
- Jack Copeland

… the list keeps growing as the horizon of my knowledge widens.