Computer Science â€ș Computational Theory and Mathematics

Computability, Logic, AI Algorithms

Description

This cluster of papers explores topics in computational complexity and algorithmic information theory, including Kolmogorov complexity, randomness, Turing machines, compression-based distance measures, universal intelligence, computational depth, fractal dimension, and causal discovery.

Keywords

Algorithmic Information Theory; Computability; Kolmogorov Complexity; Randomness; Turing Machines; Compression-based Distance; Universal Intelligence; Computational Depth; Fractal Dimension; Causal Discovery

Most Cited Works

Action Title Date Authors
+
A Course in Computational Algebraic Number Theory 1993-01-01 Henri Cohen
+
Introduction to Piecewise-Linear Topology 1972-01-01 Colin Rourke Brian Sanderson
Unsolved Problems in Number Theory 1994-01-01 Richard K. Guy
+
Subsystems of Second Order Arithmetic 1999-01-01 Stephen G. Simpson
+
Introduction to Analytic and Probabilistic Number Theory 2015-07-16 Gérald Tenenbaum
+
A Classical Introduction to Modern Number Theory 1982-01-01 Kenneth Ireland Michael Rosen
Ultimate physical limits to computation 2000-08-01 Seth Lloyd
+
An Introduction to Kolmogorov Complexity and Its Applications 2019-01-01 Ming Li Paul VitĂĄnyi
Quantum computation and decision trees 1998-08-01 Edward Farhi Sam Gutmann
+
An Introduction to Mathematical Logic 2005-01-21 Elliott Mendelson
Average entropy of a subsystem 1993-08-30 Don N. Page
+
Universality and complexity in cellular automata 1984-01-01 Stephen Wolfram
Strengths and Weaknesses of Quantum Computing 1997-10-01 Charles H. Bennett Ethan Bernstein Gilles Brassard Umesh Vazirani
Multiplying matrices faster than coppersmith-winograd 2012-05-19 Virginia Vassilevska Williams
Random numbers certified by Bell’s theorem 2010-04-01 Stefano Pironio Antonio Acín Serge Massar A. Boyer de la Giroday Dzmitry Matsukevich Peter Maunz S. Olmschenk David Hayes Le Luo T. Andrew Manning
Complete Convergence and the Law of Large Numbers 1947-02-01 P. L. Hsu Herbert Robbins
+
The definition of random sequences 1966-12-01 Per Martin-Löf
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines 1989-01-01 Lenore Blum M. Shub Steve Smale
Noncommuting random products 1963-01-01 Harry Furstenberg
+
On a Problem of Formal Logic 1930-01-01 Frank Plumpton Ramsey
A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem 2001-04-20 Edward Farhi Jeffrey Goldstone Sam Gutmann Joshua M. Lapan A. P. Lundgren Daniel Preda
How to construct random functions 1986-08-10 Oded Goldreich Shafi Goldwasser Silvio Micali
Quantum amplitude amplification and estimation 2002-01-01 Gilles Brassard Peter HĂžyer Michele Mosca Alain Tapp
The On-Line Encyclopedia of Integer Sequences 2007-08-14 N. J. A. Sloane
Clustering by Compression 2005-04-01 Rudi Cilibrasi Paul VitĂĄnyi
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer 1999-01-01 Peter W. Shor
+
Computing Machinery and Intelligence (1950) 2004-09-09 Alan Turing
+
Image coding based on a fractal theory of iterated contractive image transformations 1992-01-01 A. Jacquin
+
How to Generate Cryptographically Strong Sequences of Pseudorandom Bits 1984-11-01 Manuel Blum Silvio Micali
+
Introduction to Algorithms 1991-09-01 V. J. Rayward‐Smith Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest
A statistical measure of complexity 1995-12-01 Ricardo López‐Ruiz H. Mancini Xavier Calbet
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer 1997-10-01 Peter W. Shor
A Classical Introduction to Modern Number Theory 1990-01-01 Kenneth Ireland Michael Rosen
Principia Mathematica 1911-08-01 G. B. M.
+
Relativity, groups and topology 1965-03-01 L.R.
+
Higher-order factors of the Big Five. 1997-01-01 John M. Digman
+
Princeton Mathematical Series 1948-12-01
+
Random Dynamical Systems 1998-01-01 Ludwig Arnold
+
Introduction to Analytic Number Theory 1976-01-01 Tom M. Apostol
+
Handbook of Set-Theoretic Topology 1984-01-01 Stewart Baldwin
+
Single Valued Neutrosophic Sets 2010-04-01 Haibin Wang FlorentĂ­n Smarandache Yanqing Zhang Rajshekhar Sunderraman
+
Infinite Abelian groups 1970-01-01 L. Fuchs

