Questions marquées «set-theory»

7
Quels théorèmes intéressants dans TCS s'appuient sur l'axiome du choix? (Ou bien, l'axiome de la détermination?)
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 …
5
Résultats en CS théorique indépendants de ZFC
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 ont été prouvés à l'origine dans …
3
Applications pour la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale en informatique?
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 finis, la topologie finie, la topologie …
1
Théorème de Cantor en théorie des types
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 un pseudocode …
2
Définition formelle / contrepartie en mathématiques pour les «objets» des modèles orientés objet
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 orientée objet …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.