or vote for the best nickname!
(To vote for a nickname, first search the for nickname & then click the vote button beside it.)
You can also add comments on nicknames
such as meaning or a short profile.
Comments
Googlism comments
Torkel is stopped
Torkel is no more
Torkel is the joms vikings chief who came to england in 1009
Torkel is grinding his teeth in all this
Torkel is writing about
Torkel is adverting to the fact that all pi_0_1 statements are known to be equivalent to some statement of the form
Torkel is the other one
Torkel is
Nickname Torkel
- Torkel (Points: 0)