Fonctions arguments de fonctions.

jean-yves tallet

Bonjour,

Quel domaine des mathématiques aurait déjà formalisé le fait que les arguments de fonctions soient eux-même des fonctions ?

Cordialement.

gb

Le calcul des variations.

GERARD

Et aussi l'algèbre linéaire, la notion de dualité ou les espaces fonctionnels.

Cordialement

Le barbu rasé

En lambda-calcul pur, toutes les fonctions attendent pour argument une fonction. En fait, en lambda-calcul pur, tout le monde est une fonction (un lambda-terme).

Pour te donner une idée de l'esprit :

- En théorie des ensembles, on se propose de coder les mathématiques en disant "les objets mathématiques que l'on utilise sont fondamentalements des ensembles". Par exemple, le nombre entier 2 est défini comme étant un ensemble particulier.

- En lambda-calcul pur, on se propose de coder les mathématiques en disant "les objets mathématiques que l'on utilise sont fondamentalement des fonctions (des lambda-termes)". Par exemple, le nombre entier 2 est défini comme un lambda-terme (une fonction) particulier.

jean-yves tallet

Merci à tous trois, je vais y réfléchir en me documentant plus précisément.