Archive for Uncategorized
Life Art and Mysticism
May 21st, 2010 • Uncategorized
Only he who recognizes that he has nothing, that he cannot possess anything, that absolute certainty is unattainable, who completely resigns himself and sacrifices all, who gives everything, who does not know anything, who abandons and neglacts everything, he will receive all; to him the world of freedom opens, the world of painless contemplation and of – nothing.
— L. E. J. Brouwer 1905
A Clockwise 45° embedding of Categories in Lattices
April 28th, 2010 • Uncategorized
It is generally believed that Categories constitute a unified foundation for modern constructive mathematics. However a simple observation is enough to refute this claim. It is possible to take a book on category theory and rotate the pages through 45° clockwise to transform commuting diagrams into lattices diagrams. Surprisingly, despite the generality of categories the converse is not possible. No degree of rotation of lattice diagrams results in commuting diagrams to appear.
The embedding, by rotation of paper, clearly refutes contemporary claims in the foundations of mathematics. There is however the concern that after rotation the theorems become more difficult to read, and when deciphered may not necessarily apply to lattices. This concern is overcome by the pragmatic observation that readers only look at the pictures scratch their beards and encode further theorems.
Embryonic Implants take Central Role in Proof Theory
March 16th, 2010 • Uncategorized
The department of Sémantique, Preuve et Implantation, at the University of Paris intend to emphasise further their role in Implantation. The Head of the SPI Group Prof Hardin says, “Ces Anglo Saxons consistently overlook la menstrual cycle pour dealing avec le explicit substituations.”
Accoding to wikipedia: Implantation is an event that occurs early in pregnancy in which the embryo adheres to the wall of uterus. At this stage of prenatal development, the embryo is a blastocyst. It is by this adhesion that the fetus receives the oxygen and the nutrients from the mother to be able to grow.
French is known to not always directly translate into English.
Idealised Conversations set to take Central Stage in Film
March 15th, 2010 • Uncategorized
The all time Best Selling Novel Surreal Numbers, by Donald Knuth, has been approved for the big screen. Director Woody Allen says, “People are still missing the point with my parodies of society. Donald Knuth has however provided me with the gripping story line to engage with the nincompoops who pay to watch my films.” The adventures in the theory of constructive logic are thought never to have taken a central role in a major film. On second thoughts, adventures in the theory of constructive logic have probably never even taken a side role in a small very bad film before. Bob, Mel Gibson, is rumoured to breach the axiom of choice and suffer for us all, so that we may stick to categories with finite support. In doing so he fills a crack in the tight protocol of Alice, Angelina Jolie.
The Fundamental Theorem of Categories disposes Programmers.
March 15th, 2010 • Uncategorized
The constructive proof of the Theorem, “The category of Profunctors over Bi-categories is a Bi-category”, provides an automatic means of generating compilers. Thus traditional tools such as C-programmers can be disposed of.
The Four Ages of Man.
March 15th, 2010 • Uncategorized
What follows Birth. What leads to Why. Why leads to How. How leads to When. When follows Death. Thus there is a bifunctor contravarient in the first argument which abstracts the category of Life homomorphisms from a category of a Foetus to a Corpse. Thus the interaction of What, Why, How and When functors provide operational semantics for Life.