2
Axiomas necesarios para la informática teórica.
Esta pregunta está inspirada en una pregunta similar sobre las matemáticas aplicadas en el desbordamiento matemático, y ese fastidio pensó que las preguntas importantes de TCS como P vs. NP podrían ser independientes de ZFC (u otros sistemas). Como un poco de historia, la matemática inversa es el proyecto de …