NextGeneration.fr: Nerds Social Network

guybrush02 a écrit :

C'est donc si complexe d'envisager que deux mots différents, typage et sémantique, puissent avoir deux définitions différentes, couvrir deux concepts différents et n'avoir qu'une intersection extrêmement petite se résumant à des aspects syntaxiques ?


Je ne vois pas quel "démonstration" tu souhaites étant donné qu'il s'agit d'un corolaire par définition. Si tu prenais la peine de consulter les papiers correspondant des auteurs cités, tu pourrais t'en assurer par toi-même en lisant, à coté des mots "Definition" ce qui est écrit. Je peux te conseiller Libkin, pour lequel tu n'auras même pas besoin de connaître la signification de la logique du premier ordre (FO), de la logique typée FO ni de la définition même du sens d'une expression du premier ordre. Bien entendu, si cela ne te suffit pas, dans les mêmes travaux tu trouveras la même chose pour MSO et ses variantes, pour les logiques d'ordre supérieur et pour les ontologies.


Mais je suppose que faire tout cela te priverait de tes sarcasmes de développeur aigri ?

Qui est le con qui a signalé le topic

\[quotemsg=[0-9]+,[0-9]+,[0-9]+\]$1\[\/quotemsg\]

Ca vient

edit: rha putain de regexp de merde
edit 2: non, c'est moi qui suis con.