Perguntas com a marcação «set-theory»

67
Quais teoremas interessantes no TCS dependem do axioma da escolha? (Ou, alternativamente, o axioma da determinação?)

Os matemáticos às vezes se preocupam com o axioma da escolha (CA) e o axioma da determinação (DA). Axiom of Choice : Dado qualquer coleção de conjuntos não vazios, existe uma função f que, dado um conjunto S em C , retorna um membro da S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma da Determinação :...

11
O estado da arte do sistema de girassol

Eu sou interessante no sistema de girassol e suas aplicações na ciência da computação. Dado um universo e uma coleção de define é chamado de um sistema de k-girassol se para todos . E é chamado como o núcleo e é chamado de pétalas. k A i A i ∩ A j = Y i ≠ j Y A i - YvocêUUkkkUMAEuAiA_iUMAEu∩ Aj=...

9
Tipos universais e existenciais

Estou tentando entender os conceitos de tipos existenciais e universais, mas em todos os lugares que vejo, vejo intuições ou implementações lógicas ou operacionais (por exemplo, livro TAPL de B. Pierce), o que, bem ... é bom , mas gostaria de ver as definições (onde as vemos como conjuntos) - e a...

9
Teorema de Cantor na teoria dos tipos

O teorema de Cantor afirma que Para qualquer conjunto A, o conjunto de todos os subconjuntos de A tem uma cardinalidade estritamente maior que o próprio A. É possível codificar algo assim usando apenas tipos / proposições sem se referir a conjuntos ZFC? O código ou pseudocódigo para codificar...