RESEARCH PROJECTS

I am working in algorithmic information theory, automata, computability, quantum computing, and philosophy and history of mathematics. My publications.
  1. Dyson Statements that Are Likely to Be True but Unprovable
  2. Formal Proofs for AIT
  3. Complexity and Incompleteness
  4. AIT with Natural Complexity