Der Beitrag befasst sich mit einer Diskussion von Mode und Nachhaltigkeit in der Informationsund Kommunikationstechnik (IKT) am Beispiel des Eingabestifts (englisch Stylus oder Touch Pen). Die wechselhafte Entwicklungsgeschichte des Eingabestifts wirft die Frage auf, ob es sich beim Eingabestift um ein nachhaltiges Bedienkonzept der IKT handelt oder ggf. nur um eine (wiederkehrende) Modeerschei...

We compare the pencil/paper proofs and formal proofFormal proof of two traditional in high school geometry. highlight fact that slightly different formulations or can lead to difficulties formalizationFormalization. discuss challenges impact on both mathematical teachingTeaching design AI tools for education.