Some Current Problems in Metamathematics1
Alfred Tarski, Jan Tarski, Jan Woleński · History and Philosophy of Logic · 1995
In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel’s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity