Verbindung hergestellt.connected.<br>num: 29692<br>
<pre>
-------------------------
GRUPPE: de.sci.mathematik
FROM  : Moebius <invalid@example.invalid>
DATE  : Sat, 6 Dec 2025 15:14:17 +0100
TEMA  : =?UTF-8?Q?Re=3A_Wirres_M=C3=BCckengelaber?=
---------------------------------------------
Am 04.12.2025 um 07:23 schrieb Moebius:
> Am 03.12.2025 um 11:59 schrieb Moebius:
> 
>> Viell. versteht ja sogar Mückenheim, dass man von
>>
>>           ∀n∃m ...n...m...
>>
>> nicht auf
>>
>>           ∃m∀n ...n...m...
>>
>> "schließen" darf.
> 
> Schön, wenn er das (nach eigener Aussage) versteht. Dann kann es ja 
> nicht mehr passieren, dass er "∀n ∈ ℕ: E^oo m ∈ ℕ: m > n" (wahr) mit 
> "E^oo m ∈ ℕ: ∀n ∈ ℕ:  m > n" (falsch) velwechsert.

Nun behauptet er aber (einmal mehr):

| E^oo m ∈ ℕ: ∀n ∈ ℕ_def: m > n.

Um die Gültigkeit dieser Behauptung beurteilen zu können, müsste man 
aber erst einmal die Definition von "ℕ_def" kennen (jedenfalls außerhalb 
des Mückenheimschen Wahnsystems).

Bisher haben alle Definitionsversuche dieses psychotischen Spinners 
impliziert, dass ℕ_def = ℕ ist. Demnach wäre diese Behauptung also FALSCH.

Andererseits gilt natürlich trivialerweise:

AM c ℕ: M endlich -> (E^oo n ∈ ℕ: ∀m ∈ M:  n > m).

Kurz, wir sehen wieder einmal wie richtig Franz lag, als er schrieb:

"[WM's] conclusions are based on the sloppiness of his notions, his 
inability of giving precise definitions, his fundamental 
misunderstanding of elementary mathematical concepts, and sometimes, as 
the late Dik Winter remarked [...], on nothing at all."

-- Franz Lemmermeyer

>> .
>> .
>> .
>>
>>
> 
> 


-- 
Diese E-Mail wurde von Avast-Antivirussoftware auf Viren geprüft.
www.avast.com
head: