[cambalache]

You are just repeating my critique. I am not the one making the mistake.

[gbjw]

So you mean your frustration is warranted then?

[cambalache]

If that is the kind of work published by academics associated with the MIT and La Pontificia Universidad de Madrid, then maybe I should not feel frustrated after all by not being an academic.

[spuz]

But you said in your first comment that you were an academic.

"I confess I am a frustrated academic"

[bryanrasmussen]

if you're not being facetious,

in English vernacular being a frustrated X (as in a frustrated academic, frustrated poet, etc.) means that the person is actually not that, but have in some way been prevented from being the thing (frustrated) and have perhaps rancor in regards to the frustration and towards those who actually are the thing (this second feature being sometimes implied depending on who is doing the description of the person as frustrated)

on edit: formatting, clarification

[js8]

Thanks, I wasn't aware of the 2nd meaning. I also interpreted the "frustrated academic" as "an annoyed academic", rather than "an unsuccesfull academic".

[bryanrasmussen]

I'm thinking maybe it is no longer as common an expression as I thought, given the people who've mistaken it here.

[taberiand]

As an English speaker, my only interpretation was that you were an academic frustrated about academia.

[bryanrasmussen]

https://www.ldoceonline.com/dictionary/a-frustrated-artist-a... - came up if I search for 'meaning of frustrated poet' which is the kind of thing where the phrasing most often comes up.

[falseprofit]

That isn't even the same user.

[Caylio]

He is proving his point by contradicting himself, a true mathematician.

[jacb]

Ah, I misunderstood you! I apologize. :)

[sgillen]

I think maybe you made a typo in your OP? The authors assume beauty is decidable and use that to show that would imply that the halting problem is undecidable. It applies to anything, like you say, and to me it seems like a silly argument, but I think it’s a valid proof given the premises.