Math Is Fun Forum
You are not logged in.
- Topics: Active | Unanswered
#1 2020-01-08 11:32:33
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.
Offline
#2 2020-04-13 02:42:43
Re: Formal Methods in Mathematics / Lean Together 2020
So nobody has any questions about Formal Methods in Mathematics?
'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.
Offline
#3 2020-07-03 02:34:01
- 666 bro
- Member
- From: Flatland
- Registered: 2019-04-26
- Posts: 706
Re: Formal Methods in Mathematics / Lean Together 2020
How formal mathematics should be learned by an enthusiast? Are there any prerequisites for learning that?
"An equation for me has no meaning, unless it expresses a thought of God"- Srinivasa ramanujan
Offline
#4 2020-07-03 12:38:57
Re: Formal Methods in Mathematics / Lean Together 2020
I am glad you asked. I think a good start would be to look at the Software Foundations book. Volume 1 is very interesting. You can download Coq and start working through it.
Kevin Buzzard, a mathematician who is very interested in formal methods is also working on a Natural Number Game. I have not played this game myself, though.
As for prerequisites, some experience with coding and logic will help.
'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.
Offline