Note that /help/notation only works on the main site

@SimplyBeautifulArt <− @MathematicsAminPhysics: I agree with SBA's comment here, but I understand that perhaps you do not grasp the notion that existence of mathematical objects can imply many other things (as I have explained above), so one cannot say so easily that other things that appear unrelated to the Godel sentence are not related. Of course, you can prove the incompleteness theorem non-constructively without using the Godel sentence (see my profile).

But Godel's aim was not just to prove the incompleteness theorem for classical arithmetic but also ensure that his proof was intuitionistically valid. My proof, being non-constructive, would not fulfill that part of the goal. The Godel sentence is an explicit sentence that can be output by a program given any formal system, and I can write such a program!

@amWhy @SimplyBeautifulArt @Did: This context-less question is ready for deletion.

And this PSQ also can be deleted.

@Jack Please continue mentioning such posts here. There are a couple of us who are committed to assessing them and removing junk. If we disagree then we will discuss. =)

@Jack I took some time before deciding that the question is like a crank post and not worth keeping. If people want it back they can undelete and I won't stop them. =)

@Jack: The rest are deleted. Do you mind helping to downvote and delete the nonsense post about infinity starred in the side-bar?

Oh, hello and welcome @Jack

@Jack jeez, nothing left for me

@SimplyBeautifulArt There is. See the two bad questions I left for you? =)

Oh wait you already voted haha..

@Jack The reason I deleted is that it seems none of the answers except this one explicitly state clearly that the question is nonsense. Especially when the answerer's reputation is high, it gives a false impression that the question is somehow meaningful and not just junk.

@Jack Thank you. Please do. It's been sitting around for a long time and not enough people want to get rid of it. Probably all its upvotes came from the HNQ drive-by visitors.

You posted links to many posts that deserved to be dealt with, deleted. But it is troubling that 90% of the posts you linked to are from "self-aware-user". I know you likely meant well, and I'm glad you're here, and hope you frequent CRUDE. But deleting so many of one user's post risks being seen as "targeting" a user. In any case, welcome!

Problem statement

@SimplyBeautifulArt voted accordingly,. Only one more close vote needed to close.

@amWhy is closed by the time you commented ;P

@SimplyBeautifulArt Of course... via telepathy, I suggested Shaun add the last close vote! :P

:P

@amWhy Likely dupe

@SimplyBeautifulArt Yup

Up for deletion

@SimplyBeautifulArt 2 votes, one more needed.

@SimplyBeautifulArt, @Did The "problem statement" you post above is open for delete votes (Mine was first!)

@amWhy you can unpin now

I have not pinned my last question listed above. I did pin your question, which you could easily have unpinned. But I did so, as requested, @SimplyBeautifulArt.

@amWhy Actually, I don't know how to unpin D:

There's an arrow pointing down when you hover over a pinned post. Click on it, and you have the option to unpin it. (I think this is a feature for room owners, and likely available to anyone's own pinned comments).

@amWhy Usually for me it has the option to pin it, unless I was the one who pinned it to begin with

@SimplyBeautifulArt Oh, I'm talking about the pinned messages to the right of comments. For example, on Martin's pinned comment, when you hover over it, an upside-down triangle appears after his username. Click on it, and at the bottom of the menu, you can "unpin" the comment, and you can cancel stars.

@amWhy OH!

okay, thanks @amWhy

@SimplyBeautifulArt :D

→ 8 messages moved to trash

→ 9 messages moved to trash

→ 1 message moved to trash

@Jack may be interested in this message.

→ 2 messages moved to trash

@Jack o/