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 Sep. 21st, 2017 04:00 pm
Powered by Dreamwidth Studios