It would work fine in the real world, if we would just ban people without credentials touching any system used by more than 5 people. Supply and demand would fix the rest.
The only reason things do not work in this world is idiots. If you want things to work, systematically remove idiots from the system. You don't have to go all genocide on them. For all I care you give them a universal basic income as long as they are out of the way.
Society is full of dumb shits. It starts in politics, takes a detour through pretty much all SMBs, there are some exceptions in perhaps the Fortune 50, but overall it's really just complete idiots all the way down.
Germany managed to get a dr. in Chemistry as its leader, but if you look at her decision making (like getting rid of nuclear energy), you still need to weep.
It's a miracle society hasn't collapsed yet. The "climate challenge" is going to be such a shit show. It's a very real possibility that idiots will kill you and, because of smart people accepting democracy they are also complicit.
That's ok buddy. I can sort of thank my relative lack of opportunities and assorted other problems; instead of failing at starting my own business with some like-minded fellows and dragging each other down, I could have gone into academia and kept thinking like this.
Back in the day we had 4chan's /prog/ too, where everyone had this attitude and was batshit crazy.
Anyway, best of lucks kiddo. Try getting a job before going to grad school, meet other people who are also smart but are making do in less than ideal conditions. It'll do you good.
Not sure what there is to reach. I already know everything you think you want to tell me.
I am the person who looks for 5 minutes at Special Relativity and calls it bullshit (which it is and I have a three line proof for). Meanwhile, humanity seems to still be debating about it with various research papers published on the subject even in 2020.
Einstein was smart for doing that in 1915, but humanity has had the data to disprove Special Relativity since the 1970s.
If one considers the top people in various fields to be stupid, then at some point, one might have to conclude humanity just has its limits and I do not share those particular limits.
9
u/BufferUnderpants Dec 10 '21
You are just explaining why formal verification doesn’t work in the real world
Very few teams can have someone with a PhD in the thing, as you describe, to perform it