Talk:Tarski's exponential function problem

Workaround

Currently there is a section describing a "recent" approach of a workaround. Neither is this recent nor anywhere on the level that it actually is a workaround. it simply advertises a 10 page long paper. I would be in favour of removing this. Many other "workarounds" that don't really help in understanding the problem could also be added otherwise. Altarbasenstickfreie (talk) 22:45, 6 August 2024 (UTC)[reply]

I agree this section is bad as written.

My preference is, I think, opposite yours: salvage the section into some kind of "Extensions" or "Partial results" section explaining this and other 'workarounds'.

CRGreathouse (t | c) 14:22, 7 August 2024 (UTC)[reply]

Thank you for the feedback @CRGreathouse. I took some time to read the mentioned article, and it does actually not have anything to do with Tarski's exponential function problem or partial results to this end. Only once on page 315 of the article, it is mentioned that the exponential function is one particular function that the main result applies to. But in general it is about real analytic functions. So I do not see it as any attempt to present a workaround for Tarski's exponential function problem, which is not even mentioned in the article. Rather it is an extension of decidability of real closed fields.

I find the problem interesting and look for some articles that actually want to contribute in solving it. For now, I suggest to delete the section "Workaround" and will do so now. Please just reverse the change if you think that it should stay. Altarbasenstickfreie (talk) 18:26, 7 August 2024 (UTC)[reply]

That sounds good — thanks for the careful attention here. I agree that decidability of real closed fields is a better fit. - CRGreathouse (t | c) 19:16, 7 August 2024 (UTC)[reply]