undecidable

related words
radix
bijective
tuple
countably
coprime
finite-dimensional
malware
bijection
bytecode
microcode
xml
openstep
hyperplane
jargonbr
transfinite
microkernel
injective
unary
galois
nonempty
related documents
Gödel's incompleteness theorems
Rice's theorem
Turing machine
Alfred Tarski
Impossible object
Theory of everything
Oracle machine
Model theory
Halting problem
Zermelo–Fraenkel set theory
Wang tile
Post correspondence problem
Penrose tiling
Mathematical proof
Static code analysis
Mathematical logic
Chaitin's constant
Decision problem
Pyrrho
Diophantine set
related topics
{math, number, function}
{theory, work, human}
{album, band, music}
{math, energy, light}
{@card@, make, design}
{son, year, death}
{work, book, publish}
{style, bgcolor, rowspan}
{church, century, christian}
{black, white, people}
{language, word, form}
{school, student, university}
{woman, child, man}
{group, member, jewish}
{country, population, people}
{ship, engine, design}
{film, series, show}
{law, state, case}
{acid, form, water}
{system, computer, user}