There are formally verified CPUs, they're just not the lovely high performance ones you probably want. For what it's worth, this is a common sentiment people h

There are formally verified CPUs, they're just not the lovely high performance ones you probably want. For what it's worth, this is a common sentiment people have when they first come to blows with formal. "If you can't verify everything, why verify anything?" is a reasonable question to ask but it's not a practical position to hold since formal does increase the quality of software/hardware. Don't argue for less formal, fight for more!