Was (wer) ist computational adequacy theorem - definition
SATIRICAL, ONLINE NEWS SOURCE
Adequacy Style Troll
Computational Adequacy Theorem
This states that for any program (a non-function typed term in
the typed lambda-calculus with constants) {normal order
reduction} (outermost first) fails to terminate if and only if
the standard semantics of the term is bottom. Moreover,
if the reduction of program e1 terminates with some {head
normal form} e2 then the standard semantics of e1 and e2 will
be equal. This theorem is significant because it relates the
operational notion of a reduction sequence and the
denotational semantics of the input and output of a
reduction sequence.
Computational social science
ACADEMIC SUB-DISCIPLINES CONCERNED WITH COMPUTATIONAL APPROACHES TO THE SOCIAL SCIENCES
Computational Social Science; Computational Communication; Computer models of social processes; Computational social sciences
Computational social science is the academic sub-discipline concerned with computational approaches to the social sciences. This means that computers are used to model, simulate, and analyze social phenomena.
Divergence theorem
![The divergence theorem can be used to calculate a flux through a [[closed surface]] that fully encloses a volume, like any of the surfaces on the left. It can ''not'' directly be used to calculate the flux through surfaces with boundaries, like those on the right. (Surfaces are blue, boundaries are red.)](https://commons.wikimedia.org/wiki/Special:FilePath/SurfacesWithAndWithoutBoundary.svg?width=200 "The divergence theorem can be used to calculate a flux through a [[closed surface]] that fully encloses a volume, like any of the surfaces on the left. It can ''not'' directly be used to calculate the flux through surfaces with boundaries, like those on the right. (Surfaces are blue, boundaries are red.)")
GENERALIZATION OF THE FUNDAMENTAL THEOREM IN VECTOR CALCULUS
Gauss' theorem; Gauss's theorem; Gauss theorem; Ostrogradsky-Gauss theorem; Ostrogradsky's theorem; Gauss's Theorem; Divergence Theorem; Gauss' divergence theorem; Ostrogradsky theorem; Gauss-Ostrogradsky theorem; Gauss Ostrogradsky theorem; Gauss–Ostrogradsky theorem
In vector calculus, the divergence theorem, also known as Gauss's theorem or Ostrogradsky's theorem, reprinted in is a theorem which relates the flux of a vector field through a closed surface to the divergence of the field in the volume enclosed.
Wikipedia
Adequacy.org
Adequacy.org was a satirical web site. It featured articles on politics, religion, technology, history, and sociology, as well as the "Linux Zealot" cartoon series. The site shut down on September 11, 2002, but has since made its archives available.
Adequacy.org's slogan was "News for grown-ups," a play on the slogan of the popular Slashdot technology news site, "News for nerds. Stuff that matters," as an Adequacy's founding editor claimed to have been a regular troll on Slashdot.
