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 : 15529
Dim 10 Juin 2018 06:45
Message Re: Les logiques : notes en vrac
Une série d’articles de blog sur la théorie des catégories, appliquée à l’informatique : Category theory for programmers (bartoszmilewski.com), Bartosz Milewski, 2014.

C’est en plusieurs pages. Si la première page est longue, ce n’est pas parce que tout y est, c’est parce que chaque page se termine par une discussions dans les commentaires.

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 : 15529
Lun 11 Juin 2018 22:55
Message Re: Les logiques : notes en vrac
Il semble que ce qui est appelé kind, est le type d’un type.

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 : 15529
Mer 20 Juin 2018 23:11
Message Re: Les logiques : notes en vrac
Au cas où, attention à ne pas comprendre « imprédicatif » comme « inductif ».

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 : 15529
Dim 24 Juin 2018 18:06
Message Re: Les logiques : notes en vrac
Une proposition, c ’est un prédicat sans variable libre ou dont toutes les variables sont liées à un quantificateur : Quantification — forming propositions from predicates (cs.odu.edu).

Je dis « ou », parce que bien les deux points de vue donnent généralement une vision identique, il y a une ambiguïté sur la qualification d’un prédicat ne contenant que des constantes. Est‑ce un prédicat ou une proposition ? Il n’y a pas de variable libre, donc c’est une proposition, mais il n’y a pas de variable liées non‑plus, donc c’est un prédicat. Ce cas particulier pourrait s’appeler expression constante, mais ce serait encore ambiguë dans certains autres contexts.

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 : 15529
Jeu 28 Juin 2018 11:31
Message Re: Les logiques : notes en vrac
Je me demande s’il y a un lien entre proposition et imprédicativité.

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 : 15529
Lun 2 Juil 2018 01:03
Message Re: Les logiques : notes en vrac
Les types algébriques, n’ont pas de quantificateurs.

Image
Hibou57

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