A Formal Theory of Inductive Inference. Part II

No abstract is available for this paper.

• Publication year

  1964

• Venue

  Information and Control

• Publication date

  1964-06-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1016/S0019-9958(64)90131-7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer Languages for Symbol Manipulation

  1961cited by this paper
• Three models for the description of language

  1956influential reference
• Logical foundations of probability

  1951cited by this paper
• On computable numbers, with an application to the Entscheidungsproblem

  1937cited by this paper
• Treatise on Probability

  1872cited by this paper

• Derivation Depth as an Information Metric: Axioms, Coding Theorems, and Storage--Computation Tradeoffs

  2026cites this paper
• A Model-Free Universal AI

  2026cites this paper
• The Science of the New

  2026cites this paper
• Causal Direction from Convergence Time: Faster Training in the True Causal Direction

  2026cites this paper
• Identifying Causal Direction via Variational Bayesian Compression

  2025cites this paper
• Stability-Driven Assembly Theory.

  2025cites this paper
• Deep Learning as a Convex Paradigm of Computation: Minimizing Circuit Size with ResNets

  2025cites this paper
• Foundations of Artificial Intelligence Frameworks: Notion and Limits of AGI

  2025cites this paper
• Space-Bounded Online Kolmogorov Complexity is Additive

  2025cites this paper
• What the F*ck Is Artificial General Intelligence?

  2025cites this paper
• AI Agents as Universal Task Solvers

  2025cites this paper
• Algebraic Barriers to Halving Algorithmic Information Quantities in Correlated Strings

  2025cites this paper
• Quantum AIXI: Universal Intelligence via Quantum Information

  2025cites this paper
• On the Realizability of Prime Conjectures in Heyting Arithmetic

  2025cites this paper
• Toward a Psychology of Individuals: The Ergodicity Information Index and a Bottom-up Approach for Finding Generalizations

  2025cites this paper
• A Simple Overview of Complex Systems and Complexity Measures

  2025cites this paper
• General Mathematical Proof of Occam's Razor; Upgrading Theoretical Physicists' Methodology

  2025cites this paper
• Refactoring Codebases through Library Design

  2025cites this paper
• Identifying Information from Observations with Uncertainty and Novelty

  2025cites this paper
• A Mathematical Philosophy of Explanations in Mechanistic Interpretability - The Strange Science Part I.i

  2025cites this paper
• Online Learning Techniques for Occupancy Detection on Resource Constrained Devices

  2025cites this paper
• The Fractal Logic of Φ-adic Recursion

  2025cites this paper
