Mathematics
•
Computer science
•
Areas of mathematics
•
Graph algorithms
•
Theoretical computer science
•
List of algorithms
Areas of computer science
Outline of computer science
List of basic computer science topics
Theory of computation
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm. The fiel...
History of theory of computation
•
Automata theory
•
Computability theory
•
Computational complexity theory
•
Model of computation
•
Algorithmic information theory
•
Arithmetic logic unit
•
Hypercomputation
•
Recursion
•
Turing machine
Digital Physics Argument for God's Existence
To help support this ministry click here: http://www.patreon.com/inspiringphilosophy Is it is possible we are living in a virtual reality? If so what does th...
Quantum "Weeping Angel" Effect Freezes Atoms In Place
The paradox of Schroedinger’s Cat famously demonstrates that a quantum cat sealed in a box is both alive and dead at the same time until we look inside, at which point it becomes one or the other. Suc...
Direct measurements of the wave nature of matter
New experimental techniques map out wave properties only known previously from theory.
You are a Simulation & Physics Can Prove It
Astrophysicist, cosmologist and Nobel Prize winner George Smoot studies the cosmic microwave background radiation — the afterglow of the Big Bang. His pionee...
Simulated Reality
Great documentary !
What is the Uncertainty Principle? - YouTube
Jul 31, 2011 ... The Heisenberg uncertainty principle - in a nutshell! Tweet it - http://bit.ly/pagxNi Facebook it - http://on.fb.me/pzzfqM minutephysics is now on ...
10 Reasons Our Universe Might Actually Be Virtual Reality
Physical realism is the view that the physical world we see is real and exists by itself, alone. Most people think this is self-evident, but physical realism has been struggling with the facts of phys...
Reality Doesn’t Exist Until We Measure It, Quantum Experiment Confirms
Australian scientists have recreated a famous experiment and confirmed quantum physics's bizarre predictions about the nature of reality, by proving that reality doesn't actually exist until we measur...
Elon Musk Estimates Chance That We’re NOT Living in a Computer Simulation — and It’s Really, Really Small
Elon Musk, the well-known entrepreneur behind Tesla and SpaceX, believes there's a "one-in-billions" chance humanity is not living in a computer simulation. Speaking at tech publication Recode's annu...
History of theory of computation
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm. The fiel...
Automata theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science, under Discrete math...
Automata theory - Wikipedia
Computability theory
Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable f...
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent ...
Model of computation
In computability theory and computational complexity theory, a model of computation is the definition of the set of allowable operations used in computation and their respective costs. It is used for ...
Algorithmic information theory
Algorithmic information theory is a subfield of information theory and computer science that concerns itself with the relationship between computation and information. According to Gregory Chaitin, it...
Arithmetic logic unit
In digital electronics, an arithmetic logic unit (ALU) is a digital circuit that performs arithmetic and bitwise logical operations on integer binary numbers. It is a fundamental building block of the...
Arithmetic logic unit - Wikipedia
Hypercomputation
Hypercomputation or super-Turing computation refers to models of computation that go beyond, or are incomparable to, Turing computability. This includes various hypothetical methods for the computatio...
Recursion
Recursion is the process of repeating items in a self-similar way. For instance, when the surfaces of two mirrors are exactly parallel with each other, the nested images that occur are a form of infin...
Recursion - Wikipedia
Turing machine
A Turing machine is a hypothetical device that manipulates symbols on a strip of tape according to a table of rules. Despite its simplicity, a Turing machine can be adapted to simulate the logic of an...
Turing machine - Wikipedia
Nar-Anon
Nar-Anon is a twelve-step program for friends and family members of those who are affected by someone elses addiction. Nar-Anon is complementary to, but separate from, Narcotics Anonymous (NA), analo...
Nar-Anon - Wikipedia
Uncertainty principle
In quantum mechanics, the uncertainty principle, also known as Heisenberg's uncertainty principle, is any of a variety of mathematical inequalities asserting a fundamental limit to the precision with ...
Uncertainty principle - Wikipedia
Wave-particle duality
Wave–particle duality is the concept that every elementary particle or quantic entity exhibits the properties of not only particles, but also waves. It addresses the inability of the classical concep...
Levenshtein transducer
In computer science, a Levenshtein automaton for a string w and a number n is a finite state automaton that can recognize the set of all strings whose Levenshtein distance from w is at most n. That is...
Scientific community metaphor
In computer science, the Scientific Community Metaphor is a metaphor used to aid understanding scientific communities. The first publications on the Scientific Community Metaphor in 1981 and 1982 inv...
Closest string
In theoretical computer science, closest string is the name of an NP-hard computational problem, which tries to find the geometrical center of a set of input strings.To understand the word "center" it...
Closest string - Wikipedia
Alternating Turing machine
In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the defini...
Recursively enumerable set
In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing-recognizable if:O...
Kleene-Rosser paradox
In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930...
Pushdown automaton
In computer science, a pushdown automaton (PDA) is a type of automaton that employs a stack.Pushdown automata are used in theories about what can be computed by machines. They are more capable than ...
Pushdown automaton - Wikipedia
Hamiltonian path problem
In the mathematical field of graph theory the Hamiltonian path problem and the Hamiltonian cycle problem are problems of determining whether a Hamiltonian path (a path in an undirected or directed gra...