Skip to main content
6 events
when toggle format what by license comment
Apr 26, 2022 at 16:48 history edited Martin Sleziak CC BY-SA 4.0
http -> https (the question was bumped anyway)
Oct 24, 2015 at 9:28 history edited Stefan Kohl CC BY-SA 3.0
Fixed links.
Jan 13, 2015 at 18:09 comment added Timothy Chow @WłodzimierzHolsztyński : What you say is true, but when exponentiation is not directly available, the options for a simple encoding are limited.
Jan 13, 2015 at 2:18 comment added Włodzimierz Holsztyński @TimothyChow -- I didn't down-vote. Nevertheless I feel that the Chinese here is quite arbitrary in the Gödel's context, and relatively very trivial. One could use other schemes as well with the same success.
Nov 8, 2013 at 16:13 comment added Timothy Chow Why the downvotes?
Jan 6, 2012 at 22:20 history answered Stephan Wehner CC BY-SA 3.0