The Holy Trinity

Existential Type

The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity.   The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between structures.  These three aspects give rise to three sects of worship: Logic, which gives primacy to proofs and propositions; Languages, which gives primacy to programs and types; Categories, which gives primacy to mappings and structures.  The central dogma of computational trinitarianism holds that Logic, Languages, and Categories are but three manifestations of one divine notion of computation.  There is no preferred route to enlightenment: each aspect provides insights that comprise the experience of computation in our lives.

Computational trinitarianism entails that any concept arising in one aspect should have meaning from the perspective of the other…

View original post 926 more words

“Cows Have to be Milked”

Pittsburgh (Abolitionist) Vegan

I have come across this argument before, but not in several years. Today, two fellow students reminded me of this common argument: “Cows have to be milked.”

Searching the Internet, I came across conflicting information. Some sources claim that the cows may contract Mastitis, an inflammation of the mammary gland. I also came across several sources that state cows become agitated when not milked. Others still, claim that the teats will eventually just dry up. I have contacted the Holstein Association for more information. (Holsteins are the dominant breed of dairy cow in the United States.)

[Update 05/23/12] At the time I originally published this article, I did not have a response from the Holstein Association. Now I do:

“Hi Pierce,

While we are not a veterinary organization, which would be the best source, I have lived on a dairy farm my entire life and can hopefully help clarify it…

View original post 688 more words