• Extending antichains in the poset ⟨[ω]<ω,⊆⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle [\omega ]^{<\omega

  2025cites this paper
• Adjusted Kolmogorov Complexity of Binary Words with Empirical Entropy Normalization

  2025cites this paper
• Large Language Models as Computable Approximations to Solomonoff Induction

  2025cites this paper
• Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints

  2025cites this paper
• Languages of Words of Low Automatic Complexity Are Hard to Compute

  2025cites this paper
• Quantum AGI: Ontological Foundations

  2025cites this paper
• The Algorithmic Regulator

  2025influential citation
• Algorithmic Temperature Induced by Adopted Regular Universal Turing Machine

  2025cites this paper
• Optimal spatial searches with long-range tunneling

  2025cites this paper
• Similarity as Thermodynamic Work: Between Depth and Diversity - from Information Distance to Ugly Duckling

  2025cites this paper
• Hamiltonian Formalism for Comparing Quantum and Classical Intelligence

  2025cites this paper
• Universal pre-training by iterated random computation

  2025cites this paper
• Syntactic Structure, Quantum Weights

  2025cites this paper
• In Memory of Martin Davis

  2024cites this paper
• Understanding LLMs Requires More Than Statistical Generalization

  2024cites this paper
• Predictability and Randomness

  2024cites this paper
• Deep learning in structural bioinformatics: current applications and future perspectives

  2024cites this paper
• Kolmogorov complexity and nondeterminism versus determinism for polynomial time computations

  2024cites this paper
• Algorithmic Information Theory for the Precise Engineering of Flexible Material Mechanics

  2024cites this paper
• Comparison of two statistical measures of complexity applied to ecological bipartite networks

  2024cites this paper
• Lower Bounds for Levin-Kolmogorov Complexity

  2024cites this paper
• Conversational complexity for assessing risk in large language models

  2024cites this paper
• Language Models are Symbolic Learners in Arithmetic

  2024cites this paper
• On Jacob Ziv’s Individual-Sequence Approach to Information Theory

  2024cites this paper
• To the logical foundations of random number generator construction

  2024cites this paper
• A maturity framework for data driven maintenance

  2024cites this paper
• Lossless data compression by large models

  2024cites this paper
• Combining Induction and Transduction for Abstract Reasoning

  2024cites this paper
• Compression via Pre-trained Transformers: A Study on Byte-Level Multimodal Data

  2024cites this paper
• Measuring Stochastic Data Complexity with Boltzmann Influence Functions

  2024cites this paper
• Modeling the Arrows of Time with Causal Multibaker Maps

  2024cites this paper
• Enhancing metagenomic classification with compression-based features

  2024cites this paper
• Simplicity Bias in Human-generated data

  2024cites this paper
• The CASU Arithmetic Singularity: Unification of Arithmetic, Geometry and Physics

  2024cites this paper
• Harmonizing Program Induction with Rate-Distortion Theory

  2024cites this paper
• Analyzing the Role of Semantic Representations in the Era of Large Language Models

  2024cites this paper
• Complexity and Its Creation

  2024cites this paper
• Complex systems approach to natural language

  2024cites this paper
• Learning Universal Predictors

  2024cites this paper
• Natural Induction: Spontaneous Adaptive Organisation without Natural Selection

  2024cites this paper
• Levin-Kolmogorov Complexity is not in Linear Time

  2024cites this paper
• Uniquely human intelligence arose from expanded information capacity

  2024cites this paper
• Data Reconstruction: When You See It and When You Don't

  2024cites this paper
• Kolmogorov's Last Discovery? (Kolmogorov and Algorithmic Statistics)

  2024cites this paper
• Model Selection from Multiple Model Families in Species Distribution Modeling Using Minimum Message Length

  2024cites this paper
• Characterizing the Power of (Persistent) Randomness in Log-space

  2023cites this paper
• Simplicity bias, algorithmic probability, and the random logistic map

  2023cites this paper
• Mathematical discoveries from program search with large language models

  2023cites this paper
• The algorithmic origins of counting.

  2023cites this paper
• When Is Inductive Inference Possible?

  2023cites this paper
• One-way Functions and Hardness of (Probabilistic) Time-Bounded Kolmogorov Complexity w.r.t. Samplable Distributions

  2023cites this paper
• Learn to Categorize or Categorize to Learn? Self-Coding for Generalized Category Discovery

  2023cites this paper
• Can LLMs Follow Simple Rules?

  2023cites this paper
• Bias and Error Mitigation in Software-Generated Data: An Advanced Search and Optimization Framework Leveraging Generative Code Models

  2023cites this paper
• A Note On the Universality of Black-box MKtP Solvers

  2023cites this paper
• Is Darwinian selection a retrograde driving force of evolution?

  2023cites this paper
• Complexity evaluation of network configurations and abstractions

  2023cites this paper
• Learning in Pessiland via Inductive Inference

  2023cites this paper
• Generative AI vs. AGI: The Cognitive Strengths and Weaknesses of Modern LLMs

  2023cites this paper
• Pushing the Limits of Machine Design: Automated CPU Design with AI

  2023cites this paper
• Bounded learning and planning in public goods games.

  2023cites this paper
• A Circuit Complexity Formulation of Algorithmic Information Theory

  2023cites this paper
• Reinforcement Learning with Simple Sequence Priors

  2023cites this paper
• Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language

  2023cites this paper
• The Bielefeld School of economics, Post Keynesian economics, and dynamic complexity

  2023cites this paper
• A Measure of Explanatory Effectiveness

  2023cites this paper
• Language Modeling Is Compression

  2023cites this paper
• Re-reading Jevons(cid:146)s Principles of Science (cid:150) Induction Redux (cid:3)

  2023cites this paper
• Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis

  2023cites this paper
• Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines

  2023cites this paper
• Emergence in complex networks of simple agents

  2023cites this paper
• Dimensions of Explanatory Value in NLP Models

  2023cites this paper
• Quantum Entropies and Decoherence for the Multiparticle Quantum Arnol’d Cat

  2023cites this paper
• An Efficient Quadrature Sequence and Sparsifying Methodology for Mean-Field Variational Inference

  2023cites this paper
• The No Free Lunch Theorem, Kolmogorov Complexity, and the Role of Inductive Biases in Machine Learning

  2023cites this paper
• On the existence of highly organized communities in networks of locally interacting agents

  2023cites this paper
• Statistical measures of complexity applied to ecological networks

  2023cites this paper
• A novel nonlinear bispectrum analysis for dynamical complex oscillations

  2023cites this paper