Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2020-01-08 11:32:33

Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,887

Formal Methods in Mathematics / Lean Together 2020

I am attending Formal Methods in Mathematics / Lean Together 2020. You can read more about this conference here.

Formal Mathematics, broadly, is the process of documenting mathematics including but not limited to definitions, theorems, proofs, algorithms in a manner that their correctness can be verified by a computer. One of the primary purpose of doing this is to gain confidence in the correctness of proofs. We also believe that in the near future formal mathematics would help mathematicians use computers in their quest for finding proofs.

This is a topic I have been interested for a while now. Ask me anything!

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.


Board footer

Powered by FluxBB