Los matemáticos a veces se preocupan por el Axioma de Elección (AC) y el Axioma de Determinación (AD). Axioma de elección : Dado cualquier colección de conjuntos no vacíos, hay una función f que, dado un conjunto S en C , devuelve un miembro de S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma de...
Voy a hacer una pregunta bastante vaga, ya que la frontera entre la informática teórica y las matemáticas no siempre es fácil de distinguir. PREGUNTA: ¿Conoce algún resultado interesante en CS que sea independiente de ZFC (es decir, la teoría de conjuntos estándar), o que se demostró originalmente...
En general, estoy interesado en el método de forzamiento utilizado por Baker-Gill-Solovay y Cohen. Estoy buscando tantas fuentes como pueda tener en cuenta en relación con la técnica en sí o su uso. ¿Alguien tiene
Soy matemático interesado en la teoría de conjuntos, la teoría ordinal, la combinatoria infinita y la topología general. ¿Existen aplicaciones para estos temas en informática? He buscado un poco y he encontrado muchas aplicaciones (por supuesto) para la teoría de grafos finitos, topología finita,...
Según tengo entendido, en informática los tipos de datos no se basan en la teoría de conjuntos debido a cosas como la paradoja de Russell, pero como en los lenguajes de programación del mundo real no podemos expresar tipos de datos tan complejos como "conjunto que no se contiene a sí mismo",...
Me interesa el sistema de girasol y sus aplicaciones en informática. Dado un Universo y una colección de k conjuntos A i se llama sistema k-girasol si A i ∩ A j = Y para todo i ≠ j . Y Y se llama como núcleo y A i - Y se llama pétalos. UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq...
Esta es una pregunta que hice en el foro de matemáticas SE, y me remitieron aquí. Así que aquí está la cuestión- Soy un novato tanto en matemática formal como en informática teórica, así que por favor tengan paciencia conmigo si encuentran que mi pregunta no está bien formulada. El modelado...
Estoy tratando de entender los conceptos de tipos universales y existenciales, pero en todas partes veo intuiciones lógicas u operativas (o implementaciones) (por ejemplo, el libro TAPL de B. Pierce), que, bueno ... es bueno , pero me gustaría ver las definiciones (donde las vemos como conjuntos),...
El teorema de Cantor establece que Para cualquier conjunto A, el conjunto de todos los subconjuntos de A tiene una cardinalidad estrictamente mayor que A en sí. ¿Es posible codificar algo como esto usando solo tipos / proposiciones sin hacer referencia a conjuntos ZFC? Se agradecería el...