Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: computation
Tag: computation
159 items with this tag.
Jan 27, 2026
The Bitter Lesson
computation
artificial-intelligence
Jan 27, 2026
On Computable Numbers, with an Application to the Entscheidungsproblem
computation
Jan 27, 2026
n-Queens
games
computation
Jan 27, 2026
bff
computation
complexity
evolution
Jan 27, 2026
Work Tape (Turing Machine)
computation
Jan 27, 2026
Word (Computing)
computation
Jan 27, 2026
Weighted Independent Set Problem
computation
Jan 27, 2026
Wagner–Fischer algorithm
computation
Jan 27, 2026
Vertex Cover Problem
computation
Jan 27, 2026
Unsatisfiability Problem
computation
Jan 27, 2026
Universal Turing Machine
computation
Jan 27, 2026
Undecidable Decision Problem
computation
Jan 27, 2026
Undecidable Function Property
computation
Jan 27, 2026
Undecidable Language Property
computation
Jan 27, 2026
Turing-Computable Arithmetic Function
computation
Jan 27, 2026
Turing-complete
computation
Jan 27, 2026
Turing Gas
computation
complexity
evolution
Jan 27, 2026
Turing Machine
computation
Jan 27, 2026
Turing Reduction
computation
Jan 27, 2026
Tree-width
computation
Jan 27, 2026
Travelling Salesman Problem
computation
Jan 27, 2026
Totally Recursive Function
computation
Jan 27, 2026
Tractable Problem
computation
Jan 27, 2026
Tape (Turing Machine)
computation
Jan 27, 2026
Symmetric Travelling Salesman Problem
computation
Jan 27, 2026
Successor Function (Recursion)
computation
Jan 27, 2026
Standard Description
computation
Jan 27, 2026
Stable Matching Problem
computation
Jan 27, 2026
Shortest Path Problem
computation
graph-theory
Jan 27, 2026
Set Cover Problem
computation
Jan 27, 2026
Semi-Decidable Decision Problem
computation
Jan 27, 2026
Segmented Least Squares Problem
computation
Jan 27, 2026
Self-Replicating Program
computation
Jan 27, 2026
Search Problem
computation
Jan 27, 2026
Satisfiability Problem
computation
Jan 27, 2026
Ruliad
computation
philosophy
Jan 27, 2026
Rice's Theorem
computation
languages
Jan 27, 2026
Register Machine Program
computation
Jan 27, 2026
Register Machine
computation
Jan 27, 2026
Reduced Instruction Set Computing
computation
computer-architecture
Jan 27, 2026
Reduction
computation
Jan 27, 2026
Reachable Code Problem
computation
Jan 27, 2026
Quiescence Search
computation
Jan 27, 2026
Quine
computation
Jan 27, 2026
Pushdown Automaton
computation
todo
Jan 27, 2026
Projection Function (Recursion)
computation
Jan 27, 2026
Program
computation
Jan 27, 2026
Processor Time
operating-systems
computation
Jan 27, 2026
Problem Instance
computation
Jan 27, 2026
Problem
computation
Jan 27, 2026
Procedure
computation
Jan 27, 2026
Primitive Recursion
computation
Jan 27, 2026
Primitive-Recursive Function
computation
Jan 27, 2026
Prim's Algorithm
computation
graph-theory
algorithms
Jan 27, 2026
Pi Calculus
computation
Jan 27, 2026
Oracle Turing Machine
computation
Jan 27, 2026
Open-Endedness
evolution
computation
Jan 27, 2026
Optimisation Problem
computation
Jan 27, 2026
Normal Form (Turing Machine)
computation
Jan 27, 2026
Nondeterministic Polynomial Problem
computation
Jan 27, 2026
Non-Trivial Function Property
computation
Jan 27, 2026
NP-complete Problem
computation
Jan 27, 2026
NP-hard Problem
computation
Jan 27, 2026
Multitape Turing Machine
computation
Jan 27, 2026
MuZero Operator
computation
Jan 27, 2026
Morphogenesis
biology
computation
Jan 27, 2026
Mu Recursion
computation
Jan 27, 2026
Mu-Recursive Function
computation
Jan 27, 2026
MuBar Operator
computation
Jan 27, 2026
Model-Checking Problem
computation
Jan 27, 2026
Minimisation Problem
computation
Jan 27, 2026
Minimal Set Cover Problem
computation
Jan 27, 2026
Minimal Vertex Cover Problem
computation
Jan 27, 2026
Metric Travelling Salesman Problem
computation
Jan 27, 2026
Maximisation Problem
computation
Jan 27, 2026
Maximum Independent Set Problem
computation
Jan 27, 2026
Maximum Non-Blocker Problem
computation
Jan 27, 2026
Maximum Satisfiability Problem
computation
Jan 27, 2026
Many-One Reduction
computation
Jan 27, 2026
Longest Common Subsequence Problem
computation
Jan 27, 2026
Load Balancing Problem
computation
Jan 27, 2026
Linear Bounded Automaton
computation
Jan 27, 2026
Life
biology
evolution
computation
philosophy
Jan 27, 2026
Last In First Out
computation
Jan 27, 2026
Lambda Calculus
computation
lambda-calculus
Jan 27, 2026
Kruskal's Algorithm
computation
graph-theory
algorithms
Jan 27, 2026
Knapsack Problem
computation
Jan 27, 2026
Kolmogorov Machine
computation
Jan 27, 2026
Karp Reduction
computation
Jan 27, 2026
Iterative Improvement Algorithm
computation
Jan 27, 2026
Interval Scheduling Problem
computation
Jan 27, 2026
Intractable Problem
computation
Jan 27, 2026
Intensional Function Property
computation
Jan 27, 2026
Interaction Net
computation
Jan 27, 2026
Input Tape (Turing Machine)
computation
Jan 27, 2026
In-Place Algorithm
computation
Jan 27, 2026
Independent Set Problem
computation
Jan 27, 2026
Hierholzer's Algorithm
computation
Jan 27, 2026
Halting Problem
computation
Jan 27, 2026
Graph-Reachability Problem
computation
Jan 27, 2026
Greedy Algorithm
computation
Jan 27, 2026
Gale–Shapley Algorithm
computation
Jan 27, 2026
Function Property
computation
Jan 27, 2026
Functional Problem
computation
Jan 27, 2026
First In First Out
computation
Jan 27, 2026
Finite Automaton
computation
Jan 27, 2026
Ferranti Mark 1
computation
history
Jan 27, 2026
Ferranti Mark 2
computation
history
Jan 27, 2026
Fibonacci Number
computation
Jan 27, 2026
Extensional Function Property
computation
Jan 27, 2026
Exact Cover Problem
computation
Jan 27, 2026
Encoding of a Turing Machine
computation
Jan 27, 2026
Electronic Discrete Variable Automatic Computer
computation
Jan 27, 2026
Electronic Numerical Integrator and Computer
computation
Jan 27, 2026
Dynamic Programming
computation
Jan 27, 2026
Dual Heuristic
computation
heuristics
Jan 27, 2026
Deterministic Turing Machine
computation
Jan 27, 2026
Decidable Function Property
computation
Jan 27, 2026
Decidable Language Property
computation
Jan 27, 2026
Decider
computation
Jan 27, 2026
Decision Problem
computation
Jan 27, 2026
Decidable Decision Problem
computation
Jan 27, 2026
Darwinism
evolution
biology
computation
Jan 27, 2026
Counting Problem
complexity-theory
computation
Jan 27, 2026
Cook Reduction
computation
Jan 27, 2026
Correctness Problem
computation
Jan 27, 2026
Control Problem
computation
Jan 27, 2026
Context-Sensitive Language
computation
Jan 27, 2026
Constant Function (Recursion)
computation
Jan 27, 2026
Constrainted Longest Common Subsequence Problem
computation
Jan 27, 2026
Configuration (Turing Machine)
computation
Jan 27, 2026
Computronium
computation
physics
complexity
Jan 27, 2026
Computable Function
computation
Jan 27, 2026
Computable Partial Function
computation
Jan 27, 2026
Computable Total Function
computation
Jan 27, 2026
Computation
computation
Jan 27, 2026
Computational Irreducibility
philosophy
computation
Jan 27, 2026
Combinatoric Optimisation Problem
computation
Jan 27, 2026
Coin Problem
computation
algorithms
optimisation
Jan 27, 2026
Co Decision Problem
computation
Jan 27, 2026
Code Language of a Function Property
computation
Jan 27, 2026
Code Language of a Language Property
computation
Jan 27, 2026
Church-Turing Thesis
computation
Jan 27, 2026
Centre Selection Problem
computation
algorithms
optimisation
Jan 27, 2026
Brute-force
computation
Jan 27, 2026
Busy-Beaver Function
computation
Jan 27, 2026
Branch and Bound
computation
Jan 27, 2026
Brent's Hashing Algorithm
computation
Jan 27, 2026
Blank Symbol (Turing Machine)
computation
Jan 27, 2026
Biological Computation
biology
computation
Jan 27, 2026
Bellman's Principle of Optimality
computation
Jan 27, 2026
Approximation Algorithm
computation
Jan 27, 2026
Amortised Time Complexity
computation
Jan 27, 2026
Algorithm
computation
Jan 27, 2026
Algorithmica
computation
Jan 27, 2026
ARM
computation
Jan 27, 2026
Abiogenesis
evolution
biology
computation
Jan 27, 2026
3-Colouring Problem
computation
Jan 27, 2026
3-Satisfiability Problem
computation