Race Updates Discord About Merch
Home Profile History Competitions Texts Messages Friends Upgrade

typeracer

Pit Stop

Record your races with a typeracer account:

Create Your Account
  • Save your race history and scores.
  • Customize your profile and racecar.
  • It’s free, why not?
Racer Dan (kumadev)
Race Number 191
Date Fri, 23 Nov 2018 13:41:59 +0000
Speed 56 WPM Try to beat?
Accuracy 98.3%
Rank 4th place (out of 5)
Opponents megatron9669 (3rd place) nguyenvuthuydung (1st place) san3 (5th place)

Text typed:

It now becomes clear that consistency is not a property of a formal system per se, but depends on the interpretation which is proposed for it. By the same token, inconsistency is not an intrinsic property of any formal system.
Gödel, Escher, Bach: An Eternal Golden Braid (book) by Douglas Hofstadter (see stats)

Typing Review: