That is not in fact how to design safe airplanes. Airplanes are safe mainly because they don't crash. Making everything redundant in an effective way is quite nontrivial and probably depends on the specific design of the aircraft (if you disagree then provide a (rough) algorithm for how to make everything redundant in a way that actually achieves the safety levels of modern aircraft). More importantly, redundancy is not particularly helpful if we don't already know that the plane is guaranteed to fly properly in a wide range of operating conditions that are precisely enough quantified that we can determine in advance whether to ground a plane because e.g. the weather is too extreme.
One of the reasons that I am skeptical of contributing money to the SIAI is that I simply don't know what they would do with more money. The SIAI currently seems to be viable. Another reason is that I believe that an empirical approach is required, that we need to learn more about the nature of intelligence before we can even attempt to solve something like friendly AI.
I bring this up because I just came across an old post (2007) on the SIAI blog:
Some questions:
I also have some questions regarding the hiring of experts. Is there a way to figure out what exactly the current crew is working on in terms of friendly AI research? Peter de Blanc seems to be the only person who has done some actual work related to artificial intelligence.
I am aware that preparatory groundwork has to be done and capital has to be raised. But why is there no timeline? Why is there no progress report? What is missing for the SIAI to actually start working on friendly AI? The Singularity Institute is 10 years old, what is planned for the decade ahead?