User:Gmc: Difference between revisions
Jump to navigation
Jump to search
(Created page with "An attempt to describe myself in first-order predicate logic: ∀φ((activist(φ)∧dutch(φ)∧founder-of(revspace,φ)∧∃S(∀ψ∈S...") |
No edit summary |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Attendee | |||
|name=gmc | |||
|village=Village:Slackers On Holiday | |||
|Arrival=2014/08/26 07:00 | |||
|IRC=gmc | |||
|teams=stage | |||
}} | |||
[[File:Gmc oranje hack42 cropped.jpg]] | |||
An attempt to describe myself in first-order predicate logic: | An attempt to describe myself in first-order predicate logic: | ||
Latest revision as of 12:48, 12 July 2014
{{#arraymaptemplate:stage|Team_Member|,|}}
| Attendee: gmc | |
|---|---|
| Talk ~ Sandbox ~ Contributions | |
| Village | ,|qwerty|qwerty }} |
| Arrival | 2014/08/26 07:00 |
| Contact
| |
| IRC | gmc |
| Teams | |
Error creating thumbnail: Unable to save thumbnail to destination
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?)