1.053
Bearbeitungen
Baustelle:Funktion: Unterschied zwischen den Versionen
K
→Zur kulturhistorischen Begriffsgenese Vgl. hierzu die ausführliche Darstellung in [Hischer 2012, 130 ff.].
KKeine Bearbeitungszusammenfassung |
|||
| Zeile 21: | Zeile 21: | ||
* ...? | * ...? | ||
Legt man diese offen gehaltene Liste zugrunde, so begegnet uns der Funktionsbegriff erstmalig in einigen numerischen Tabellen bei den Babyloniern im 19. Jh. v. Chr., und es ergibt sich folgende grobe Zeittafel:<br /> | Legt man diese offen gehaltene Liste zugrunde, so begegnet uns der Funktionsbegriff erstmalig in einigen numerischen Tabellen bei den Babyloniern im 19. Jh. v. Chr., und es ergibt sich folgende grobe Zeittafel:<br /> | ||
* '''Stationen der kulturhistorischen Entwicklung des Funktionsbegriffs''' <ref>Aus [Hischer | * '''Stationen der kulturhistorischen Entwicklung des Funktionsbegriffs''' <ref>Aus [Hischer 2012, 131], dort ausführlich dargestellt.</ref> | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
| Zeile 63: | Zeile 63: | ||
Daran anschließend versuchen '''Peirce''', '''Schröder''' und '''Peano''' erstmalig, ''Funktionen als Relationen'' und ''Relationen als Mengen geordneter Paare'' zu beschreiben, wobei sie „geordnetes Paar“ noch undefiniert verwenden.<br /> | Daran anschließend versuchen '''Peirce''', '''Schröder''' und '''Peano''' erstmalig, ''Funktionen als Relationen'' und ''Relationen als Mengen geordneter Paare'' zu beschreiben, wobei sie „geordnetes Paar“ noch undefiniert verwenden.<br /> | ||
Felix '''Hausdorff''' definiert 1914 erstmalig „geordnetes Paar“ auf mengentheoretischer Grundlage (wenn auch noch nicht so elegant wie 1921 [http://de.wikipedia.org/wiki/Kazimierz_Kuratowski Kazimierz '''Kuratowski''']) und darauf aufbauend „Funktion“ als das, was wir heute ''„binäre, rechtseindeutige Relation“'' nennen: Damit wurde erstmalig der moderne Funktionsbegriff formal sauber definiert, basierend auf den Vorarbeiten vor allem der Mathematiker des 19. Jahrhunderts, wobei die vorherige Betrachtung und Einbeziehung empirischer Funktionen die Abkehr von der Forderung nach einem „Bildungsgesetz“ erzwungen hatte. | Felix '''Hausdorff''' definiert 1914 erstmalig „geordnetes Paar“ auf mengentheoretischer Grundlage (wenn auch noch nicht so elegant wie 1921 [http://de.wikipedia.org/wiki/Kazimierz_Kuratowski Kazimierz '''Kuratowski''']) und darauf aufbauend „Funktion“ als das, was wir heute ''„binäre, rechtseindeutige Relation“'' nennen: Damit wurde erstmalig der moderne Funktionsbegriff formal sauber definiert, basierend auf den Vorarbeiten vor allem der Mathematiker des 19. Jahrhunderts, wobei die vorherige Betrachtung und Einbeziehung empirischer Funktionen die Abkehr von der Forderung nach einem „Bildungsgesetz“ erzwungen hatte. | ||
==Mengentheoretische Definition <small><small><ref>Vgl. hierzu die ausführlichen Betrachtungen in [Hischer 2012, Kapitel 5].</ref></small></small>== | ==Mengentheoretische Definition <small><small><ref>Vgl. hierzu die ausführlichen Betrachtungen in [Hischer 2012, Kapitel 5].</ref></small></small>== | ||
Unter Bezug auf den mit „binäre [[Relation]]“ bezeichneten Begriff lässt sich „Funktion“ knapp und elegant definieren, wobei hier statt „binäre [[Relation]]“ kurz „[[Relation]]“ gesagt wird: <ref>Auch [Deiser 2010] definiert „Funktion“ als rechtseindeutige Relation.</ref><br /> | Unter Bezug auf den mit „binäre [[Relation]]“ bezeichneten Begriff lässt sich „Funktion“ knapp und elegant definieren, wobei hier statt „binäre [[Relation]]“ kurz „[[Relation]]“ gesagt wird: <ref>Auch [Deiser 2010] definiert „Funktion“ als rechtseindeutige Relation.</ref><br /> | ||