I'd really like it if you don't mind. I contributed as well.

Can you share more info on how to acquire this bounty?

may i please acquire the bounty im very poor (in Mana)

 You may, if you have some way of getting it

I can acquire this bounty if and only if PA proves that I can acquire this bounty. 

 I'm afraid you're going to have to ask the laws of classical logic for permission to do that, since I can't determine what is or isn't sound. I'm not optimistic on your prospects, though. My friend Löb tried it once, and I'm pretty sure he got rejected.

 Hmmmm good point. I will define a new system PA+$ as follows: It is PA but with a new constant symbol $ that equals 0 iff I can acquire the bounty. The formula Bew$ represents provability in PA+$. Quotation marks represent taking the Godel number. Plasma Ballin, do I have permission to add ($=0)<->Bew$("$=0") as an axiom of PA+$ while retaining soundness?

 How are you going to formalize the statement, "I can acquire this bounty" in the language of PA?

I will donate it to Givewell Maximum Impact fund if I get it 🥺

100 mana to whoever can acquire this bounty

People are also trading

People are also trading

Related questions