Is there a ``Hilbert thesis''? (Q2631647)

The paper is devoted to the so called Hilbert thesis stating that -- as J. Barwise put it -- ``The informal notion of provable used in mathematics is made precise by the formal notion \textit{provable in first-order logic}''. Different variations of this thesis are discussed. The author also considers whether the very name ``Hilbert thesis'' is justified. The thesis is compared with Church's thesis concerning computability. The problem of the possibility of providing arguments towards the considered thesis is discussed.