Les mathématiciens s’inquiètent parfois de l’axiome du choix (AC) et de l’axiome de la détermination (AD). Axiom of Choice : Compte tenu de toute collection des ensembles non vides, il y a une fonction qui, étant donné un ensemble dans , retourne un membre de . f S C SCC{\cal C}FffSSSCC{\cal C}SSS...
Je vais poser une question assez vague, car la frontière entre l'informatique théorique et les mathématiques n'est pas toujours facile à distinguer. QUESTION: Connaissez -vous des résultats intéressants dans CS qui sont indépendants de ZFC (c'est-à-dire de la théorie des ensembles standard) ou qui...
Je m'intéresse généralement à la méthode de forçage utilisée par Baker-Gill-Solovay et Cohen. Je recherche autant de sources que possible sur la technique elle-même ou son utilisation. Quelqu'un a-t-il des
Je suis un mathématicien intéressé par la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale. Existe-t-il des applications pour ces sujets en informatique? J'ai regardé un peu et j'ai trouvé beaucoup d'applications (bien sûr) pour la théorie des graphes...
Si je comprends bien, en informatique, les types de données ne sont pas basés sur la théorie des ensembles à cause de choses comme le paradoxe de Russell, mais comme dans les langages de programmation du monde réel, nous ne pouvons pas exprimer des types de données aussi complexes que "ensemble qui...
Je m'intéresse au système de tournesol et à ses applications en informatique. Étant donné un univers et une collection de ensembles est appelé un système k-tournesol si pour tout . Et est appelé noyau et est appelé pétales. k A i A i ∩ A j = Y i ≠ j Y A i - YUUUkkkUNEjeAiA_iUNEje∩ Aj= YAi∩Aj=YA_i...
C'est une question que j'ai posée dans le forum Mathématiques SE, et j'ai été référé ici. Voici donc la question- Je suis un débutant en mathématiques formelles et en informatique théorique, alors soyez indulgent avec vous si vous trouvez que ma question n'est pas bien formulée. La modélisation...
Le théorème de Cantor déclare que Pour tout ensemble A, l'ensemble de tous les sous-ensembles de A a une cardinalité strictement supérieure à A lui-même. Est-il possible d'encoder quelque chose comme ça en utilisant uniquement des types / propositions sans se référer aux ensembles ZFC? Un code ou...