Most Mathematicians Work Informally Without Concern for Formal Foundations
Moved to Many people seem to believe mathematicians work in non-constructive, non-structural, battered foundations because they love their Platonic realm and have a kink for AC and LEM. The reality…
Read the full articleYou might also wanna read
The non-constructive proof: How mathematicians solve problems without answering them
How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – but 100 years on,
newscientist.com·5d ago
Formal or not formal? That is the question in AI for theorem proving.
So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspir
What is a quotient?
Undergraduate mathematicians usually have a hard time defining functions from quotients in Lean, because they have been taught a specific mo
Mathematicians confront AI's rapid progress in proving theorems, including Fermat's last theorem
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
newscientist.com·6d agoMathematicians confront AI's rapid progress in proving theorems, including Fermat's last theorem
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
newscientist.com·6d agoFormalization of Erdős problems
[This is a guest post by Boris Alexeev. Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős prob
'Complex numbers are not needed for quantum mechanics': Physicists develop quantum model that uses only 'real' numbers for first time ever
Physicists have built a real-number version of quantum mechanics that makes all the same predictions as the standard theory, resolving a que
'Complex numbers are not needed for quantum mechanics': Physicists develop quantum model that uses only 'real' numbers for first time ever
Physicists have built a real-number version of quantum mechanics that makes all the same predictions as the standard theory, resolving a que
Comments
Sign in to join the conversation.
No comments yet. Be the first.