# FOM: Transcendental Propositions?

Harvey Friedman friedman at math.ohio-state.edu
Tue Sep 5 08:56:36 EDT 2000

```This is a followup to my posting of 7/12/00.

Suppose n is a natural but extremely large positive integer. Then we can

Is sin(n) > 0?

1. sin(3!!!!!!!!) > 0?

2. sin(2^2^2^2^2^2^2^2) > 0?

3. sin(A_5(5)) > 0?

Here A_1, A_2, ... is the usual Ackermann hierarchy of unary functions,
where A_1 is doubling, A_2 is base 2 exponentiation, etcetera. A_5(5) is
the "fifth Ackermann number."

We conjecture that these are transcendental propositions in the sense that
we cannot decide them even if we use the entire large cardinal hierarchy,
including T = ZFC + there is a nontrivial elementary embedding j from some
V(kappa + 1) into V(kappa + 1).

More precisely,

CONJECTURE. None of these three propositions has a proof or refutation in T
with at most 2^2^1000 symbols.

This conjecture goes counter to the informal idea that every natural
arithmetic proposition can be proved or refuted using large cardinals.

```