LESSWRONG
LW

arbimote
941451
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
Book Club Update and Chapter 1
arbimote15y40

EDIT: The original post now has updated times and links, so refer to that instead.

Here are links to the times suggested, for convenience:

  • New York City: Fridays at 1pm
  • Paris: Tuesdays at 1pm
  • San Francisco: Wednesdays at 1pm
  • Melbourne: Tuesdays at 9pm (edited to actually coincide with Paris)

I'd suggest posting meeting times using timeanddate.com, to help avoid confusion about time zones and daylight savings.

Reply
Book Club Update and Chapter 1
arbimote15y10

Perhaps what is missing is these rules:

AT = A (1)

AF = F (2)

A + T = T (3)

A + F = A (4)

Which can be derived from the given axioms, apparently. I'm not sure if some necessary axioms were omitted.

Using some of these, here's one way to derive B!A=!A from !B=AD:

!B = AD

!B + A = AD + A

!B + A = AD + AT (1)

!B + A = A(D + T) (Distributivity)

!B + A = AT (3)

!B + A = A (1)

!!B!A = !A (Duality)

B!A = !A

Reply
Less Wrong Book Club and Study Group
arbimote15y00

I'm in.

Reply
What is bunk?
arbimote15y20

Post also mentioned Tolerate Tolerance

Reply
Attention Lurkers: Please say hi
arbimote15y80

Hi.

I registered and started posting a while back, but since then have reverted to lurking. Partly due to not having time, but I can also identify with reasons some others have given.

Reply
Spring 2010 Meta Thread
arbimote15y-20

Voted down for being off-topic.

Reply
Open Thread: February 2010, part 2
arbimote15y60

Verifying a proof is quite a bit simpler that coming up with the proof in the first place.

Reply
Open Thread: February 2010
arbimote15y00

Perhaps keep anonymous votes too, but make them worth less or only use them to break ties.

Reply
Open Thread: February 2010
arbimote15y00

A sequence of wins and non-wins is enough to tell you whether a given approach can result in intelligent behaviour. That alone is enough to make it a useful experiment.

Reply
Rationality Quotes: February 2010
arbimote15y130

A man with one watch might have the wrong time; a man with two watches is more aware of his own ignorance.

Reply
Load More
Sequences
15y
(+293)
No posts to display.