« first day (3943 days earlier)      last day (42 days later) » 

C7X
7:01 AM
@MoreAnonymous It is known that deciding truth of an arithmetical sentence is not a problem that can be solved recursively, but the goal of Goedel-encoding is to get encodings where operations on the strings are simple (often times e.g. primitive recursive).
 

« first day (3943 days earlier)      last day (42 days later) »