 | Gordon L. Shaw, G nther Palm - 1988 - 836 lapas
...which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of...is still thought that there are other "immediately recognisable" squares, it does not upset my contention so long as these squares can be found by some... | |
 | R.O. Gandy, C.E.M. Yates - 2001 - 307 lapas
...which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of...is still thought that there are other "immediately recognisable" squares, it does not upset my contention so long as these squares can be found by some... | |
 | B. Jack. Copeland - 2004 - 622 lapas
...which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of...is still thought that there are other "immediately recognisable" squares, it does not upset my contention so long as these squares can be found by some... | |
 | Martin Davis - 2004 - 420 lapas
...which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of...spite of this it is still thought that there are other "immediatelyrecognisable" squares, it does not upset my contention so long as these squares can be... | |
 | Christof Teuscher - 2004 - 580 lapas
...way. A final catch all proposal is that any other kind of immediate recognizability can be allowed "so long as these squares can be found by some process of which my type of machine is capable" (p. 251). Changes of state of mind are discussed only in the context of symbol changes and switches... | |
| |
... But if the paper was very long, we might reach Theorem 157767733443477; then, further on in the paper, we might find '... hence (applying Theorem 157767733443477) we have . . .'. In order to make sure which was the relevant theorem we should have... 