Mathematical logic

2 artículos

Predicate logic Second order logic Higher order logic Intuitionistic logic Nonclassical logic Fuzzy logic Many valued logic Logic Formal logic Formal grammar Formal proof Well formed formula Symbol formal Logical constant Logical connective Logical operator Atomic formula Atomic sentence Open formula Open sentence Sentence mathematical logic Statement logic Proposition Term logic Variable Free variables and bound variables Free variable Substitution logic Signature logic Non logical symbol Theory mathematical logic Axiom Axiom schema Axiomatic system Axiomatization Deductive system Formation rule Transformation rules Inference Logical consequence Logical form Logical truth Logical equivalence Interpretation logic Semantics of logic Syntax logic Mathematical proof Theorem Lemma History of logic History of mathematical logic Mathematical induction Structural induction Recursive definition Strength mathematical logic Abstract logic Classical logic Computational logic Philosophy of logic Quantification logic Logical assertion Equality Domain of discourse Interpretation function Uninterpreted function Functional predicate Function symbol Arity Ground expression Ground formula Expression Alphabet formal languages String formal languages Judgment mathematical logic Fragment logic Law Witness Abstract algebraic logic Algebra of logic Bimodal distribution Boolean functions metric theory of Boolean functions minimization of Boolean functions normal forms of Deducible rule Domain of individuals Illative combinatory logic Intuitionistic propositional calculus Many valued logic functions of Meta logic Monotone boolean function Multimodal distribution Natural logical deduction Sequential analysis Sequential approximation method of Sequentially compact space Two valued logic

Combinatorics & Discrete Math GradoExplicación10 min

The Announcement That Told Nobody Anything

A stranger says out loud what every islander can already see, and ten days later ten people leave. The fact was mutual knowledge all along; what the announcement supplied was the nine levels of nested knowledge above it. An explicit count over 4096 possible worlds settles the induction without trusting it.

Combinatorics & Discrete Math GradoExplicación7 min

Todo torneo contiene una cadena ganadora (teorema de Rédei)

Los resultados de un todos-contra-todos pueden ser puro caos: ciclos por todas partes, ningún campeón. Aun así, una inducción de un solo paso alinea a todos, cada uno habiendo vencido al siguiente.