Apr. 11th, 2011

jackshoegazer: (Pissed/CAPSLOCK)
I am currently tearing my hair out trying to translate "A brother of an uncreated creator of all brothers of any creatures creates every brother." into polyadic predicate logic.
jackshoegazer: (News/Fucked)
∃x∃y((Bxy&∀z(∃wBzw⇒Cxz))&(∀u~Cuy&∀v(∃r(Bvr&∃sCsr)⇒Cyv)))

I don't get it at all.

Profile

jackshoegazer: (Default)
jackshoegazer

February 2012

S M T W T F S
   12 34
567891011
12131415161718
19202122232425
26272829   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 08:50 pm
Powered by Dreamwidth Studios