Results 131 to 140 of about 109,181 (158)

A Complete Mathematical Construction of Quantum Yang–Mills Theory on Euclidean Four-Space and Rigorous Proof of a Spectral Mass Gap for Compact Simple Gauge Groups

We present a complete and rigorous mathematical contruction of quantum Yang–Mills theory on R4 for any compact simple gauge group G, and provide a proof of the existence of a positive mass gap ∆ > 0. Our approach integrates lattice gauge theory, cluster expansion tech- niques, and Osterwalder–Schrader reconstruction to establish the spectral properties
openaire   +1 more source

Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71.

Journal of Symbolic Logic, 1972
openaire   +1 more source

Godel's Correspondence on Proof Theory and Constructive Mathematics: KURT GODEL. Collected Works. Volume IV: Selected Correspondence A-G; Volume V: Selected Correspondence H-Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, eds. Oxford: Oxford University Press, 2002. Pp. xi + 662; xxiii + 664. ISBN 0-19-850073-4; 0-19-850075-0.

Philosophia Mathematica, 2006
openaire   +1 more source

Morse set theory as a foundation for constructive mathematics

Theoretical Computer Science, 2022
exaly  

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

Nature, 2021
exaly  

Constructive Mathematics, Church’s Thesis, and Free Choice Sequences

Lecture Notes in Computer Science, 2021
exaly  

Guide to Part D: Proof Theory and Constructive Mathematics

1977
openaire   +1 more source