[Cryptography] State of sin (was Re: What to put in a new cryptography course)

[Ron Garret]

On Jul 15, 2016, at 4:58 PM, Ron Garret <ron at flownet.com> wrote:

> 2.  SEC(A) is true but nonetheless no proof exists.  (Godel sentences are not necessarily the only unprovable truths.)

It turns out that there is reason to believe that this is in fact the case.

http://www.scottaaronson.com/blog/?p=2725

> 3.  SEC(A) is true, and a proof exists, but we can’t find it because it’s too big to fit in the observable universe, or too long to enumerate before the heat death of the universe, or something else fundamental like that

This is also a real possibility:

https://johncarlosbaez.wordpress.com/2012/10/19/insanely-long-proofs/

rg