[FOM] Proof Assistants and Conjectures (reply to Chow)

Brian Hart hart.bri at gmail.com
Sun Jan 18 01:41:23 EST 2009


> Not that this necessarily makes the definition any easier, Goedel
> had quite a struggle formulating his incompleteness theorems.
>
> Vaughan Pratt

Can you be more specific?


More information about the FOM mailing list