Talk:Elementary function arithmetic
Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This article is rated Start-class on Wikipedia's content assessment scale.
It is of interest to the following WikiProjects:
It is of interest to the following WikiProjects:
WikiProject icon This article is within the scope of WikiProject Mathematics , a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Low This article has been rated as Low-priority on the project's priority scale.
This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (August 2011) (Learn how and when to remove this message)
Example needed of a true but unprovable artificial arithmetic statement
[edit ]In the section "Friedman's grand conjecture", the following statement appears:
"... it is easy to construct artificial arithmetical statements that are true but not provable in EFA ..."
However, it is not obvious – even to a mathematician! –
- exactly what is intended by the epithet "artificial" in the context of "arithmetical statements"; or
- that "it is easy to construct" such statements, especially when further restricted to being "true but not provable ...".
So this assertion is crying out for an example of such an unprovable, true, artificial statement in EFA, and I have flagged it "example needed" (which links to the WP:AUDIENCE section, part of a supplement to the WP:Manual of Style). yoyo (talk) 13:24, 5 November 2017 (UTC) [reply ]