Liste des Groupes | Revenir à s math |
Am 16.07.2024 um 01:57 schrieb Moebius:There are infinite successors to any finite number?
> Siehe auch: https://en.wikipedia.org/wiki/Quantifier_shift
Hier wird als ein Beispiel für diesen Fehlschluss angeführt:
3. Every natural number 𝑛 has a successor 𝑚 = 𝑛 + 1, the smallest of all natural numbers that are greater than 𝑛. Therefore, there is a natural number 𝑚 that is a successor to all natural numbers.
∀𝑛 ∃𝑚 𝑆𝑛𝑚 ⊢ ∃𝑚 ∀𝑛 𝑆𝑛𝑚.
It is fallacious to conclude that there is a single natural number that is the successor of every natural number.
Für Mückenheim ist es nun aber so, dass wegen seiner "Gleichsetzung" von ∀𝑛 ∃𝑚 𝑆𝑛𝑚 mit ∃𝑚 ∀𝑛 𝑆𝑛𝑚 eben ∀𝑛 ∃𝑚 𝑆𝑛𝑚 ∃𝑚 ∀𝑛 𝑆𝑛𝑚 "impliziert" (besser gleichbedeutend ist mit ∃𝑚 ∀𝑛 𝑆𝑛𝑚).
Im Mückenland gibt es daher eine natürliche Zahl, die "Successor" jeder natürlichen Zahl ist (also auch von sich selbst); d a s ist die größte natürliche Zahl!
Les messages affichés proviennent d'usenet.