jpulgarin

Replying toThe 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 $P A ⊢ □ (\neg C o n (P A))$ or that $P A ⊢ \neg C o n (P A)$ ? From your reasoning I agree that if we assume $\neg □ C \to C$ then we can arrive at $P A ⊢ □ C$ and $P A ⊢ □ (\neg C)$ , from which we can conclude that $P A ⊢ □ (\neg C o n (P A))$ . If you meant that $P A ⊢ \neg C o n (P A)$ though, could you explain how you arrived at that?

Replying toThe Cartoon Guide to Löb's Theorem

jpulgarin6y

The Cartoon Guide to Löb's Theorem

I don't think there's a flaw in this argument. I'm pretty sure that $\neg □ C \to C$ is a theorem of PA for any sentence $C$ . However, even if we consider $C$ to be a sentence like $2 = 1$ , that does not mean that we can conclude that $C$ 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 Medellin, Colombia Meetup

jpulgarin

Discussion article for the meetup : First Medellin, Colombia Meetup

WHEN: 06 May 2017 06:00:00PM (-0500)

WHERE: Starbucks Coffee One Plaza, Medellin

In the spirit of http://lesswrong.com/lw/bc2/setting_up_lw_meetups_in_unlikely_places_positive/, I'm holding a meetup in Medellin, Colombia. I've been living here for 2 years now, and want to see if there are any other LW readers.

It will be held at the Starbucks located in the "One Plaza" office building at 6pm on Saturday, May 6th. I will have a copy of 'Quantum Computing Since Democritus' at my table for easy identification, and commit to being at Starbucks until 7pm even if nobody shows up.

Discussion article for the meetup : First Medellin, Colombia Meetup

Replying toMeetup : First Bogota, Colombia Meetup

jpulgarin9y

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.

Meetup : First Bogota, Colombia Meetup

jpulgarin

Discussion article for the meetup : First Bogota, Colombia Meetup

WHEN: 28 January 2017 06:00:00PM (-0500)

WHERE: Starbucks Zona G

I'm visiting Bogota for the weekend (currently live in Medellin), and it would be awesome to meet other LW readers!

I will have a copy of 'Quantum Computing Since Democritus' at my table for easy identification, and commit to being at Starbucks until 7pm even if nobody shows up.

Discussion article for the meetup : First Bogota, Colombia Meetup

Replying to2012 Less Wrong Census/Survey

jpulgarin13y

2012 Less Wrong Census/Survey

Largely a result of Salsa dancing.

Replying to2012 Less Wrong Census/Survey

jpulgarin13y

2012 Less Wrong Census/Survey

Why?

Replying to2012 Less Wrong Census/Survey

jpulgarin13y

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.

Replying toWhere do selfish values come from?

jpulgarin13y

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.

Replying toIncentives to Make Money More Effectively, Should We List Them?

jpulgarin13y

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?

Replying toWhere do selfish values come from?

jpulgarin13y

Where do selfish values come from?

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

Replying to[Link] Social dance and cognitive maintenance

jpulgarin14y

[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).

Meetup : First Cali, Colombia meetup

jpulgarin

14y

Discussion article for the meetup : First Cali, Colombia meetup

WHEN: 02 July 2012 07:00:00PM (-0400)

WHERE: Chipichape, Cali, Valle del Cauca, Colombia

Specific Location: Juan Valdez Cafe inside Chipichape Mall

http://lesswrong.com/lw/bc2/setting_up_lw_meetups_in_unlikely_places_positive/ motivated me to post this meetup on the off chance there are any LessWrongers in Cali, Colombia.

Discussion article for the meetup : First Cali, Colombia meetup

Meetup : Waterloo Meetup

jpulgarin

14y

Discussion article for the meetup : Waterloo Meetup

WHEN: 30 January 2012 08:00:00PM (-0500)

WHERE: 4 King St N Waterloo

Location: Symposium Cafe

I plan to keep organizing these meetups on a weekly basis, so this should be the last irregularly scheduled meetup.

The reservation is under "Julian Pulgarin", and if I am confident enough, there will be a large sign featuring this picture on it. My phone number is 519-781-1573.

I propose we go through the sunk cost exercise booklets, and agree on a regular time and place for weekly meetups.

LESSWRONG
LW

LESSWRONG
LW

Meetup : First Cali, Colombia meetup

Meetup : Waterloo Meetup

Meetup : First Medellin, Colombia Meetup

Meetup : First Bogota, Colombia Meetup

jpulgarin

Meetup : First Medellin, Colombia Meetup

Meetup : First Bogota, Colombia Meetup

Meetup : First Cali, Colombia meetup

Meetup : Waterloo Meetup

jpulgarin

Meetup : First Cali, Colombia meetup

Meetup : Waterloo Meetup

Meetup : First Medellin, Colombia Meetup

Meetup : First Bogota, Colombia Meetup

jpulgarin

Meetup : First Medellin, Colombia Meetup

Meetup : First Bogota, Colombia Meetup

Meetup : First Cali, Colombia meetup

Meetup : Waterloo Meetup

Discussion article for the meetup : First Medellin, Colombia Meetup

Discussion article for the meetup : First Medellin, Colombia Meetup

Discussion article for the meetup : First Bogota, Colombia Meetup

Discussion article for the meetup : First Bogota, Colombia Meetup

Discussion article for the meetup : First Cali, Colombia meetup

Discussion article for the meetup : First Cali, Colombia meetup

Discussion article for the meetup : Waterloo Meetup

Discussion article for the meetup : Waterloo Meetup