User:Gmc

From Electromagnetic Field
Revision as of 17:25, 7 January 2014 by Gmc (talk | contribs) (Created page with "An attempt to describe myself in first-order predicate logic: ∀φ((activist(φ)∧dutch(φ)∧founder-of(revspace,φ)∧∃S(∀ψ∈S...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

An attempt to describe myself in first-order predicate logic:

∀φ((activist(φ)∧dutch(φ)∧founder-of(revspace,φ)∧∃S(∀ψ∈S(hackerspace(ψ)∧visited(φ,ψ))∧|s|>35)∧main-organiser(har2009,φ)∧queer(φ)∧hacker(φ)∧radiomaker(φ)∧writer(φ)∧discordian(φ))→gmc(φ))

(can you find the fault in the above formula?)