Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > ger.ct > #610202

Re: Mathematiker hier? wegen rechtseindeutiger Relation

From Carlo XYZ <carloxyz@invalid.invalid>
Newsgroups ger.ct
Subject Re: Mathematiker hier? wegen rechtseindeutiger Relation
Date 2023-11-13 13:48 +0100
Organization ABC
Message-ID <uit5v9$ldit$1@dont-email.me> (permalink)
References <krcvdmFjl3rU1@mid.individual.net> <ht792kxho7.ln2@diedrich.ddnssec.de> <Funktion-20231113105424@ram.dialup.fu-berlin.de> <dlg92kx9dl.ln2@diedrich.ddnssec.de>

Show all headers | View raw

Diedrich Ehlerding schrieb am 13.11.23 um 13:16:
> Stefan Ram meinte:
> 
>>> "Funktion" ist ein anderer Name für "rechtseindeutige Relation";
>>
>> Erstens muß sie auch noch linkstotal sein.
> 
> Nein. Siehe zB https://de.wikipedia.org/wiki/%CE%9C-Rekursion; in der
> Theorie der Berechnebarkeit unterscheidet man totale und partielle
> Funktionen.

Doch. Man nennt eine Funktion "total", um sie von dem
Begriff der partiellen Funktion zu unterscheiden. Wenn
von Funktion die Rede ist und nichts weiter dazu gesagt
wird, ist total gemeint. Das ist genauso eine Konvention
wie die, dass man von der positiven Wurzel ausgeht, wenn
nichts anderes gesagt wird. In dem Wikipedia-Artikel über
Rekursion wird, völlig korrekt und konventionsgemäß,
"partiell" erwähnt. Und sogar noch ein Verweis angegeben.

Back to ger.ct | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Mathematiker hier? wegen rechtseindeutiger Relation Michael Zink <michael@swamp.franken.de> - 2023-11-12 22:46 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Lothar Kimmeringer <news201705@kimmeringer.de> - 2023-11-12 23:03 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Michael Zink <michael@swamp.franken.de> - 2023-11-20 22:01 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Dietz Proepper <dietz.usenet@rotfl.franken.de> - 2023-11-21 08:36 +0100
        Re: Mathematiker hier? wegen rechtseindeutiger Relation Carlo XYZ <carloxyz@invalid.invalid> - 2023-11-21 14:39 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Mike Grantz <invalid@invalid.invalid> - 2023-11-13 01:47 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Hermann Riemann <nospam.ng@hermann-riemann.de> - 2023-11-13 09:44 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Ulf Kutzner <Ulf.Kutzner@web.de> - 2023-11-13 00:49 -0800
    Re: Mathematiker hier? wegen rechtseindeutiger Relation gunter-kuehne <gunter-kuehne@mail.de> - 2023-11-13 09:52 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Ulf Kutzner <Ulf.Kutzner@web.de> - 2023-11-13 01:00 -0800
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Ned Kelly <ned.kelly@nefkom.net> - 2023-11-13 12:04 +0100
        Re: Mathematiker hier? wegen rechtseindeutiger Relation Gunter Kühne <kuehne-g@freenet.de> - 2023-11-13 13:17 +0100
          Re: Mathematiker hier? wegen rechtseindeutiger Relation Ned Kelly <ned.kelly@nefkom.net> - 2023-11-14 14:51 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Martin Ebert <mx300@gmx.net> - 2023-11-13 17:58 +0100
        Re: Mathematiker hier? wegen rechtseindeutiger Relation Hans <enosta@chello.at> - 2023-11-13 18:33 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Rick Szabo <rickszabo@web.de> - 2023-11-13 18:23 +0000
        Re: Mathematiker hier? wegen rechtseindeutiger Relation Dietz Proepper <dietz.usenet@rotfl.franken.de> - 2023-11-13 20:19 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Hans <enosta@chello.at> - 2023-11-15 12:11 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Andreas Fecht <forum@aftec.de> - 2023-11-13 09:55 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Andreas Fecht <forum@aftec.de> - 2023-11-13 09:56 +0100
        Re: Mathematiker hier? wegen rechtseindeutiger Relation Mike Grantz <invalid@invalid.invalid> - 2023-11-13 10:12 +0100
          Re: Mathematiker hier? wegen rechtseindeutiger Relation Ulf Kutzner <Ulf.Kutzner@web.de> - 2023-11-13 01:16 -0800
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2023-11-13 10:46 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Carlo XYZ <carloxyz@invalid.invalid> - 2023-11-13 12:56 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Carlo XYZ <carloxyz@invalid.invalid> - 2023-11-13 12:58 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2023-11-13 13:16 +0100
      Re: Mathematiker hier? wegen rechtseindeutiger Relation Carlo XYZ <carloxyz@invalid.invalid> - 2023-11-13 13:48 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Carlo XYZ <carloxyz@invalid.invalid> - 2023-11-13 12:55 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Carla Schneider <carla_schn@proton.me> - 2023-11-13 17:02 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Hermann Riemann <nospam.ng@hermann-riemann.de> - 2023-11-14 04:13 +0100
    Re: Mathematiker hier? wegen rechtseindeutiger Relation Carla Schneider <carla_schn@proton.me> - 2023-11-14 16:16 +0100
  Re: Mathematiker hier? wegen rechtseindeutiger Relation nobody@nowhere.invalid (Marc Olschok) - 2023-11-15 17:16 +0000
  Re: Mathematiker hier? wegen rechtseindeutiger Relation Michael Zink <michael@swamp.franken.de> - 2023-11-20 22:01 +0100

csiph-web