Rugby
June 27, 2009
Given the nature of quantum mechanics, how does a puny geek seal a point?
How would one prevent the impossible?
Purely positive republics. 15 July 2009
The Wife Problem
May 22, 2009
Which one?
Committees and Intelligence
March 22, 2009
Given a question requiring intelligence , and individuals each with intelligence
, how many individuals would a successful committee require?
If each of committee members knows
facts and each committee member does not know a different fact, does the committee know anything?
—
See R. G. Downey, M. R. Fellows: Parameterized Complexity Springer-Verlag, 1999.
The Pendantic Judicative
January 15, 2009
Consider a legal term such as compliant. Before any legislated injunction there is no matter. A political correctness tends towards a term non-compliant. A party that is non-compliant for the duration of and each time has never not been non-compliant.
There are very few short ratios in jurisprudence.
The court of common opinion relies on a normally asymmetric relation of belief. There are those who attempt to reduce a complicated situation to an, if not yet then sure to be loaded, pithy word or phrase. This allows some predicate adjective attachment to the subjective referent. [e.g. "look, that psychologist is feeding those birds that can be trained to fly somewhere with messages, populate urban regions, carry disease, and torment sparrows"]
Consequence and Prediction
December 29, 2008
Given a quantum constructive logic, , that contains a certain fragment,
, there is a transformation from either into a classical constructive logic,
.
The transformation in
is a prediction. A prediction provides a posterior distribution, , given the observation,
, and the transformation (prior),
. Simplistic transformations often produce a scalar posterior
.
The transformation in
is a proposition. A consequent
is a strict logical operation.
Bayes, T. (1958), Studies in the History of Probability and Statistics: IX. Thomas Bayes’ Essay Towards Solving a Problem in the Doctrine of Chances, Biometrika, 45, 296-315.
Gentzen, G. (1969), The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland.
Jean-Yves Girard. (1993), Linear logic: Its syntax and semantics. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, 1–42. Cambridge University Press.



