178.115.55.162 (talk) |
178.115.55.162 (talk) |
||
Line 49: | Line 49: | ||
* The notable conjectures in the subject of set theory were typically formulated in the context of [[Zermelo-Frankel set theory]], and usually with [[axiom of choice|Choice]]. By the [[Gödel's completeness theorem|completeness theorem]], the problems may be understood as concerning the models thereof. The provability of the conjectures listed below might not be open in [[List_of_first-order_theories#Set_theories|other set theories]], such as ones over a logic or with axioms that are weaker, stronger or conflicting with it (e.g. a [[constructive set theory]], [[Tarski-Grothendieck set theory]] resp. a [[non-wellfounded set theory]].) |
* The notable conjectures in the subject of set theory were typically formulated in the context of [[Zermelo-Frankel set theory]], and usually with [[axiom of choice|Choice]]. By the [[Gödel's completeness theorem|completeness theorem]], the problems may be understood as concerning the models thereof. The provability of the conjectures listed below might not be open in [[List_of_first-order_theories#Set_theories|other set theories]], such as ones over a logic or with axioms that are weaker, stronger or conflicting with it (e.g. a [[constructive set theory]], [[Tarski-Grothendieck set theory]] resp. a [[non-wellfounded set theory]].) |
||
In fact the middle sentence mentioning models is probably even redundant also. |
|||
--[[Special:Contributions/178.115.55.162|178.115.55.162]] ([[User talk:178.115.55.162|talk]]) 17:15, 21 November 2023 (UTC) |
--[[Special:Contributions/178.115.55.162|178.115.55.162]] ([[User talk:178.115.55.162|talk]]) 17:15, 21 November 2023 (UTC) |
Revision as of 19:35, 21 November 2023
This article is of interest to the following WikiProjects: | |||||||||||||||||||||||||||
|
Dubner's Conjecture seems to be wrongly stated
The brief description says: "Dubner's conjecture: every number greater than 2408 is the sum of two primes which both have twins." But the linked article describes the conjecture as: "every even number greater than 4208 is the sum of two t-primes". It's trivially apparent that the word "even" is required. And there is an inconsistency about the threshold number - which is it? RMGunton (talk) 09:42, 18 November 2022 (UTC)
- Indeed -- I have corrected the minor errors here. JBL (talk) 20:37, 18 November 2022 (UTC)
- Whoops, that one's on me. Thanks for catching it! GalacticShoe (talk) 22:49, 18 November 2022 (UTC)
Semi-protected edit request on 13 December 2022
Please change:
- Uniform 5-polytopes – find and classify the complete set of these shapes
to start with "convex uniform 5-polytopes." The literature, including the cited source, only discusses convex uniforms. Discussion of uniform 4-polytopes and above without the "convex" qualifier is mostly limited to a small enthusiast community, so I was surprised to see it mentioned on this page. 11wx (talk) 01:20, 13 December 2022 (UTC)
- Done Thank you. Ovinus (talk) 08:35, 13 December 2022 (UTC)
Semi-protected edit request on 21 December 2022
"Днестровская тетрадъ" shall be "Днестровская тетрадь"
"Эрлаголъская тетрадъ" shall be "Эрлагольская тетрадь" VKleban (talk) 18:21, 21 December 2022 (UTC)
- Not done: please provide reliable sources that support the change you want to be made. casualdejekyll 18:37, 24 December 2022 (UTC)
- Done Sources are already present in the text. Thank you. Dintre (talk) 11:14, 4 January 2023 (UTC)
Set theory note
There was a 2021 edit at the start of the set theory section that reads a little odd. It reads
- Note: These conjectures are about models of Zermelo-Frankel set theory with choice, and may not be able to be expressed in models of other set theories such as the various constructive set theories or non-wellfounded set theory.
Given any FOL Set theory (many here List_of_first-order_theories#Set_theories) with the same signature (the bulk just works with \in and not more), a problem expressed in the language is the same for any of them. What's probably meant here is (and that's my proposed replacement)
- The notable conjectures in the subject of set theory were typically formulated in the context of Zermelo-Frankel set theory, and usually with Choice. By the completeness theorem, the problems may be understood as concerning the models thereof. The provability of the conjectures listed below might not be open in other set theories, such as ones over a logic or with axioms that are weaker, stronger or conflicting with it (e.g. a constructive set theory, Tarski-Grothendieck set theory resp. a non-wellfounded set theory.)
In fact the middle sentence mentioning models is probably even redundant also.
--178.115.55.162 (talk) 17:15, 21 November 2023 (UTC)