David Hilbert

Reichenbach was not able to recognize the Weyl method as other than an equivalent account of empirical determination of the metric

Reichenbach was not able to recognize the Weyl method as other than an equivalent account of empirical determination of the metric

Metric geometry is neither true nor false.

For any real number x, the terms of a conditionally convergent series can be rearranged so that x is the sum of the rearranged series.

The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive

Metric geometry is neither true nor false.

The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive

Mensuration in relativity need not depend on clocks and rigid bodies.

Divine creative intervention is not causally necessary for the nonconservative appearance of new matter in steady-state cosmology.

Divine creative intervention is not causally necessary for the nonconservative appearance of new matter in steady-state cosmology.

Mensuration in relativity need not depend on clocks and rigid bodies.

The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.