What is a finitary proof?

I wonder if Schoenfield has the Hilbert-Bernays metamathematical finitism program in mind. If so, the "finitary" bit is meant at the syntactic level (formalisation of proofs), whereas the semantic content could be anything, including classical (nonconstructive) mathematics.

Tags:

Terminology

Logic

Related

Integral of $\int_{y_1}^{y_2} \exp\left(\, -\alpha x\,\right)\, x \sqrt{1-x^2}{\rm d}x$ prove $\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a} \geq 3(a^2+b^2+c^2)$ Prove $\frac{a^3}{b^2}+\frac{b^3}{c^2}+\frac{c^3}{a^2} \geq \frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a}$ A certain “harmonic” sum Prove that $v_1, \dots v_n$ is a basis of V. Prove ${\large\int}_0^1\frac{\ln(1+8x)}{x^{2/3}\,(1-x)^{2/3}\,(1+8x)^{1/3}}dx=\frac{\ln3}{\pi\sqrt3}\Gamma^3\!\left(\tfrac13\right)$ Gradient of l2 norm squared Does 0% chance mean impossible? Limit of $(1+ x/n)^n$ when $n$ tends to infinity Polygamma function series: $\sum_{k=1}^{\infty }\left(\Psi^{(1)}(k)\right)^2$ In an extension of finitely generated $k$-algebras the contraction of a maximal ideal is also maximal Prove that $\sum \limits_{cyc}\frac {a}{(b+c)^2} \geq \frac {9}{4(a+b+c)}$

Recent Posts