Teoría cuántica de campos constructiva
Esta demostración requiere nuevas matemáticas, en un sentido análogo a Newton desarrollando el cálculo infinitesimal para comprender el movimiento planetario y la gravedad clásica.Se cree que la descripción natural de las fuerzas débil, fuerte y electromagnética está basada en campos cuánticos.Es sabido que los campos cuánticos son inherentemente difíciles de manejar usando técnicas matemáticas convencionales, como estimaciones explícitas.Osterwalder y Schrader demostraron que hay un problema equivalente en la teoría matemática de probabilidad.También caen en el marco introducido por Haag y Kastler, llamado teoría cuántica de campos constructiva algebraica.