{"/e/mathematical-logic-and-computation/algorithm/": {"t": "Algorithm", "s": "A finite sequence of logical instructions for solving problems."}, "/e/mathematical-logic-and-computation/turing-machine/": {"t": "Turing machine", "s": "Abstract machine model that can implement any computer algorithm."}, "https://codexery.com/computing-digital/e/computing-and-digital/computer-science/": {"t": "Computer science", "s": "Study of computation, information, and automation spanning theory to application."}, "https://codexery.com/computing-software/e/computing-and-software/programming-language/": {"t": "Programming language", "s": "Engineered languages for expressing computer programs."}, "https://codexery.com/complexity-theory/e/complexity-theory/theory-of-computation/": {"t": "Theory of computation", "s": "Study of computability, complexity, and models of computation."}, "https://codexery.com/algorithms-and-data-structures/e/algorithms-and-data-structures/finite-state-machine/": {"t": "Finite-state machine", "s": "A finite-state machine models computation with a finite number of states."}, "https://codexery.com/complexity-theory/e/complexity-theory/pushdown-automaton/": {"t": "Pushdown automaton", "s": "An automaton with a stack for recognizing context-free languages."}, "https://codexery.com/complexity-theory/e/complexity-theory/nondeterministic-turing-machine/": {"t": "Nondeterministic Turing machine", "s": "A computation model with multiple possible actions per state."}, "https://codexery.com/computing-digital/e/computing-and-digital/compiler/": {"t": "Compiler", "s": "Software that translates high-level code into low-level machine code."}, "https://codexery.com/named-stars/e/named-stars/algol/": {"t": "Algol", "s": "A bright multiple star and prototype of Algol variables."}, "https://codexery.com/computing-software/e/computing-and-software/object-oriented-programming/": {"t": "Object-oriented programming", "s": "A programming paradigm based on interacting objects."}, "https://codexery.com/computing-digital/e/computing-and-digital/computer-hardware/": {"t": "Computer hardware", "s": "Physical parts of a computer directed by software."}, "https://codexery.com/bios/e/bios/microcode/": {"t": "Microcode", "s": "Low-level control data implementing processor instruction sets."}, "https://codexery.com/computing-software/e/computing-and-software/operating-system/": {"t": "Operating system", "s": "The layer of software that manages a computer's resources for its users and their applications."}, "https://codexery.com/economic-concepts/e/economic-concepts/e-commerce/": {"t": "E-commerce", "s": "The largest segment of the electronics industry, driven by semiconductor advances."}, "https://codexery.com/philosophical-concepts/e/philosophical-concepts/inference/": {"t": "Inference", "s": "Logical reasoning from premises to conclusions.", "i": "https://codexery.com/philosophical-concepts/img/philosophical-concepts/inference.webp", "c": "Gnathan87 · CC0"}, "https://codexery.com/philosophical-concepts/e/philosophical-concepts/determinism/": {"t": "Determinism", "s": "The view that all events occur in only one possible way."}, "https://codexery.com/indian-inventions/e/indian-inventions/hindu-arabic-numeral-system/": {"t": "Hindu–Arabic numeral system", "s": "A decimal positional system with earliest clear evidence from the 5th–6th centuries, developed by Indian mathematicians and later adopted by Arabs."}, "https://codexery.com/historical-figures/e/notable/geoffrey-chaucer/": {"t": "Geoffrey Chaucer", "s": "Father of English literature and poet of The Canterbury Tales"}, "https://codexery.com/literary-works/e/literary-works/the-canterbury-tales/": {"t": "The Canterbury Tales", "s": "A collection of tales told by pilgrims on a journey."}, "https://codexery.com/computing-digital/e/computing-and-digital/computer-program/": {"t": "Computer program", "s": "A sequence of instructions executed by a computer."}, "https://codexery.com/literary-forms-tropes/e/literary-forms-and-tropes/cookbook/": {"t": "Cookbook", "s": "A collection of recipes and cooking instructions."}, "https://codexery.com/ancient-civilizations/e/ancient-civilizations/sumer/": {"t": "Sumer", "s": "Earliest known civilization, emerging in southern Mesopotamia.", "i": "https://codexery.com/ancient-civilizations/img/ancient-civilizations/sumer.webp", "c": "Original: Phirosiberia Derivative: باسم · CC BY 3.0"}, "https://codexery.com/cities/e/ancient-cities/baghdad/": {"t": "Baghdad", "s": "Center of Learning"}, "https://codexery.com/islamic-scholars-and-sufi-mystics/e/islamic-scholars-and-sufi-mystics/al-kindi/": {"t": "Al-Kindi", "s": "Arab polymath, father of Arab philosophy, and pioneer of cryptanalysis."}, "https://codexery.com/historical-figures/e/notable/david-hilbert/": {"t": "David Hilbert", "s": "German mathematician and philosopher of mathematics"}, "https://codexery.com/complexity-theory/e/complexity-theory/time-complexity/": {"t": "Time complexity", "s": "A measure of algorithm running time as input size grows."}, "https://codexery.com/complexity-theory/e/complexity-theory/space-complexity/": {"t": "Space complexity", "s": "Memory required by an algorithm as a function of input size."}, "https://codexery.com/computer-scientists-and-programmers/e/computer-scientists-and-programmers/donald-knuth/": {"t": "Donald Knuth", "s": "Father of analysis of algorithms; creator of TeX."}, "https://codexery.com/algorithms-and-data-structures/e/algorithms-and-data-structures/binary-search/": {"t": "Binary search", "s": "Efficient search algorithm for sorted arrays."}, "/e/mathematical-logic-and-computation/abstract-machine/": {"t": "Abstract machine", "s": "Theoretical model for analyzing computer system functions."}, "https://codexery.com/pc-hardware/e/pc-hardware/benchmark-computing/": {"t": "Benchmark (computing)", "s": "A standard method for assessing relative performance of computer systems."}, "https://codexery.com/scottish-inventions/e/scottish-inventions/logarithm/": {"t": "Logarithm", "s": "The inverse operation of exponentiation, simplifying multiplication into addition."}, "https://codexery.com/historical-figures/e/scientists/alan-turing/": {"t": "Alan Turing", "s": "Father of theoretical computer science and codebreaker who helped defeat the Nazis."}, "https://codexery.com/computer-scientists-and-programmers/e/computer-scientists-and-programmers/alonzo-church/": {"t": "Alonzo Church", "s": "Founder of computer science and inventor of lambda calculus."}, "https://codexery.com/computing-software/e/computing-and-software/random-access-memory/": {"t": "Random-access memory", "s": "Electronic memory readable and writable in any order."}, "https://codexery.com/computing-digital/e/computing-and-digital/central-processing-unit/": {"t": "Central processing unit", "s": "Primary processor executing computer program instructions."}, "https://codexery.com/miscellaneous/e/miscellaneous/automaton/": {"t": "Automaton", "s": "Self-operating machines designed to follow predetermined instructions.", "i": "https://codexery.com/miscellaneous/img/miscellaneous/automaton.webp", "c": "National Museum of American History · CC0"}, "/e/mathematical-logic-and-computation/halting-problem/": {"t": "Halting problem", "s": "No algorithm can decide if any program halts."}, "/e/mathematical-logic-and-computation/universal-turing-machine/": {"t": "Universal Turing machine", "s": "A Turing machine that can simulate any other Turing machine."}, "/e/mathematical-logic-and-computation/computability-theory/": {"t": "Computability theory", "s": "Study of computable functions and degrees of noncomputability."}, "https://codexery.com/mathematicians/e/mathematicians/john-von-neumann/": {"t": "John von Neumann", "s": "Mathematician who shaped quantum physics, computing, and nuclear strategy."}, "https://codexery.com/english-inventions/e/english-inventions/automatic-computing-engine/": {"t": "Automatic Computing Engine", "s": "Early British stored-program computer design by Alan Turing."}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/rice-s-theorem/": {"t": "Rice's theorem", "s": "All non-trivial semantic properties of programs are undecidable."}, "https://codexery.com/pioneers-of-computing-and-information-th/e/pioneers-of-computing-and-information-theory/claude-shannon/": {"t": "Claude Shannon", "s": "Polymath who founded information theory and digital circuit design.", "i": "https://codexery.com/pioneers-of-computing-and-information-th/img/pioneers-of-computing-and-information-theory/claude-shannon.webp", "c": "via Wikipedia: Claude Shannon · see source"}, "https://codexery.com/pioneers-of-computing-and-information-th/e/pioneers-of-computing-and-information-theory/marvin-minsky/": {"t": "Marvin Minsky", "s": "American mathematician and co-founder of artificial intelligence.", "i": "https://codexery.com/pioneers-of-computing-and-information-th/img/pioneers-of-computing-and-information-theory/marvin-minsky.webp", "c": "via Wikipedia: Marvin Minsky · see source"}, "https://codexery.com/mathematics-and-cryptography/e/mathematics-and-cryptography/roger-penrose/": {"t": "Roger Penrose", "s": "Mathematician and physicist who revolutionized black hole theory."}, "https://codexery.com/scientists-and-mathematicians/e/scientists-and-mathematicians/kurt-g-del/": {"t": "Kurt Gödel", "s": "Logician who proved limits of formal axiomatic systems."}, "https://codexery.com/classical-philosophy-rhetoric/e/classical-philosophy-and-rhetoric/principia-mathematica/": {"t": "Principia Mathematica", "s": "Three-volume work on foundations of mathematics by Whitehead and Russell."}, "https://codexery.com/set-theory-and-foundations/e/set-theory-and-foundations/cantor-s-diagonal-argument/": {"t": "Cantor's diagonal argument", "s": "Proof that some infinities are larger than others."}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/reductio-ad-absurdum/": {"t": "Reductio ad absurdum", "s": "Proof by contradiction: one of a mathematician's finest weapons."}, "/e/mathematical-logic-and-computation/turing-reduction/": {"t": "Turing reduction", "s": "A reduction using an oracle machine to decide one problem via another."}, "https://codexery.com/combinatorics/e/combinatorics/bijection/": {"t": "Bijection", "s": "A function pairing each element of two sets exactly once.", "i": "https://codexery.com/combinatorics/img/combinatorics/bijection.webp", "c": "Schapel · Public domain"}, "/e/mathematical-logic-and-computation/turing-degree/": {"t": "Turing degree", "s": "Measures the level of algorithmic unsolvability of a set."}, "https://codexery.com/complexity-theory/e/complexity-theory/p-complexity/": {"t": "P (complexity)", "s": "Complexity class of polynomial-time solvable decision problems."}, "https://codexery.com/sets-and-logic/e/sets-and-logic/set-theory/": {"t": "Set theory", "s": "The branch of mathematical logic that studies sets, founded by Georg Cantor in the 1870s."}, "https://codexery.com/algorithms-and-data-structures/e/algorithms-and-data-structures/dynamic-programming/": {"t": "Dynamic programming", "s": "A method simplifying problems by recursive sub-problem breakdown."}, "https://codexery.com/communication-and-media/e/communication-and-media/speech-synthesis/": {"t": "Speech synthesis", "s": "Artificial production of human speech by computer systems."}, "https://codexery.com/probability-and-stochastic-processes/e/probability-and-stochastic-processes/markov-chain/": {"t": "Markov chain", "s": "A stochastic process where the future depends only on the present."}, "https://codexery.com/engineering-disciplines/e/engineering-disciplines/software-engineering/": {"t": "Software engineering", "s": "Engineering discipline for designing and maintaining software systems."}, "https://codexery.com/computer-scientists-and-programmers/e/computer-scientists-and-programmers/barbara-liskov/": {"t": "Barbara Liskov", "s": "Pioneer of data abstraction and the Liskov substitution principle", "i": "https://codexery.com/computer-scientists-and-programmers/img/computer-scientists-and-programmers/barbara-liskov.webp", "c": "via Wikipedia: MIT Computer Science and Artificial Intelligence Laboratory · see source"}, "/e/mathematical-logic-and-computation/analysis-of-algorithms/": {"t": "Analysis of algorithms", "s": "Study of resource usage in algorithm execution."}, "https://codexery.com/algorithms-and-data-structures/e/algorithms-and-data-structures/linked-list/": {"t": "Linked list", "s": "A data structure where each node points to the next."}, "https://codexery.com/brazilian-inventions/e/brazilian-inventions/lua/": {"t": "Lua", "s": "Lightweight, embeddable scripting language with a simple C API."}, "https://codexery.com/computing-digital/e/computing-and-digital/c-programming-language/": {"t": "C (programming language)", "s": "The foundational systems programming language that powers operating systems, embedded systems, and more."}, "/e/mathematical-logic-and-computation/boolean-algebra/": {"t": "Boolean algebra", "s": "Algebra of truth values and logical operations."}, "https://codexery.com/algorithms-and-data-structures/e/algorithms-and-data-structures/graph-abstract-data-type/": {"t": "Graph (abstract data type)", "s": "Abstract data type implementing graph theory concepts."}, "https://codexery.com/python/e/python/python-programming-language/": {"t": "Python (programming language)", "s": "High-level, general-purpose language emphasizing readability and simplicity."}, "https://codexery.com/complexity-theory/e/complexity-theory/theoretical-computer-science/": {"t": "Theoretical computer science", "s": "Study of abstract and mathematical foundations of computation."}, "https://codexery.com/languages-and-dialects/e/languages-and-dialects/greek-language/": {"t": "Greek language", "s": "Greek is the world's oldest recorded living language."}, "https://codexery.com/historical-figures/e/notable/noam-chomsky/": {"t": "Noam Chomsky", "s": "Father of modern linguistics and influential political critic."}, "https://codexery.com/communication-and-media/e/communication-and-media/natural-language/": {"t": "Natural language", "s": "A language emerging organically in a human community."}, "https://codexery.com/mathematicians/e/mathematicians/john-horton-conway/": {"t": "John Horton Conway", "s": "English mathematician who invented the Game of Life."}, "https://codexery.com/pioneers-of-computing-and-information-th/e/pioneers-of-computing-and-information-theory/konrad-zuse/": {"t": "Konrad Zuse", "s": "German engineer who built the first programmable computer, the Z3.", "i": "https://codexery.com/pioneers-of-computing-and-information-th/img/pioneers-of-computing-and-information-theory/konrad-zuse.webp", "c": "Wolfgang Hunscher, Dortmund · via Wikipedia: Konrad Zuse · CC BY-SA 3.0"}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/proof-theory/": {"t": "Proof theory", "s": "Proofs as formal objects analyzed by mathematical techniques."}, "https://codexery.com/set-theory-and-foundations/e/set-theory-and-foundations/cantor-s-theorem/": {"t": "Cantor's theorem", "s": "Cantor's theorem shows no set is as large as its power set."}, "https://codexery.com/greek-inventions/e/greek-inventions/analog-computer/": {"t": "Analog computer", "s": "Analog computers model problems using physical analogies."}, "/e/mathematical-logic-and-computation/truth-table/": {"t": "Truth table", "s": "A tabular method for evaluating logical expressions."}, "https://codexery.com/philosophical-concepts-and-theories/e/philosophical-concepts-and-theories/logical-consequence/": {"t": "Logical consequence", "s": "A fundamental concept in logic describing valid inference."}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/propositional-logic/": {"t": "Propositional logic", "s": "Branch of classical logic dealing with propositions and logical connectives."}, "https://codexery.com/sets-and-logic/e/sets-and-logic/signature-logic/": {"t": "Signature (logic)", "s": "Formal description of non-logical symbols in a language."}, "https://codexery.com/sets-and-logic/e/sets-and-logic/type-theory/": {"t": "Type theory", "s": "A formal system classifying expressions by types, used in logic, programming, and mathematics."}, "https://codexery.com/set-theory-and-foundations/e/set-theory-and-foundations/axiom/": {"t": "Axiom", "s": "A foundational statement accepted as true without proof."}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/quantifier-elimination/": {"t": "Quantifier elimination", "s": "Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science."}, "/e/mathematical-logic-and-computation/turing-s-proof/": {"t": "Turing's proof", "s": "Proof that some mathematical questions cannot be answered by computation."}, "https://codexery.com/writing-systems/e/writing-systems/alphabet/": {"t": "Alphabet", "s": "A writing system where letters represent phonemes.", "i": "https://codexery.com/writing-systems/img/writing-systems/alphabet.webp", "c": "MS Sakib · CC BY-SA 4.0"}, "https://codexery.com/human-anatomy/e/human-anatomy/human-brain/": {"t": "Human brain", "s": "Central organ of the nervous system, controlling body activities."}, "/e/mathematical-logic-and-computation/p-versus-np/": {"t": "P versus NP", "s": "Can every quickly verified problem be quickly solved?"}, "https://codexery.com/complexity-theory/e/complexity-theory/np-complexity/": {"t": "NP (complexity)", "s": "Class of decision problems verifiable in polynomial time."}, "https://codexery.com/complexity-theory/e/complexity-theory/np-hardness/": {"t": "NP-hardness", "s": "Problems at least as hard as the hardest in NP."}, "https://codexery.com/mythology-of-heracles/e/mythology-of-heracles/labours-of-hercules/": {"t": "Labours of Hercules", "s": "Twelve tasks performed by Heracles in service to King Eurystheus."}, "/e/mathematical-logic-and-computation/np-completeness/": {"t": "NP-completeness", "s": "Hardest problems in NP, central to P versus NP."}, "https://codexery.com/economic-concepts/e/economic-concepts/economics/": {"t": "Economics", "s": "Social science studying production, distribution, and consumption of goods and services.", "i": "https://codexery.com/economic-concepts/img/economic-concepts/economics.webp", "c": "Pk0001 · CC BY-SA 4.0"}, "https://codexery.com/card-tabletop-games/e/card-and-tabletop-games/sudoku/": {"t": "Sudoku", "s": "Logic puzzle where each row, column, and box contains digits 1–9."}, "https://codexery.com/mathematics-and-cryptography/e/mathematics-and-cryptography/stephen-cook/": {"t": "Stephen Cook", "s": "University Professor Emeritus, recipient of the A.M. Turing Award for formalizing NP-completeness."}, "https://codexery.com/mathematicians/e/mathematicians/john-forbes-nash-jr/": {"t": "John Forbes Nash Jr.", "s": "American mathematician who revolutionized game theory and differential geometry."}, "https://codexery.com/algebra/e/algebra/polynomial/": {"t": "Polynomial", "s": "A mathematical expression of variables and coefficients using addition and multiplication."}, "https://codexery.com/complexity-theory/e/complexity-theory/time-hierarchy-theorem/": {"t": "Time hierarchy theorem", "s": "Time hierarchy theorems show more time yields more solvable problems."}, "https://codexery.com/boardgames/e/board-games/chess/": {"t": "Chess", "s": "The timeless game of strategy and intellect."}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/negation/": {"t": "Negation", "s": "Logical operation that inverts the truth value of a proposition."}, "https://codexery.com/mathematicians/e/mathematicians/george-boole/": {"t": "George Boole", "s": "English mathematician who founded Boolean algebra.", "i": "https://codexery.com/mathematicians/img/mathematicians/george-boole.webp", "c": "via Wikipedia: George Boole · see source"}, "https://codexery.com/historical-figures/e/notable/charles-sanders-peirce/": {"t": "Charles Sanders Peirce", "s": "American scientist, mathematician, logician, and philosopher; father of pragmatism"}, "https://codexery.com/historical-figures/e/notable/gottfried-wilhelm-leibniz/": {"t": "Gottfried Wilhelm Leibniz", "s": "German polymath and co-creator of calculus"}, "https://codexery.com/ancient-classical-texts/e/ancient-and-classical-texts/i-ching/": {"t": "I Ching", "s": "Ancient Chinese divination text and classic of changes.", "i": "https://codexery.com/ancient-classical-texts/img/ancient-and-classical-texts/i-ching.webp", "c": "via Wikipedia: I Ching · see source"}, "https://codexery.com/set-theory-logic/e/set-theory-and-logic/quantifier-logic/": {"t": "Quantifier (logic)", "s": "Operators specifying how many individuals satisfy a property."}, "https://codexery.com/graphs-and-data-visualization/e/graphs-and-data-visualization/venn-diagram/": {"t": "Venn diagram", "s": "A diagram style showing logical relations between sets, popularized by John Venn.", "i": "https://codexery.com/graphs-and-data-visualization/img/graphs-and-data-visualization/venn-diagram.webp", "c": "ASpiegler · CC BY-SA 4.0"}, "https://codexery.com/sets-and-logic/e/sets-and-logic/union-set-theory/": {"t": "Union (set theory)", "s": "Set operation combining all elements from given sets."}, "https://codexery.com/philosophy-theory/e/philosophy-and-theory/tractatus-logico-philosophicus/": {"t": "Tractatus Logico-Philosophicus", "s": "A philosophical work on language, reality, and the limits of science.", "i": "https://codexery.com/philosophy-theory/img/philosophy-and-theory/tractatus-logico-philosophicus.webp", "c": "via Wikipedia: Tractatus Logico-Philosophicus · see source"}, "https://codexery.com/historical-figures/e/notable/bertrand-russell/": {"t": "Bertrand Russell", "s": "English philosopher, logician, and social reformer"}}