Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Les logiques : notes en vrac
Auteur Message
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16764
Sam 30 Mar 2019 10:20
Message Re: Les logiques : notes en vrac
L’équivalence logique n’est pas l’équivalence sémantique.

p ⇔ q signifie seulement une corrélation, c’est à dire que p et q sont simultanément, soit vrais, soit faux, pas que p et q sont la même chose (ou pas nécessairement).

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16764
Sam 30 Mar 2019 10:21
Message Re: Les logiques : notes en vrac
Dans les théories des types dépendants, l’égalité et l’équivalence, ne sont toujours pas unanimement définis, même après quarante années de recherche.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16764
Lun 1 Avr 2019 23:17
Message Re: Les logiques : notes en vrac
Une définition n’est pas un axiome, une définition n’affirme pas l’égalité entre deux choses préexistantes, elle affirme l’égalité entre un mot nouvellement créé et une chose préexistante ou écrite en termes de choses préexistantes.

En supposant que A et B existent, affirmer A = B, c’est poser un axiome, mais écrire N = A, où N est nouvellement créé, ce n’est pas un axiome, c’est seulement désigner A par N.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16764
Mar 2 Avr 2019 18:40
Message Re: Les logiques : notes en vrac
HOL4 peut être sujet à l’inconsistance de Pollack. C’est le cas au moins avec une librairie pour définir des structures de données co‑récursives. Ce n’est pas un problème d’incohérence du noyau d’HOL4, c’est ce qui ce défini par l’utilisateur, qui peut exceptionnellement ne pas être bien pris en charge par les fonctions de définitions des structures de données. Pour s’assurer de ne pas être dans ce cas, il faut définir et démontrer quelques propriétés que devrait avoir la structure de données définie. Mais si la démonstration échoue, on ne peut pas savoir si c’est parce qu’on comprend soi‑même mal la structure de données qu’on défini ou si c’est la librairie qui l’a mal interprété. Si ce problème existe, c’est parce que cette librairie est complexe.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16764
Mer 3 Avr 2019 17:03
Message Re: Les logiques : notes en vrac
L’implication causale, l’implication en logique linéaire, se note , c’est le caractère Unicode U+22B8, nommé Multimap. Son nom suggère qu’il a d’autres usages aussi, il ne faut pas systématiquement l’interpréter comme l’implication linéaire sans s’assurer d’être dans ce contexte.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
cron