Template:Individual-TLP-paragraph-de-3.333: Difference between revisions

m
Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)
No edit summary
m (Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|))
 
Line 1: Line 1:
{{ParTLPwrapper-de|
{{ParTLPwrapper-de|{{ParTLPde|3.333}} Eine Funktion kann darum nicht ihr eigenes Argument sein, weil das Funktionszeichen bereits das Urbild seines Arguments enthält und es sich nicht selbst enthalten kann.
{{ParTLPde|3.333}} Eine Funktion kann darum nicht ihr eigenes Argument sein, weil das Funktionszeichen bereits das Urbild seines Arguments enthält und es sich nicht selbst enthalten kann.


Nehmen wir nämlich an, die Funktion ''F'' (''fx'') könnte ihr eigenes Argument sein; dann gäbe es also einen Satz: „''F'' (''F'' (''fx''))“ und in diesem müssen die äussere Funktion ''F'' und die innere Funktion ''F'' verschiedene Bedeutungen haben, denn die innere hat die Form ''ϕ''(''fx''), die äussere, die Form ''ψ''(''ϕ''(''fx'')). Gemeinsam ist den beiden Funktionen nur der Buchstabe „''F'' “, der aber allein nichts bezeichnet.
Nehmen wir nämlich an, die Funktion ''F'' (''fx'') könnte ihr eigenes Argument sein; dann gäbe es also einen Satz: „''F'' (''F'' (''fx''))“ und in diesem müssen die äussere Funktion ''F'' und die innere Funktion ''F'' verschiedene Bedeutungen haben, denn die innere hat die Form ''ϕ''(''fx''), die äussere, die Form ''ψ''(''ϕ''(''fx'')). Gemeinsam ist den beiden Funktionen nur der Buchstabe „''F'' “, der aber allein nichts bezeichnet.
5,235

edits