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?

Given a question requiring intelligence I, and individuals each with intelligence I_i, I_i < I, \forall i, how many individuals would a successful committee require?

If each of n committee members knows n - 1 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"]

The Neglige of Ignorance

January 8, 2009

EMBARGOED UNTIL A WRITTEN SIGNED WITNESSED VERIFIED RESPONSE HAS BEEN RECEIVED.

Schedule of Responsibilities of the Crown
Rights of the Individual
The Articles of Confederation
Constitution

Consequence and Prediction

December 29, 2008

Given a quantum constructive logic, \mathbf{PQ}, that contains a certain fragment, \mathbf{KQ}, there is a transformation from either into a classical constructive logic, \mathbf{LK}.

The transformation in

pq

is a prediction. A prediction provides a posterior distribution, l, given the observation, o, and the transformation (prior), p.  Simplistic transformations often produce a scalar posterior l \in [0,1].

The transformation in

kq

is a proposition. A consequent

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.

Follow

Get every new post delivered to your Inbox.