Liste des Groupes | Revenir à s math |
On 6/30/2024 11:15 AM, WM wrote:Of course. All constructed finite formulas belong to a potentially infinite collection.Le 29/06/2024 à 23:18, joes a écrit :Am Sat, 29 Jun 2024 17:01:10 +0000 schrieb WM:Then there are more formulas than there are formulas.>Like "0.111..." it is a formula.
Formulas determine sequences.
The other way round is not possible.Then all real numbers are formulas.>
Yes, you got it!
So, there is a point there.Yes. There is no absolute "all" in potential infinity.
So, there is a formula there.
But there isn't an indexed.formula there.
So, all the indexed.formulas
(finite strings, finite alphabet)
aren't all the formulas.
Somehow.
Les messages affichés proviennent d'usenet.