Most Recent Works

Action Title Date Authors
The Pivoting Framework: Frank-Wolfe Algorithms with Active Set Size Control 2025-05-03 Elias Wirth Mathieu Besançon Sebastian Pokutta
Does Multiple Choice Have a Future in the Age of Generative AI? A Posttest-only RCT 2025-02-21 Danielle R. Thomas Conrad Borchers Sanjit Kakarla Jionghao Lin Shambhavi Bhushan Boyuan Guo Erin Gatz Kenneth R. Koedinger
+
Finding lower bounds on the growth and entropy of subshifts over countable groups 2025-02-17 Matthieu Rosenfeld
+
Infinite Games and Ramsey Properties of <i>F<sub>σ</sub></i> Ideals 2025-02-17 JOSÉ DE JESÚS PELAYO-GÓMEZ
+
The Same <i>F</i> <sub> <i>1</i> </sub> but a Different <i>F</i> <sub> <i>2</i> </sub> – with Absolute Identity 2025-02-17 Robert Francescotti
On the Power of Randomization for Obviously Strategy-Proof Mechanisms 2025-02-16 Shiri Ron Daniel Schoepflin
+
p-Values, statistical power and p-hacking 2025-02-19 Anna Dreber Magnus Johannesson
The Formal Theory of Monads, Univalently 2025-02-19 Niels van der Weide
On the nonexistence of a Green functor with values MSpin${}^c$ and MSpin 2025-02-17 Hassan Abdallah Zachary Halladay Yigal Kamel
Observable and computable entanglement in time 2025-02-17 Alexey Milekhin Zofia Adamska John Preskill
Asymptotics of mixed Ramsey numbers t(3,n) 2025-02-18 Meng Ji Yaping Mao Ingo Schiermeyer
Collective Intelligence in Dynamic Networks 2025-02-18 Florian Mudekereza
Resolving Nondeterminism with Randomness 2025-02-18 Thomas A. Henzinger Aditya Prakash K. S. Thejaswini
Improving Algorithmic Efficiency using Cryptography 2025-02-18 Vinod Vaikuntanathan Or Zamir
Classical notions of computation and the Hasegawa-Thielecke theorem 2025-02-18 ÉlĂ©onore Mangel Paul-AndrĂ© MelliĂšs Guillaume Munch-Maccagnoni
A Note on the Phragmen-Lindelof Theorem 2025-02-18 MĂĄrcio AntĂŽnio Fiori
Breaking the bonds of generative artificial intelligence by minimizing the maximum entropy 2025-02-18 Mattia Miotto Lorenzo Monacelli
On limiting distributions of Graham, Knuth, Patashnik recurrences 2025-02-18 PaweƂ Hitczenko
Finitely many worlds with finite information flow and Bell theorem 2025-02-19 A. Montina Stefan Wolf
Grover’s algorithm in a four-qubit silicon processor above the fault-tolerant threshold 2025-02-20 I. Thorvaldson D. Poulos Christian M. Moehle S. H. Misha Hermann Edlbauer J. Reiner Hao Geng B. Voisin Michael T. Jones M. B. Donnelly
Testing exchangeability in the batch mode with e-values and Markov alternatives 2025-02-21 Vladimir Vovk
An Evaluation of Sakana's AI Scientist for Autonomous Research: Wishful Thinking or an Emerging Reality Towards 'Artificial General Research Intelligence' (AGRI)? 2025-02-20 Joeran Beel Min‐Yen Kan Meike Baumgart
Online Envy Minimization and Multicolor Discrepancy: Equivalences and Separations 2025-02-20 Daniel Halpern Alexandros Psomas Paritosh Verma D. X. Xie
Generating $\pi$-Functional Molecules Using STGG+ with Active Learning 2025-02-20 Alexia Jolicoeur-Martineau Yan Zhang B. A. Knyazev Aristide Baratin Chenghao Liu
+
Distinguishing internally club and approachable on an Infinite interval 2025-02-21 Hannes Jakob Maxwell Levine
+
Clustering with Gödel numbering and decimal first degree cellular automata 2025-02-22 Vicky Vikrant Kamalika Bhattacharjee
+
Mathematics and the Limits of Language 2025-02-24 Silvia Jonas
+
On algebraic sums, trees and ideals in the Baire space 2025-02-24 Ɓukasz Mazurkiewicz Marcin Michalski Robert RaƂowski Szymon Ć»eberski
+
Some Proper Functions are Distal 2025-02-26 Marc Artiga Peter Schulte Nir Fresco
+
Partition of Abelian groups into zero-sum sets by complete mappings and its application to the existence of a magic rectangle set 2025-02-26 Sylwia Cichacz
+
Topological model for $q$-deformed rational numbers and categorification 2025-02-27 Fan Li Yu Qiu
+
On the functor properties of some hyperspace topologies 2025-02-25 A. S. Bedritskiy V. L. Timokhovich
+
Embeddings, projections, and Easton’s lemma 2025-02-28 Ơárka Stejskalová
+
On lifting of embeddings between transitive models of set theory 2025-02-28 Radek HonzĂ­k
+
Sequence entropy and IT-tuples for minimal group actions 2025-02-28 Chunlin Liu Xiangtong Wang Leiye Xu
+
Almost Free Modules, Perfect Decomposition and Enochs’ Conjecture 2025-02-28 Manuel CortĂ©s-Izurdiaga Alejandro Poveda
+
Strongly minimal group relics of algebraically closed valued fields 2025-02-28 Assaf Hasson Alf Onshuus Santiago PinzĂłn
+
Net-Compact Hausdorff Topologies and Continuous Multi-Utility Representations for Closed Preorders 2025-03-03 Gianni Bosi Gabriele Sbaiz MagalĂŹ Zuanon
+
Universally Sacks-indestructible combinatorial families of reals 2025-03-01 Vera Fischer L. Schembecker
+
A note on the non-existence of prime models of theories of pseudo-finite fields 2025-03-03 Zoé Chatzidakis
+
The transcendence degree of the reals over certain set-theoretical subfields 2025-03-04 Azul Fatalini Ralf Schindler
Some applications of fuzzy measures with coding theory 2025-03-03 Aakanksha Dwivedi Ram Naresh Saraswat
+
Kolmogorov-Loveland betting strategies lose the Betting game on open sets 2025-03-01 Tomislav Petrović
+
On Mcdanell's conjecture 2025-03-06 Mirhan Urkmez Carsten Skovmose KallesĂže Jan Dimon Bendtsen John Leth
+
The multicolor star-critical Gallai-Ramsey number for a path of order 6 2025-03-06 Mark Budden Monu Moun Jagjeet Jakhar
+
Minimum Quantum Degrees with Maya Diagrams 2025-03-06 Ryan M. Shifler
+
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF RM 2025-03-06 Krzysztof A. Krawczyk
+
Definable compactness in o-minimal structures 2025-03-05 Pablo AndĂșjar Guerrero