Forzado (matemáticas)
técnica inventada por Paul Cohen para demostrar la coherencia y la independencia de los resultados / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Forzado (matemáticas)?
Resumir este artículo para un niño de 10 años
En la disciplina matemática de la teoría de conjuntos, el forzado es una técnica empleada para probar la consistencia y la independencia de diversos resultados.[1] Fue utilizada por primera vez por Paul Cohen en 1963, para demostrar la independencia del axioma de elección y de la hipótesis del continuo de los axiomas de Zermelo-Fraenkel.
El procedimiento de forzado ha sido considerablemente reelaborado y simplificado en los años siguientes, y desde entonces ha servido como una técnica potente, tanto en la teoría de conjuntos como en áreas de la lógica matemática como la teoría de la computabilidad. La teoría descriptiva de conjuntos usa las nociones de forzado tanto de la teoría de recursividad como de la teoría de conjuntos. El forzamiento también se ha utilizado en teoría de modelos, pero es común en la teoría de modelos definir el carácter genérico directamente sin mencionar el forzado.