 “Undecidability”, says Wittgenstein (PR §174) “presupposes… that the bridge cannot be made with symbols”, when, in fact, “[a] connection between symbols which exists but cannot be represented by symbolic transformations is a thought that cannot be thought”, for “[i]f the connection is there,… it must be possible to see it”. Alluding to algorithmic decidability, Wittgenstein stresses (PR §174) that “[w]e can assert anything which can be checked in practice”, because “it’s a question of the possibility of checking” (italics added).