I started reading "mathematical logic", by J.R.Shoenfield, but I cannot quite understand a sentence in the very first chapter:
Proofs which deal with concrete objects in a constructive manner are said to be finitary. Another description, suggested by Kreisel, is this: a proof is finitary if we can visualize the proof. Of course neither description is very precise;
I cannot understand what exactly is a finitary proof, is it a synonimous of a constructive proof?