GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 1–30 of 204 reference entries

Physics · Information · MeasurementScientific records

Build an inspectable physics record, test and revise a bounded cart model, preserve processing history, and plan findable data with appropriate sharing conditions.

Method
Mathematics & logic · InformationClassical propositions and connectives

Classical logic combines truth-valued propositions using defined connectives.

Definition
Mathematics & logic · InformationSets, membership and basic operations

A set specifies membership without counting duplicate listings.

Definition
Mathematics & logic · InformationFunctions, domain and codomain

A function assigns exactly one output to each input in its domain.

Definition
Mathematics & logic · InformationMathematical induction

A base case and general successor step establish a predicate on all nonnegative integers.

Method
Mathematics & logic · InformationComplex numbers

A complex number has real coordinates a and b and an imaginary unit satisfying i²=−1.

Definition
Mathematics & logic · Information · PhysicsLinear maps and matrix representation

A linear map preserves linear combinations and has a matrix once bases are chosen.

Definition
Mathematics & logic · InformationProbability space and axioms

A probability assigns nonnegative, normalised, countably additive weights to events.

Definition
Mathematics & logic · InformationConditional probability and independence

Conditioning restricts attention to an event of positive probability.

Definition
Mathematics & logic · InformationExpected value of a discrete random variable

Expected value weights possible values by their probabilities.

Definition
Information · Mathematics & logicBits and unsigned binary encoding

A bit has two possible states; a fixed-width unsigned binary word encodes an integer.

Definition
Information · Mathematics & logicShannon entropy of a discrete distribution

Shannon entropy measures uncertainty in a specified probability distribution.

Definition
InformationAlgorithm and decision procedure

An algorithm specifies effective steps; a decision procedure must terminate on every permitted input.

Method
Information · Mathematics & logicUndecidability of the halting problem

No total algorithm decides halting for every program and input in a general computation model.

Mathematical statement
Information · Mathematics & logicAsymptotic upper bounds and big O

Big O bounds eventual growth up to a fixed constant factor.

Definition
InformationFinite-alphabet mutual information

Mutual information measures statistical dependence in bits.

Definition
InformationNear-lossless source coding threshold

Entropy bounds asymptotic compression for an iid source.

Mathematical statement
InformationDiscrete memoryless channel capacity

Capacity is the maximal asymptotically reliable rate.

Mathematical statement
InformationHamming distance and error correction

Separated codewords permit bounded symbol-error recovery.

Mathematical statement
InformationInternet protocol layers

Protocol layers divide communication responsibilities.

Definition
InformationTCP reliable byte-stream transport

TCP orders bytes and retransmits detected losses.

Method
InformationEncryption, hashes and message authentication

Cryptographic primitives serve distinct security properties.

Definition
InformationPublic-key digital signatures

A signing key and a verification key have different roles.

Definition
InformationComputable reductions and undecidability

Reduction direction determines which impossibility transfers.

Mathematical statement
InformationDecision classes P and NP

Polynomial solving and polynomial verification differ.

Definition
InformationNP-hardness and NP-completeness

NP-completeness combines verification and reduction hardness.

Definition
InformationBounded-error randomized computation

Random choices permit a stated probability of error.

Definition
InformationFinite graphs and trees

Graphs represent pairwise connections; trees impose acyclicity.

Definition
InformationData-structure interfaces and operation costs

An interface defines operations; an implementation determines costs.

Method
InformationLoop invariants and total correctness

An invariant establishes correctness only with its proof obligations.

Method
DefinitionSource checked

Shannon entropy of a discrete distribution

InformationMathematics & logic

Shannon entropy measures uncertainty in a specified probability distribution.

Key knowledge

For a finite discrete distribution with probabilities pᵢ, Shannon entropy is −Σᵢ pᵢ log₂ pᵢ, measured in bits. A zero-probability term contributes zero by its limiting value.

Values and equations

H(X) = −Σᵢ pᵢ log₂ pᵢ

X
Finite discrete random variable
pᵢ
Probability of outcome i
H(X)
Shannon entropy bits

Conditions and scope

  • pᵢ≥0 and Σᵢpᵢ=1; logarithm base 2 sets the unit to bits.
  • This is distributional uncertainty, not semantic meaning, truth or usefulness.
  • Differential entropy and entropy rates for dependent sequences require separate definitions.
Sources · 7

References

Sources retain their recorded scope. A source link alone does not establish verification of every statement.

  1. A Mathematical Theory of Communication (1948), §6: Choice, uncertainty and entropyClaude E. Shannon, Bell Telephone Laboratories; reprint hosted by Yale UniversityResearch paper · PDFcs.yale.eduRead source
  2. MA261 notes, chapter 27, Definition 145: EntropySiddhartha Gadgil / Indian Institute of ScienceCourse notesmath.iisc.ac.inRead source
  3. John Duchi, Stanford University2 sources
    1. Lecture Notes on Statistics and Information Theory (2023), §2.1.1: EntropyJohn Duchi, Stanford UniversityCourse notes · PDFstanford.eduRead source
    2. Lecture Notes on Statistics and Information Theory (2023), Chapter 11: Zero-term conventionJohn Duchi, Stanford UniversityCourse notes · PDFstanford.eduRead source
  4. A Mathematical Theory of Communication (1948)Claude E. Shannon / Bell System Technical JournalResearch paper · PDFcs.yale.eduRead source
  5. Statistics 311 lecture notes, entropy and relative entropyStanford UniversityCourse notes · PDFweb.stanford.eduRead source
  6. Entropy, Diversity and MagnitudeEmily Roff, University of EdinburghTeaching resource · PDFmaths.ed.ac.ukRead source

Evidence and review

Finite-distribution entropy, base-2 units and the zero-probability convention.

2026-10-10 · Compared Shannon's definition with IISc's displayed formula and Stanford's zero-term convention; retained the leading minus sign missing from extracted original-paper text.

Foundational review

2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.

Sources from other places

Scope or convention differs

Finite-distribution Shannon entropy, with zero terms omitted.

The source leaves its logarithm base unstated and its examples match base 10; the repository explicitly defines base 2 and bits.

Entry detailsPermanent link to this entry ↗
Record identity
info-shannon-entropy
Revision
core.1
Structured reference record
Essential core · first collection