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

7
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 …
5
Resultados no CS teórico independente do ZFC
Vou fazer uma pergunta bastante vaga, já que nem sempre é fácil distinguir a fronteira entre a teoria da computação e a matemática. PERGUNTA: Você tem conhecimento de algum resultado interessante no CS que seja independente do ZFC (isto é, teoria dos conjuntos padrão) ou que foi originalmente provado no …
3
Aplicações para teoria dos conjuntos, teoria ordinal, combinatória infinita e topologia geral em ciência da computação?
Sou matemático interessado em teoria dos conjuntos, teoria ordinal, combinatória infinita e topologia geral. Existem aplicações para esses assuntos em ciência da computação? Procurei um pouco e encontrei muitas aplicações (é claro) para teoria de grafos finitos, topologia finita, topologia de baixa dimensão, topologia geométrica etc. No entanto, estou procurando …
1
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 ∩ …
1
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 essa …
2
Definição formal / contraparte em matemática para "objetos" de modelos orientados a objetos
Esta é uma pergunta que fiz no fórum de matemática SE, e fui encaminhada aqui. Então aqui está a questão- Eu sou um novato em matemática formal e em ciência da computação teórica, então, por favor, tenha paciência comigo se achar que minha pergunta não está devidamente enquadrada. A Modelagem …
3
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) - …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.