positivism, logic school of Carnap, Wittgenstein and others (Saul Kripke today)

Kripke? Hardly. Unless you just mean "analytic philosophy in general", and Kripke was the first/most famous name who came to mind. But there are better names to pick when one wants to identify successors to positivism specifically.

finitism, mathematical "intuitionism" of David Hilbert

This, I'm afraid, is an outright howler. Hilbert was vehemently opposed to finitism ("No one shall expel us from this paradise that Cantor has created for us" is among his most famous quotes) and intuitionism (he was the founder and leading champion of the rival school of formalism).