Re: Name the thesis: "Formal sentences capture informal ones"

From: |-|erc (H_at_r.c)
Date: 01/30/05 

Date: Sun, 30 Jan 2005 12:57:26 +1000

<tchow@lsa.umich.edu> wrote in >
> (*) Formal sentences (in PA or ZFC for example) adequately express
> their informal counterparts.
>
> Any candidates for a catchy name for (*)?

(*) The Conjecture Conjecture.

Good forward thinking, I tried to formalise something similar with

UTM(sentence, char) mod 27

There exists some t, UTM(t, true_sentence_number) that
gives all the true assertions (sentence UTM#) for some natural language.

In theory, there are very high level TMs that can parse a subset of questions in English
UTM(t100, "what is the capital of australia") = "canberra"

Herc