User:Opensofias/Books/ucs
The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] |
the universe, computation and stuff[edit]
- A New Kind of Science
- Abraham Robinson
- Alan Turing
- Albert Einstein
- Alfred North Whitehead
- Algorithm
- Alonzo Church
- Anyon
- Arithmetic
- Artificial intelligence
- Artificial neural network
- Associative algebra
- Axiom
- Axiom of choice
- Axiomatic system
- Bekenstein bound
- Bertrand Russell
- Big Bang
- Big Bounce
- Billiard-ball computer
- Bit
- Bit-string physics
- Black hole
- Boolean algebra (structure)
- Boson
- Braid theory
- Bra–ket notation
- Bremermann's limit
- Calculating Space
- Category theory
- Cellular automaton
- Church–Turing thesis
- Church–Turing–Deutsch principle
- Classical logic
- Claude Shannon
- Coding theory
- Combinatory logic
- Computability
- Computability theory
- Computable function
- Computation
- Computational complexity theory
- Computer
- Computer science
- Concatenation
- Consistency
- Continuous spatial automaton
- Cosmic microwave background
- David Deutsch
- David Hilbert
- Decision problem
- Decoherence-free subspaces
- Diagonal lemma
- Digital philosophy
- Digital physics
- Digital probabilistic physics
- Discrete mathematics
- DPLL algorithm
- Edward Fredkin
- Emil Leon Post
- Entscheidungsproblem
- EPR paradox
- Euclid's Elements
- Euclidean distance
- First-order logic
- Formal grammar
- Formal language
- Formal system
- Foundations of mathematics
- Fredkin finite nature hypothesis
- Fredkin gate
- Function (mathematics)
- Gottfried Wilhelm Leibniz
- Grand Unified Theory
- Graviton
- Group (mathematics)
- Grover's algorithm
- Gödel numbering
- Gödel's completeness theorem
- Gödel's incompleteness theorems
- Halting problem
- Hawking radiation
- Holographic principle
- Homomorphism
- Hypercomputation
- Hyperinteger
- Hyperreal number
- Infinitesimal
- Infinity
- Influence of non-standard analysis
- Information
- Information theory
- Intermediate logic
- Introduction to M-theory
- Intuitionistic logic
- Intuitionistic type theory
- John von Neumann
- Koide formula
- Kurt Gödel
- Lambda calculus
- Landauer's principle
- Lattice (order)
- Lattice-based cryptography
- Law of Continuity
- Lie algebra
- Limits to computation
- Linear logic
- List of abstract algebra topics
- List of group theory topics
- List of unsolved problems in physics
- Logic
- Loop quantum gravity
- Magma (algebra)
- Margolus–Levitin theorem
- Martin Davis
- Mathematical logic
- Mathematical proof
- Mathematical universe hypothesis
- Mathematics
- McEliece cryptosystem
- Method of analytic tableaux
- Minkowski space
- Mobile automaton
- Modal logic
- Model theory
- Module (mathematics)
- Monoid
- Monster group
- Nanotechnology
- Natural number
- Noam Chomsky
- Non-deterministic Turing machine
- NP-complete
- Pariah group
- Partial function
- Pauli matrices
- Peano axioms
- Penrose tiling
- Penrose transform
- Philosophy
- Philosophy of mathematics
- Physical information
- Physics
- Post–Turing machine
- Predicate logic
- Probabilistic automaton
- Programming language
- Proof theory
- Propositional calculus
- Provability logic
- Quantum algorithm
- Quantum computer
- Quantum electrodynamics
- Quantum field theory
- Quantum Fourier transform
- Quantum gate
- Quantum gravity
- Quantum mechanics
- Quasigroup
- Qubit
- Reaction–diffusion system
- Real number
- Recursively enumerable set
- Relevance logic
- Reversible computing
- Richard Feynman
- Robinson arithmetic
- Self-verifying theories
- Semi-Thue system
- Set (mathematics)
- Set theory
- Simulated reality
- Simulation hypothesis
- Spacetime
- Special relativity
- Spin network
- Stephen Cole Kleene
- String (computer science)
- String theory
- Substructural logic
- Superstring theory
- Supersymmetry
- Tag system
- Theoretical computer science
- Theory of computation
- Theory of everything
- Thermodynamics
- Topological quantum computer
- Transcomputational problem
- Truth value
- Turing completeness
- Turing machine
- Twistor theory
- Typed lambda calculus
- Ultraproduct
- Undecidable problem
- Universal algebra
- Universal Turing machine
- Zorn's lemma
- Automated theorem proving
- Vector space
- Currying
- Defunctionalization
- Ring (mathematics)
- Lazy evaluation
- Closure (computer programming)
- Closed monoidal category
- Smn theorem
- Cryptography
- Topology
- Number theory
- General relativity
- Planck scale
- Konrad Zuse
- Black hole information paradox
- Boolean algebra
- Gottlob Frege
- Fundamental interaction
- Renormalization
- Superfluid vacuum theory
- Euclidean quantum gravity
- Group field theory
- Canonical quantum gravity
- An Exceptionally Simple Theory of Everything
- Geometrodynamics
- Decidability (logic)
- Turing degree
- Lie group
- Supergravity
- Hořava–Lifshitz gravity
- Penrose interpretation
- Planck mass
- Schrödinger–Newton equation
- Planck epoch
- Gravitoelectromagnetism
- Planck units
- Doubly special relativity