Suivre

Le cœur de ma recherche porte sur les sémantiques formelles de systèmes informatiques et langages de programmation.

Ça vous choque si je dis que je fais de la cyber-sémantique ?

· · Web · 3 · 0 · 2

@brab Je pense que « sémantique quantique Â» aurait plus de chances dans les appels à projet. :-)

@civodul ah oui, en ajoutant « pour green IA » je coche toutes les cases !

@brab 🤔 Est-ce que ça signifierait qu'il y a du sens dans la machine ? N'y a-t-il pas simplement du calcul auquel on espère donner/garder un sens ?
Question subsidiaire: un programme peut-il être artistique ? doit-il être bien typé pour cela ?

@oranadoz bonne question… il y a le sens que le concepteur projette, et c’est souvent là que le bât blesse (ce qui se passe n’est pas ce que l’on croit)

@brab Bin ça fait un peu rétro-futuriste oui, ce préfixe «cyber» mais je ne vois pas pourquoi seule la linguistique pourrait revendiquer le mot «sémantique». Les sémantiques opérationnelles ou dénotationnelles sont pas moins des sémantiques que celles qui tâchent d'étudier ce qui se passe vraiment quand on dit «Seule la première compte» ou des trucs comme ça. Au pire «sémantique informatique» ?
Inscrivez-vous pour prendre part à la conversation
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !