Is Sir Michael Atiyah giving lecture on Monday Sept. 25 @ #HLF18? Yes.
Will he presenenting a proof of the Riemann Hypothesis? Yes, that is what his abstract says.
The question.
Which mathematical objects would you like to see formally defined in version 3.4.1 of the Lean Theorem Prover?
Examples.
Topological groups have been done, schemes have been done, Noetherian rings got done last month, Noetherian schemes have not yet been done (but are probably n...
The question.
Which mathematical objects would you like to see formally defined in version 3.4.1 of the Lean Theorem Prover?
Examples.
Topological groups have been done, schemes have been done, Noetherian rings got done last month, Noetherian schemes have not yet been done (but are probably n...
