jpulgarin

Comments

The Cartoon Guide to Löb's Theorem

Thanks Sam. I thought about this some more and realized where I went wrong - I was applying the deduction theorem incorrectly (as other comments in this thread have pointed out).

By the way, when you say that PA proves its own inconsistency, do you mean that or that ? From your reasoning I agree that if we assume then we can arrive at and , from which we can conclude that . If you meant that though, could you explain how you arrived at that?

The Cartoon Guide to Löb's Theorem

I don't think there's a flaw in this argument. I'm pretty sure that is a theorem of PA for any sentence . However, even if we consider to be a sentence like , that does not mean that we can conclude that is a theorem of PA, since proving that there doesn't exist a proof for a given sentence in PA is equivalent to proving that PA is consistent, which is not possible if we assume that PA is consistent.

Meetup : First Bogota, Colombia Meetup

Sorry :/, it was my fault for posting it at such short notice. No one else came.

There's a chance I'll be back in Bogota during the first week of March. If so, I'll make sure to post it with a bit more notice.

Do you go to Medellin every once in a while? I'm thinking of starting a regular meetup here.

2012 Less Wrong Census/Survey

Largely a result of Salsa dancing.

2012 Less Wrong Census/Survey

Do casual sex partners count under the "Number of Current Partners" question?

The instructions tell me that higher numbers are for "polyamorous relationships" which makes it seem like a monogamous person who has multiple casual sex partners should answer 0 for that question.

Where do selfish values come from?

I genuinely do not understand how you were insulted by my comment. Could you please explain it to me so I can avoid in the future.

Note, I am not purposely insulting you in this comment.

Incentives to Make Money More Effectively, Should We List Them?

find tickets for free for strange trips around the world (there are loads)

Can you please elaborate?

Where do selfish values come from?

There's no disagreement here, you're just confused about semantics.

[Link] Social dance and cognitive maintenance

I see in a reply of yours that you're interested in salsa dancing. By far the most important factor in getting better is to quickly achieve a level of competency that makes salsa socials really fun. I don't think I've gone more than 7 days in the last 2.5 years without attending a salsa social, and this has been the biggest factor in my improvement.

You may already be at this stage since you said you enjoy dancing, but if not I suggest you learn the basics from a friend or a class (I would spend no more than 10 hours on this stage), and then force yourself to attend a bunch of salsa socials, until you start really enjoying the experience.

Once you've reached this stage, you've solved the motivation problem, and now you can optimize towards becoming a really good dancer (if you even want to at this point - it's not necessary to reap the majority of the benefits).

Load More