News for hackers. Stuff that matters.
Re:Galois Theory by nyssos on Thursday August 15, 2024 @04:52PM (#41260244)
To an extent. A truly completely formal proof, as in symbol manipulation according to the rules of some formal system, no. It's valid or it isn't.

But no one actually works like this. There are varying degrees of "semiformality" and what is and isn't acceptable is ultimately a convention, and varies between subfields - but even the laxest mathematicians are still about as careful as the most rigorous physicists.

There are no comments on this comment yet.