What to call a rigorous theorem that is outlined and not stated rigorously in a funding proposal

Asked Sep 07 '23 at 07:06

Active Sep 08 '23 at 06:48

Viewed 91 times

I am adding more background for this question:

I want to sketch the statement of a complicated and long theorem in the introduction part of a funding proposal, and later make reference to it, but not like applying it inside a proof, just referring to this theorem/result.

I also want to avoid the actual precise statement of the theorem in the entire proposal.

This is why I wonder what name I should use for this. I do not want a long name, since names like Outline of the Theorem 1.12 look weird as a reference, compared to Proposition 1.12, Lemma 1.12, etc.

Is there a single word that could work? I was initially using "Remark 1.12" but it still feels weird.

edited Sep 08 '23 at 06:48

asked Sep 07 '23 at 07:06

Xiao

9,566

Conjecture?.... – Mauro ALLEGRANZA Sep 07 '23 at 07:25
1

I don’t understand how a rigorous theorem can be outlined, but not stated rigorously… – Aphelli Sep 07 '23 at 07:52
1

I'd call it an outline of a theorem. – Peter Phipps Sep 07 '23 at 08:38
1

maybe "sketch proof" ? – Peter Sep 07 '23 at 15:08
I have added more details to my question – Xiao Sep 08 '23 at 06:28
1

You want money. Would you fund a proposal that promises to produce just "*Outlines* of Theorems", "Propositions" or "Lemmas" ? Pitch as high as you can. – Kurt G. Sep 08 '23 at 06:55
1

So if I understand this correctly: you have this theorem, which is rigorous and true, and you want to state it in a kind of intuitive way which is not rigorous, and then reference it(?) maybe I would try something like "Result" – alvoi Sep 08 '23 at 08:04
1

@alvoi Thanks, I think "result" should work! – Xiao Sep 09 '23 at 04:57

What to call a rigorous theorem that is outlined and not stated rigorously in a funding proposal

0 Answers0